// Version1: bounded1..16 independent full proofs.
__main: read_io 1 dup 0 push 0 eq push 0 eq assert push 17 dup 1 lt assert call __aggregate_loop pop 1 halt
__aggregate_loop: dup 0 push 0 eq skiz return
read_io 5 dup 4 dup 4 dup 4 dup 4 dup 4 call trisha_recursive_verify_v1 swap 4 swap 1 swap 3 swap 1 write_io 5
push -1 add recurse