srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$23,	$23	addq	$0,	$25,	$0	cmpult	$0,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$297	sll	$20,	32,	$1	addq	$6,	$1,	$6$297:	sll	$0,	32,	$25	ldq	$2,	24($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	32($17)	addq	$22,	$7,	$22	srl	$2,	32,	$8	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$0,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$23,	$23	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$301	sll	$20,	32,	$1	addq	$6,	$1,	$6$301:	sll	$28,	32,	$25	ldq	$2,	16($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	40($17)	addq	$22,	$7,	$22	srl	$2,	32,	$8	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$0	srl	$28,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$23,	$23	addq	$0,	$25,	$0	cmpult	$0,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$305	sll	$20,	32,	$1	addq	$6,	$1,	$6$305:	sll	$0,	32,	$25	ldq	$2,	8($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	48($17)	addq	$22,	$7,	$22	srl	$2,	32,	$8	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$0,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$23,	$23	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$309	sll	$20,	32,	$1	addq	$6,	$1,	$6$309:	sll	$28,	32,	$25	ldq	$2,	0($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	56($17)	addq	$22,	$7,	$22	srl	$2,	32,	$8	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$0	srl	$28,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$2	addq	$1,	$23,	$23	addq	$0,	$25,	$0	cmpult	$0,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$313	sll	$20,	32,	$1	addq	$6,	$1,	$6$313:	sll	$0,	32,	$25	addq	$2,	$25,	$2	bis	$2,	$2,	$7	addq	$22,	$7,	$22	stq	$22,	56($16)	ldq	$4,	56($17)	ldq	$5,	8($18)	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	srl	$5,	32,	$8	mulq	$8,	$7,	$28	srl	$0,	32,	$1	cmpult	$2,	$25,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$1	srl	$4,	32,	$6	zapnot	$5,	15,	$5	mulq	$5,	$6,	$22	mulq	$7,	$5,	$2	addq	$1,	$23,	$23	addq	$28,	$22,	$28	cmpult	$28,	$22,	$1	mulq	$6,	$8,	$6	beq	$1,	$317	sll	$20,	32,	$1	addq	$6,	$1,	$6$317:	sll	$28,	32,	$22	ldq	$1,	16($18)	addq	$2,	$22,	$2	bis	$2,	$2,	$7	ldq	$4,	48($17)	addq	$24,	$7,	$24	srl	$1,	32,	$8	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$25	zapnot	$1,	15,	$5	mulq	$7,	$5,	$0	srl	$28,	32,	$1	cmpult	$2,	$22,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$22	srl	$4,	32,	$6	mulq	$5,	$6,	$5	bis	$31,	1,	$21	addq	$25,	$5,	$25	cmpult	$25,	$5,	$1	mulq	$6,	$8,	$6	beq	$1,	$321	sll	$21,	32,	$1	addq	$6,	$1,	$6$321:	sll	$25,	32,	$5	ldq	$2,	24($18)	addq	$0,	$5,	$0	bis	$0,	$0,	$7	ldq	$4,	40($17)	addq	$24,	$7,	$24	srl	$2,	32,	$8	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$25,	32,	$1	addq	$6,	$1,	$6	cmpult	$0,	$5,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$22,	$22	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$325	sll	$21,	32,	$1	addq	$6,	$1,	$6$325:	sll	$28,	32,	$25	ldq	$2,	32($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	32($17)	addq	$24,	$7,	$24	srl	$2,	32,	$8	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$0	srl	$28,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$22,	$22	addq	$0,	$25,	$0	cmpult	$0,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$329	sll	$21,	32,	$1	addq	$6,	$1,	$6$329:	sll	$0,	32,	$25	ldq	$2,	40($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	24($17)	addq	$24,	$7,	$24	srl	$2,	32,	$8	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$0,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$22,	$22	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$333	sll	$21,	32,	$1	addq	$6,	$1,	$6$333:	sll	$28,	32,	$25	ldq	$2,	48($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	16($17)	addq	$24,	$7,	$24	srl	$2,	32,	$8	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$0	srl	$28,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$22,	$22	addq	$0,	$25,	$0	cmpult	$0,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$337	sll	$21,	32,	$1	addq	$6,	$1,	$6$337:	sll	$0,	32,	$25	ldq	$2,	56($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	8($17)	addq	$24,	$7,	$24	srl	$2,	32,	$8	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$0,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$2	addq	$1,	$22,	$22	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$341	sll	$21,	32,	$1	addq	$6,	$1,	$6$341:	sll	$28,	32,	$25	addq	$2,	$25,	$2	bis	$2,	$2,	$7	addq	$24,	$7,	$24	stq	$24,	64($16)	ldq	$4,	16($17)	ldq	$5,	56($18)	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	srl	$5,	32,	$8	mulq	$8,	$7,	$0	srl	$28,	32,	$1	cmpult	$2,	$25,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$1	srl	$4,	32,	$6	zapnot	$5,	15,	$5	mulq	$5,	$6,	$24	mulq	$7,	$5,	$2	addq	$1,	$22,	$22	addq	$0,	$24,	$0	cmpult	$0,	$24,	$1	mulq	$6,	$8,	$6	beq	$1,	$345	sll	$21,	32,	$1	addq	$6,	$1,	$6$345:	sll	$0,	32,	$24	ldq	$1,	48($18)	addq	$2,	$24,	$2	bis	$2,	$2,	$7	ldq	$4,	24($17)	addq	$23,	$7,	$23	srl	$1,	32,	$8	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$25	zapnot	$1,	15,	$5	mulq	$7,	$5,	$21	srl	$0,	32,	$1	cmpult	$2,	$24,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$24	srl	$4,	32,	$6	mulq	$5,	$6,	$5	bis	$31,	1,	$20	addq	$25,	$5,	$25	cmpult	$25,	$5,	$1	mulq	$6,	$8,	$6	beq	$1,	$349	sll	$20,	32,	$1	addq	$6,	$1,	$6$349:	sll	$25,	32,	$5	ldq	$2,	40($18)	addq	$21,	$5,	$21	bis	$21,	$21,	$7	ldq	$4,	32($17)	addq	$23,	$7,	$23	srl	$2,	32,	$8	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$25,	32,	$1	addq	$6,	$1,	$6	cmpult	$21,	$5,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$24,	$24	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$353	sll	$20,	32,	$1	addq	$6,	$1,	$6$353:	sll	$28,	32,	$25	ldq	$2,	32($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	40($17)	addq	$23,	$7,	$23	srl	$2,	32,	$8	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$0	srl	$28,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$24,	$24	addq	$0,	$25,	$0	cmpult	$0,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$357	sll	$20,	32,	$1	addq	$6,	$1,	$6$357:	sll	$0,	32,	$25	ldq	$2,	24($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	48($17)	addq	$23,	$7,	$23	srl	$2,	32,	$8	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$0,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$24,	$24	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$361	sll	$20,	32,	$1	addq	$6,	$1,	$6$361:	sll	$28,	32,	$25	ldq	$2,	16($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	56($17)	addq	$23,	$7,	$23	srl	$2,	32,	$8	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$0	srl	$28,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$2	addq	$1,	$24,	$24	addq	$0,	$25,	$0	cmpult	$0,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$365	sll	$20,	32,	$1	addq	$6,	$1,	$6$365:	sll	$0,	32,	$25	addq	$2,	$25,	$2	bis	$2,	$2,	$7	addq	$23,	$7,	$23	stq	$23,	72($16)	ldq	$4,	56($17)	ldq	$5,	24($18)	cmpult	$23,	$7,	$3	zapnot	$4,	15,	$7	srl	$5,	32,	$8	mulq	$8,	$7,	$28	srl	$0,	32,	$1	cmpult	$2,	$25,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$22,	$6,	$22	cmpult	$22,	$6,	$1	srl	$4,	32,	$6	zapnot	$5,	15,	$5	mulq	$5,	$6,	$23	mulq	$7,	$5,	$2	addq	$1,	$24,	$24	addq	$28,	$23,	$28	cmpult	$28,	$23,	$1	mulq	$6,	$8,	$6	beq	$1,	$369	sll	$20,	32,	$1	addq	$6,	$1,	$6$369:	sll	$28,	32,	$23	ldq	$1,	32($18)	addq	$2,	$23,	$2	bis	$2,	$2,	$7	ldq	$4,	48($17)	addq	$22,	$7,	$22	srl	$1,	32,	$8	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$25	zapnot	$1,	15,	$5	mulq	$7,	$5,	$0	srl	$28,	32,	$1	cmpult	$2,	$23,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$23	srl	$4,	32,	$6	mulq	$5,	$6,	$5	bis	$31,	1,	$21	addq	$25,	$5,	$25	cmpult	$25,	$5,	$1	mulq	$6,	$8,	$6	beq	$1,	$373	sll	$21,	32,	$1	addq	$6,	$1,	$6$373:	sll	$25,	32,	$5	ldq	$2,	40($18)	addq	$0,	$5,	$0	bis	$0,	$0,	$7	ldq	$4,	40($17)	addq	$22,	$7,	$22	srl	$2,	32,	$8	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$25,	32,	$1	addq	$6,	$1,	$6	cmpult	$0,	$5,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$23,	$23	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$377	sll	$21,	32,	$1	addq	$6,	$1,	$6$377:	sll	$28,	32,	$25	ldq	$2,	48($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	32($17)	addq	$22,	$7,	$22	srl	$2,	32,	$8	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$0	srl	$28,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$23,	$23	addq	$0,	$25,	$0	cmpult	$0,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$381	sll	$21,	32,	$1	addq	$6,	$1,	$6$381:	sll	$0,	32,	$25	ldq	$2,	56($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	24($17)	addq	$22,	$7,	$22	srl	$2,	32,	$8	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$0,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$2	addq	$1,	$23,	$23	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$385	sll	$21,	32,	$1	addq	$6,	$1,	$6$385:	sll	$28,	32,	$25	addq	$2,	$25,	$2	bis	$2,	$2,	$7	addq	$22,	$7,	$22	stq	$22,	80($16)	ldq	$4,	32($17)	ldq	$5,	56($18)	cmpult	$22,	$7,	$3	zapnot	$4,	15,	$7	srl	$5,	32,	$8	mulq	$8,	$7,	$0	srl	$28,	32,	$1	cmpult	$2,	$25,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$24,	$6,	$24	cmpult	$24,	$6,	$1	srl	$4,	32,	$6	zapnot	$5,	15,	$5	mulq	$5,	$6,	$22	mulq	$7,	$5,	$2	addq	$1,	$23,	$23	addq	$0,	$22,	$0	cmpult	$0,	$22,	$1	mulq	$6,	$8,	$6	beq	$1,	$389	sll	$21,	32,	$1	addq	$6,	$1,	$6$389:	sll	$0,	32,	$22	ldq	$1,	48($18)	addq	$2,	$22,	$2	bis	$2,	$2,	$7	ldq	$4,	40($17)	addq	$24,	$7,	$24	srl	$1,	32,	$8	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$25	zapnot	$1,	15,	$5	mulq	$7,	$5,	$21	srl	$0,	32,	$1	cmpult	$2,	$22,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$22	srl	$4,	32,	$6	mulq	$5,	$6,	$5	bis	$31,	1,	$20	addq	$25,	$5,	$25	cmpult	$25,	$5,	$1	mulq	$6,	$8,	$6	beq	$1,	$393	sll	$20,	32,	$1	addq	$6,	$1,	$6$393:	sll	$25,	32,	$5	ldq	$2,	40($18)	addq	$21,	$5,	$21	bis	$21,	$21,	$7	ldq	$4,	48($17)	addq	$24,	$7,	$24	srl	$2,	32,	$8	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$28	srl	$25,	32,	$1	addq	$6,	$1,	$6	cmpult	$21,	$5,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$5	addq	$1,	$22,	$22	addq	$28,	$25,	$28	cmpult	$28,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$397	sll	$20,	32,	$1	addq	$6,	$1,	$6$397:	sll	$28,	32,	$25	ldq	$2,	32($18)	addq	$5,	$25,	$5	bis	$5,	$5,	$7	ldq	$4,	56($17)	addq	$24,	$7,	$24	srl	$2,	32,	$8	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	mulq	$8,	$7,	$21	srl	$28,	32,	$1	addq	$6,	$1,	$6	cmpult	$5,	$25,	$1	zapnot	$2,	15,	$5	addq	$1,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$1	srl	$4,	32,	$6	mulq	$5,	$6,	$25	mulq	$7,	$5,	$2	addq	$1,	$22,	$22	addq	$21,	$25,	$21	cmpult	$21,	$25,	$1	mulq	$6,	$8,	$6	beq	$1,	$401	sll	$20,	32,	$1	addq	$6,	$1,	$6$401:	sll	$21,	32,	$25	addq	$2,	$25,	$2	bis	$2,	$2,	$7	addq	$24,	$7,	$24	stq	$24,	88($16)	ldq	$4,	56($17)	ldq	$5,	40($18)	cmpult	$24,	$7,	$3	zapnot	$4,	15,	$7	srl	$5,	32,	$8	mulq	$8,	$7,	$0	srl	$21,	32,	$1	cmpult	$2,	$25,	$2	addq	$6,	$1,	$6	addq	$2,	$6,	$6	addq	$3,	$6,	$6	addq	$23,	$6,	$23	cmpult	$23,	$6,	$1	srl	$4,	32,	$6	zapnot	$5,	15,	$5	mulq	$5,	$6,	$24	mulq	$7,	$5,	$5	addq	$1,	$22,	$22	addq	$0,	$24,	$0	cmpult	$0,	$24,	$1	mulq	$6,	$8,	$6	beq	$1,	$405	sll	$20,	32,	$1	addq	$6,	$1,	$6$405:	sll	$0,	32,	$24