summaryrefslogtreecommitdiff
path: root/test/abi/006_in-myr.myr
blob: f23f48231cbf27d499fdd4ef04e8dba5a046ca96 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
use std
use "006_types"

pkg =
    const fn_1_myr : (a1 : uint32, a2 : (uint8,t1,uint32,t2), a3 : t2, a4 : flt32, a5 : uint8 -> t7)
    const fn_2_myr : (a1 : t7, a2 : ((uint8,t1,uint32,t2),(uint8,t1,uint32,t2)), a3 : t12, a4 : flt64, a5 : ((flt64,uint64,uint64),flt32,t13,(uint8,flt32)), a6 : t13, a7 : uint32 -> flt32)
    const fn_3_myr : (a1 : (flt64,uint64,uint64), a2 : ((flt64,uint64,uint64),flt32,t13,(uint8,flt32)), a3 : (uint32,flt32,flt32,(flt32,t2)), a4 : (uint32,flt32,flt32,(flt32,t2)), a5 : uint64, a6 : t17, a7 : t12 -> flt32)
    const fn_4_myr : (a1 : t1, a2 : t21, a3 : t23, a4 : flt64, a5 : (flt32,t2), a6 : uint64, a7 : flt64 -> t2)
    const fn_5_myr : (a1 : uint32, a2 : t24, a3 : flt64, a4 : (t24,(flt32,t2)), a5 : uint64, a6 : t28 -> (uint8,t1,uint32,t2))
    const fn_6_myr : (a1 : t29, a2 : ((uint8,t1,uint32,t2),(uint8,t1,uint32,t2)), a3 : (uint64,t30,t31,t32), a4 : (flt64,uint64,uint64), a5 : uint32, a6 : flt32, a7 : t11, a8 : (uint64,(flt32,t2),(uint32,flt32,uint64,uint32),t35), a9 : (uint32,flt32,flt32,(flt32,t2)), a10 : t37 -> flt64)
    const fn_7_myr : (a1 : uint64, a2 : t38, a3 : uint8, a4 : ((t30,flt64,uint64),uint8,t1), a5 : (uint64,t41,uint32,t23), a6 : t43, a7 : uint8 -> flt64)
    const fn_8_myr : ( -> t44)
    const fn_9_myr : (a1 : t45, a2 : t46, a3 : t45, a4 : t47, a5 : t48, a6 : flt32, a7 : flt64, a8 : uint8, a9 : uint64, a10 : t49 -> t53)
    const fn_10_myr : (a1 : flt32, a2 : (t30,uint64,t54,flt32), a3 : t43 -> flt32)
    const fn_11_myr : (a1 : ((t30,flt64,uint64),uint8,t1), a2 : uint64, a3 : (t56,uint32,t57,(t19,t30,flt32,flt64)) -> uint32)
    const fn_12_myr : (a1 : t63, a2 : flt64, a3 : uint32, a4 : t68 -> uint32)
    const fn_13_myr : (a1 : t26, a2 : uint32, a3 : t70, a4 : flt64, a5 : (flt32,t71,(uint8,uint32,uint8),flt64) -> t74)
    const fn_14_myr : (a1 : uint32, a2 : uint8, a3 : (t75,t76,t77), a4 : (t79,uint64,t80), a5 : t32, a6 : t82, a7 : t85 -> uint64)
    const fn_15_myr : (a1 : t86, a2 : t69, a3 : t88, a4 : t93, a5 : (flt32,uint32,t94), a6 : (t24,(flt32,t2)), a7 : flt32, a8 : (uint8,flt32,uint64,t1), a9 : (t93,flt64,t96), a10 : t100 -> (flt32,t21,t101,flt64))
    const fn_16_myr : (a1 : uint64, a2 : t57 -> ((flt64,uint64,uint64),flt32,t13,(uint8,flt32)))
    const fn_17_myr : (a1 : flt32, a2 : (flt64,flt32,uint64), a3 : t35, a4 : flt32, a5 : t18, a6 : uint64, a7 : (uint8,t1,uint32,t2), a8 : flt32, a9 : t56, a10 : (uint8,uint32,uint8) -> flt64)
    const fn_18_myr : (a1 : t29, a2 : t50, a3 : t94, a4 : (t93,flt64,t96), a5 : t82, a6 : uint32 -> t68)
    const fn_19_myr : (a1 : uint64, a2 : uint8 -> uint8)
    const fn_20_myr : (a1 : (uint8,uint32,uint8), a2 : t54, a3 : (flt32,t21,t101,flt64), a4 : t30, a5 : flt32, a6 : t100, a7 : t82, a8 : (uint32,uint32,uint32), a9 : t19 -> uint8)
;;

const fn_1_myr = { a1 : uint32, a2 : (uint8,t1,uint32,t2), a3 : t2, a4 : flt32, a5 : uint8
    if !(a1==3331313618)
        goto bad
    ;;

    if !((a2.0==163) && ((a2.1.field_1==112669747445760) && (a2.1.field_2==68) && (a2.1.field_3==2961163238) && (a2.1.field_4==144) && (a2.1.field_5==3.1171875) && (a2.1.field_6==-0.77734375)) && (a2.2==2638767956) && (a2.3==`E_2_3))
        goto bad
    ;;

    if !(a3==`E_2_1)
        goto bad
    ;;

    if !(a4==0.875)
        goto bad
    ;;

    if !(a5==63)
        goto bad
    ;;

    -> [.field_1=[.field_1=156,.field_2=2.83203125,.field_3=67,.field_4=143760266887168,.field_5=`E_2_6,.field_6=2927029180],.field_2=(-2.55078125,159665344872448,199843724394496),.field_3=(-0.625,`E_2_6)]

:bad
    -> [.field_1=[.field_1=224,.field_2=-3.55859375,.field_3=83,.field_4=192626519703552,.field_5=`E_2_2,.field_6=280197342],.field_2=(-2.49609375,252253836541952,197595307704320),.field_3=(-1.328125,`E_2_2)]
}

const fn_2_myr = { a1 : t7, a2 : ((uint8,t1,uint32,t2),(uint8,t1,uint32,t2)), a3 : t12, a4 : flt64, a5 : ((flt64,uint64,uint64),flt32,t13,(uint8,flt32)), a6 : t13, a7 : uint32
    if !(((a1.field_1.field_1==195) && (a1.field_1.field_2==-2.625) && (a1.field_1.field_3==107) && (a1.field_1.field_4==250193960632320) && (a1.field_1.field_5==`E_2_1) && (a1.field_1.field_6==3277066896)) && ((a1.field_2.0==0.01171875) && (a1.field_2.1==271113481355264) && (a1.field_2.2==7202154348544)) && ((a1.field_3.0==-1.53125) && (a1.field_3.1==`E_2_6)))
        goto bad
    ;;

    if !(((a2.0.0==75) && ((a2.0.1.field_1==149688830001152) && (a2.0.1.field_2==166) && (a2.0.1.field_3==4203656652) && (a2.0.1.field_4==184) && (a2.0.1.field_5==1.6796875) && (a2.0.1.field_6==-2.66015625)) && (a2.0.2==2647535284) && (a2.0.3==`E_2_3)) && ((a2.1.0==60) && ((a2.1.1.field_1==234959706259456) && (a2.1.1.field_2==30) && (a2.1.1.field_3==3070502934) && (a2.1.1.field_4==195) && (a2.1.1.field_5==2.9921875) && (a2.1.1.field_6==2.96484375)) && (a2.1.2==803402210) && (a2.1.3==`E_2_5)))
        goto bad
    ;;

    if !((a3.field_1==0.203125) && (((a3.field_2.field_1.0==-0.140625) && (a3.field_2.field_1.1==`E_2_2)) && (a3.field_2.field_2==151793905303552) && ((a3.field_2.field_3.0==0.75) && (a3.field_2.field_3.1==`E_2_1)) && (a3.field_2.field_4==-0.875) && (a3.field_2.field_5==59595538169856) && ((a3.field_2.field_6.0==-0.51171875) && (a3.field_2.field_6.1==90586118225920) && (a3.field_2.field_6.2==47799910137856))) && ((a3.field_3.0==-3.4140625) && (a3.field_3.1==0.671875) && (a3.field_3.2==185693112107008)) && (a3.field_4==-1.23828125) && (a3.field_5==`E_11_1) && (a3.field_6==2.890625))
        goto bad
    ;;

    if !(a4==0.94921875)
        goto bad
    ;;

    if !(((a5.0.0==2.03515625) && (a5.0.1==29216526696448) && (a5.0.2==236353793556480)) && (a5.1==1.09375) && ((a5.2.field_1==4181791332) && (((a5.2.field_2.0.0==44) && ((a5.2.field_2.0.1.field_1==132595126632448) && (a5.2.field_2.0.1.field_2==171) && (a5.2.field_2.0.1.field_3==3948447728) && (a5.2.field_2.0.1.field_4==220) && (a5.2.field_2.0.1.field_5==-3.69140625) && (a5.2.field_2.0.1.field_6==-2.40625)) && (a5.2.field_2.0.2==3172323970) && (a5.2.field_2.0.3==`E_2_5)) && ((a5.2.field_2.1.0==224) && ((a5.2.field_2.1.1.field_1==275519312887808) && (a5.2.field_2.1.1.field_2==53) && (a5.2.field_2.1.1.field_3==3186715686) && (a5.2.field_2.1.1.field_4==144) && (a5.2.field_2.1.1.field_5==-2.5703125) && (a5.2.field_2.1.1.field_6==-3.41015625)) && (a5.2.field_2.1.2==1867717394) && (a5.2.field_2.1.3==`E_2_5))) && (a5.2.field_3==35551921045504) && (a5.2.field_4==-0.203125) && (a5.2.field_5==101)) && ((a5.3.0==102) && (a5.3.1==1.15625)))
        goto bad
    ;;

    if !((a6.field_1==1580005156) && (((a6.field_2.0.0==51) && ((a6.field_2.0.1.field_1==266965320073216) && (a6.field_2.0.1.field_2==53) && (a6.field_2.0.1.field_3==212878900) && (a6.field_2.0.1.field_4==236) && (a6.field_2.0.1.field_5==-0.921875) && (a6.field_2.0.1.field_6==0.16015625)) && (a6.field_2.0.2==2543329268) && (a6.field_2.0.3==`E_2_2)) && ((a6.field_2.1.0==98) && ((a6.field_2.1.1.field_1==174501380489216) && (a6.field_2.1.1.field_2==126) && (a6.field_2.1.1.field_3==522689612) && (a6.field_2.1.1.field_4==110) && (a6.field_2.1.1.field_5==-1.0234375) && (a6.field_2.1.1.field_6==-3.12109375)) && (a6.field_2.1.2==2756676114) && (a6.field_2.1.3==`E_2_1))) && (a6.field_3==186819725099008) && (a6.field_4==0.984375) && (a6.field_5==44))
        goto bad
    ;;

    if !(a7==2083878374)
        goto bad
    ;;

    -> 0.109375

:bad
    -> 1.1875
}

const fn_3_myr = { a1 : (flt64,uint64,uint64), a2 : ((flt64,uint64,uint64),flt32,t13,(uint8,flt32)), a3 : (uint32,flt32,flt32,(flt32,t2)), a4 : (uint32,flt32,flt32,(flt32,t2)), a5 : uint64, a6 : t17, a7 : t12
    if !((a1.0==0.36328125) && (a1.1==217080895242240) && (a1.2==146180381081600))
        goto bad
    ;;

    if !(((a2.0.0==0.5390625) && (a2.0.1==117399373217792) && (a2.0.2==101569454014464)) && (a2.1==-1.296875) && ((a2.2.field_1==39734246) && (((a2.2.field_2.0.0==169) && ((a2.2.field_2.0.1.field_1==133031533740032) && (a2.2.field_2.0.1.field_2==161) && (a2.2.field_2.0.1.field_3==668802928) && (a2.2.field_2.0.1.field_4==152) && (a2.2.field_2.0.1.field_5==-3.4296875) && (a2.2.field_2.0.1.field_6==0.1953125)) && (a2.2.field_2.0.2==2984403120) && (a2.2.field_2.0.3==`E_2_5)) && ((a2.2.field_2.1.0==162) && ((a2.2.field_2.1.1.field_1==100930591260672) && (a2.2.field_2.1.1.field_2==132) && (a2.2.field_2.1.1.field_3==3484222870) && (a2.2.field_2.1.1.field_4==117) && (a2.2.field_2.1.1.field_5==-3.8984375) && (a2.2.field_2.1.1.field_6==-3.02734375)) && (a2.2.field_2.1.2==4255148568) && (a2.2.field_2.1.3==`E_2_6))) && (a2.2.field_3==229240590827520) && (a2.2.field_4==-0.328125) && (a2.2.field_5==51)) && ((a2.3.0==92) && (a2.3.1==-1.046875)))
        goto bad
    ;;

    if !((a3.0==1212401592) && (a3.1==-1.046875) && (a3.2==1.109375) && ((a3.3.0==1.296875) && (a3.3.1==`E_2_2)))
        goto bad
    ;;

    if !((a4.0==3641606114) && (a4.1==-1.125) && (a4.2==0.546875) && ((a4.3.0==-0.046875) && (a4.3.1==`E_2_3)))
        goto bad
    ;;

    if !(a5==83130758201344)
        goto bad
    ;;

    if !(((a6.field_1.0==954818626) && (a6.field_1.1==-0.5) && (a6.field_1.2==-0.703125) && ((a6.field_1.3.0==0.265625) && (a6.field_1.3.1==`E_2_4))) && (a6.field_2==254))
        goto bad
    ;;

    if !((a7.field_1==-0.671875) && (((a7.field_2.field_1.0==0.671875) && (a7.field_2.field_1.1==`E_2_1)) && (a7.field_2.field_2==186559912869888) && ((a7.field_2.field_3.0==1.546875) && (a7.field_2.field_3.1==`E_2_2)) && (a7.field_2.field_4==0.046875) && (a7.field_2.field_5==255023204139008) && ((a7.field_2.field_6.0==1.13671875) && (a7.field_2.field_6.1==270028714934272) && (a7.field_2.field_6.2==247333204000768))) && ((a7.field_3.0==-0.0546875) && (a7.field_3.1==-1.25) && (a7.field_3.2==156053374763008)) && (a7.field_4==3.73046875) && (a7.field_5==`E_11_4) && (a7.field_6==1.92578125))
        goto bad
    ;;

    -> 0.171875

:bad
    -> 1.375
}

const fn_4_myr = { a1 : t1, a2 : t21, a3 : t23, a4 : flt64, a5 : (flt32,t2), a6 : uint64, a7 : flt64
    if !((a1.field_1==254108937224192) && (a1.field_2==215) && (a1.field_3==1243252406) && (a1.field_4==124) && (a1.field_5==-1.1875) && (a1.field_6==-1.68359375))
        goto bad
    ;;

    if !((a2.field_1==`E_18_8) && (a2.field_2==4113752024) && (a2.field_3==0.5) && (a2.field_4==`E_19_5) && ((a2.field_5.0==-0.3203125) && (a2.field_5.1==1.33984375) && ((a2.field_5.2.field_1==-0.171875) && (((a2.field_5.2.field_2.field_1.0==-0.625) && (a2.field_5.2.field_2.field_1.1==`E_2_6)) && (a2.field_5.2.field_2.field_2==262778588495872) && ((a2.field_5.2.field_2.field_3.0==0.46875) && (a2.field_5.2.field_2.field_3.1==`E_2_2)) && (a2.field_5.2.field_2.field_4==1.125) && (a2.field_5.2.field_2.field_5==182381629145088) && ((a2.field_5.2.field_2.field_6.0==2.4609375) && (a2.field_5.2.field_2.field_6.1==139713139179520) && (a2.field_5.2.field_2.field_6.2==225645534511104))) && ((a2.field_5.2.field_3.0==-3.54296875) && (a2.field_5.2.field_3.1==-1.171875) && (a2.field_5.2.field_3.2==78173635870720)) && (a2.field_5.2.field_4==2.28515625) && (a2.field_5.2.field_5==`E_11_4) && (a2.field_5.2.field_6==-0.7890625))) && (((a2.field_6.0.0==-0.01953125) && (a2.field_6.0.1==23439019999232) && (a2.field_6.0.2==3807452332032)) && (a2.field_6.1==-0.625) && ((a2.field_6.2.field_1==233931326) && (((a2.field_6.2.field_2.0.0==154) && ((a2.field_6.2.field_2.0.1.field_1==198616597528576) && (a2.field_6.2.field_2.0.1.field_2==197) && (a2.field_6.2.field_2.0.1.field_3==2016579036) && (a2.field_6.2.field_2.0.1.field_4==169) && (a2.field_6.2.field_2.0.1.field_5==-0.5546875) && (a2.field_6.2.field_2.0.1.field_6==-3.796875)) && (a2.field_6.2.field_2.0.2==526208716) && (a2.field_6.2.field_2.0.3==`E_2_1)) && ((a2.field_6.2.field_2.1.0==118) && ((a2.field_6.2.field_2.1.1.field_1==119263763103744) && (a2.field_6.2.field_2.1.1.field_2==15) && (a2.field_6.2.field_2.1.1.field_3==1698145536) && (a2.field_6.2.field_2.1.1.field_4==18) && (a2.field_6.2.field_2.1.1.field_5==-1.51171875) && (a2.field_6.2.field_2.1.1.field_6==-1.921875)) && (a2.field_6.2.field_2.1.2==3097128252) && (a2.field_6.2.field_2.1.3==`E_2_1))) && (a2.field_6.2.field_3==211270742966272) && (a2.field_6.2.field_4==0.078125) && (a2.field_6.2.field_5==42)) && ((a2.field_6.3.0==225) && (a2.field_6.3.1==0.9375))))
        goto bad
    ;;

    if !((a3.field_1==190020550524928) && ((a3.field_2.0==11) && (a3.field_2.1==-1.0625)) && (a3.field_3==210612318502912) && ((a3.field_4.0==-0.46875) && (a3.field_4.1==116393468362752) && (((a3.field_4.2.field_1.field_1==120) && (a3.field_4.2.field_1.field_2==-0.21484375) && (a3.field_4.2.field_1.field_3==42) && (a3.field_4.2.field_1.field_4==279254693969921) && (a3.field_4.2.field_1.field_5==`E_2_4) && (a3.field_4.2.field_1.field_6==185092378)) && ((a3.field_4.2.field_2.0==2.28515625) && (a3.field_4.2.field_2.1==168886583296000) && (a3.field_4.2.field_2.2==165671684931584)) && ((a3.field_4.2.field_3.0==1.546875) && (a3.field_4.2.field_3.1==`E_2_1))) && (((a3.field_4.3.field_1.0==933489974) && (a3.field_4.3.field_1.1==-0.921875) && (a3.field_4.3.field_1.2==1.0) && ((a3.field_4.3.field_1.3.0==1.265625) && (a3.field_4.3.field_1.3.1==`E_2_1))) && (a3.field_4.3.field_2==72))))
        goto bad
    ;;

    if !(a4==-1.47265625)
        goto bad
    ;;

    if !((a5.0==0.359375) && (a5.1==`E_2_4))
        goto bad
    ;;

    if !(a6==106223398289408)
        goto bad
    ;;

    if !(a7==-1.80078125)
        goto bad
    ;;

    -> `E_2_4

:bad
    -> `E_2_6
}

const fn_5_myr = { a1 : uint32, a2 : t24, a3 : flt64, a4 : (t24,(flt32,t2)), a5 : uint64, a6 : t28
    if !(a1==490829306)
        goto bad
    ;;

    if !(a2==`E_24_2)
        goto bad
    ;;

    if !(a3==-1.296875)
        goto bad
    ;;

    if !((a4.0==`E_24_8) && ((a4.1.0==0.1875) && (a4.1.1==`E_2_3)))
        goto bad
    ;;

    if !(a5==245616036151296)
        goto bad
    ;;

    if !((((a6.field_1.0.0==2.08203125) && (a6.field_1.0.1==35857928683520) && (a6.field_1.0.2==93232914235392)) && (a6.field_1.1==-0.609375) && ((a6.field_1.2.field_1==1442943954) && (((a6.field_1.2.field_2.0.0==49) && ((a6.field_1.2.field_2.0.1.field_1==243496050229248) && (a6.field_1.2.field_2.0.1.field_2==211) && (a6.field_1.2.field_2.0.1.field_3==1781303846) && (a6.field_1.2.field_2.0.1.field_4==188) && (a6.field_1.2.field_2.0.1.field_5==1.796875) && (a6.field_1.2.field_2.0.1.field_6==2.92578125)) && (a6.field_1.2.field_2.0.2==961004516) && (a6.field_1.2.field_2.0.3==`E_2_2)) && ((a6.field_1.2.field_2.1.0==142) && ((a6.field_1.2.field_2.1.1.field_1==24547072671744) && (a6.field_1.2.field_2.1.1.field_2==51) && (a6.field_1.2.field_2.1.1.field_3==2197818536) && (a6.field_1.2.field_2.1.1.field_4==124) && (a6.field_1.2.field_2.1.1.field_5==-2.42578125) && (a6.field_1.2.field_2.1.1.field_6==-3.234375)) && (a6.field_1.2.field_2.1.2==3597667158) && (a6.field_1.2.field_2.1.3==`E_2_5))) && (a6.field_1.2.field_3==212450688237568) && (a6.field_1.2.field_4==-0.625) && (a6.field_1.2.field_5==212)) && ((a6.field_1.3.0==40) && (a6.field_1.3.1==1.328125))) && (a6.field_2==`E_26_3) && ((((a6.field_3.field_1.0.0==3.07421875) && (a6.field_3.field_1.0.1==82227144294400) && (a6.field_3.field_1.0.2==7948002787328)) && (a6.field_3.field_1.1==-1.5) && ((a6.field_3.field_1.2.field_1==2677308022) && (((a6.field_3.field_1.2.field_2.0.0==85) && ((a6.field_3.field_1.2.field_2.0.1.field_1==100333243203584) && (a6.field_3.field_1.2.field_2.0.1.field_2==209) && (a6.field_3.field_1.2.field_2.0.1.field_3==846728032) && (a6.field_3.field_1.2.field_2.0.1.field_4==47) && (a6.field_3.field_1.2.field_2.0.1.field_5==-2.0859375) && (a6.field_3.field_1.2.field_2.0.1.field_6==3.3984375)) && (a6.field_3.field_1.2.field_2.0.2==3924268624) && (a6.field_3.field_1.2.field_2.0.3==`E_2_1)) && ((a6.field_3.field_1.2.field_2.1.0==40) && ((a6.field_3.field_1.2.field_2.1.1.field_1==58951057276928) && (a6.field_3.field_1.2.field_2.1.1.field_2==170) && (a6.field_3.field_1.2.field_2.1.1.field_3==1055614716) && (a6.field_3.field_1.2.field_2.1.1.field_4==104) && (a6.field_3.field_1.2.field_2.1.1.field_5==-2.51953125) && (a6.field_3.field_1.2.field_2.1.1.field_6==1.8203125)) && (a6.field_3.field_1.2.field_2.1.2==2570174796) && (a6.field_3.field_1.2.field_2.1.3==`E_2_2))) && (a6.field_3.field_1.2.field_3==160655520563200) && (a6.field_3.field_1.2.field_4==-0.515625) && (a6.field_3.field_1.2.field_5==4)) && ((a6.field_3.field_1.3.0==223) && (a6.field_3.field_1.3.1==-1.0625))) && (a6.field_3.field_2==-1.015625) && (a6.field_3.field_3==0.9375) && (a6.field_3.field_4==119362880667648) && (a6.field_3.field_5==-1.359375) && (a6.field_3.field_6==25145455280128)))
        goto bad
    ;;

    -> (182,[.field_1=220780978372608,.field_2=114,.field_3=2281314962,.field_4=251,.field_5=1.01171875,.field_6=2.06640625],3935630006,`E_2_4)

:bad
    -> (223,[.field_1=21084164849664,.field_2=192,.field_3=2309250974,.field_4=82,.field_5=-2.64453125,.field_6=1.68359375],231075084,`E_2_5)
}

const fn_6_myr = { a1 : t29, a2 : ((uint8,t1,uint32,t2),(uint8,t1,uint32,t2)), a3 : (uint64,t30,t31,t32), a4 : (flt64,uint64,uint64), a5 : uint32, a6 : flt32, a7 : t11, a8 : (uint64,(flt32,t2),(uint32,flt32,uint64,uint32),t35), a9 : (uint32,flt32,flt32,(flt32,t2)), a10 : t37
    if !(a1==`E_29_6)
        goto bad
    ;;

    if !(((a2.0.0==44) && ((a2.0.1.field_1==82970538278912) && (a2.0.1.field_2==173) && (a2.0.1.field_3==1039620306) && (a2.0.1.field_4==98) && (a2.0.1.field_5==-2.87890625) && (a2.0.1.field_6==-1.3203125)) && (a2.0.2==415749068) && (a2.0.3==`E_2_6)) && ((a2.1.0==198) && ((a2.1.1.field_1==176754788270080) && (a2.1.1.field_2==229) && (a2.1.1.field_3==1745396264) && (a2.1.1.field_4==100) && (a2.1.1.field_5==2.453125) && (a2.1.1.field_6==3.51171875)) && (a2.1.2==1134845604) && (a2.1.3==`E_2_6)))
        goto bad
    ;;

    if !((a3.0==45346413608960) && ((a3.1.field_1==1.5546875) && ((a3.1.field_2.field_1==`E_18_1) && (a3.1.field_2.field_2==3388995392) && (a3.1.field_2.field_3==0.296875) && (a3.1.field_2.field_4==`E_19_4) && ((a3.1.field_2.field_5.0==-2.4921875) && (a3.1.field_2.field_5.1==-0.69921875) && ((a3.1.field_2.field_5.2.field_1==-0.390625) && (((a3.1.field_2.field_5.2.field_2.field_1.0==-0.171875) && (a3.1.field_2.field_5.2.field_2.field_1.1==`E_2_2)) && (a3.1.field_2.field_5.2.field_2.field_2==21150251483136) && ((a3.1.field_2.field_5.2.field_2.field_3.0==-0.796875) && (a3.1.field_2.field_5.2.field_2.field_3.1==`E_2_4)) && (a3.1.field_2.field_5.2.field_2.field_4==1.375) && (a3.1.field_2.field_5.2.field_2.field_5==215200983941120) && ((a3.1.field_2.field_5.2.field_2.field_6.0==2.125) && (a3.1.field_2.field_5.2.field_2.field_6.1==158112869384192) && (a3.1.field_2.field_5.2.field_2.field_6.2==73351684030464))) && ((a3.1.field_2.field_5.2.field_3.0==1.25) && (a3.1.field_2.field_5.2.field_3.1==-0.703125) && (a3.1.field_2.field_5.2.field_3.2==212315222310912)) && (a3.1.field_2.field_5.2.field_4==-3.5546875) && (a3.1.field_2.field_5.2.field_5==`E_11_2) && (a3.1.field_2.field_5.2.field_6==-0.61328125))) && (((a3.1.field_2.field_6.0.0==1.76171875) && (a3.1.field_2.field_6.0.1==253745235361792) && (a3.1.field_2.field_6.0.2==92984779997184)) && (a3.1.field_2.field_6.1==0.90625) && ((a3.1.field_2.field_6.2.field_1==2939679992) && (((a3.1.field_2.field_6.2.field_2.0.0==146) && ((a3.1.field_2.field_6.2.field_2.0.1.field_1==267681124188160) && (a3.1.field_2.field_6.2.field_2.0.1.field_2==98) && (a3.1.field_2.field_6.2.field_2.0.1.field_3==2525744200) && (a3.1.field_2.field_6.2.field_2.0.1.field_4==189) && (a3.1.field_2.field_6.2.field_2.0.1.field_5==3.75390625) && (a3.1.field_2.field_6.2.field_2.0.1.field_6==-3.81640625)) && (a3.1.field_2.field_6.2.field_2.0.2==3957579288) && (a3.1.field_2.field_6.2.field_2.0.3==`E_2_3)) && ((a3.1.field_2.field_6.2.field_2.1.0==98) && ((a3.1.field_2.field_6.2.field_2.1.1.field_1==103318747742208) && (a3.1.field_2.field_6.2.field_2.1.1.field_2==176) && (a3.1.field_2.field_6.2.field_2.1.1.field_3==1976332274) && (a3.1.field_2.field_6.2.field_2.1.1.field_4==157) && (a3.1.field_2.field_6.2.field_2.1.1.field_5==-2.35546875) && (a3.1.field_2.field_6.2.field_2.1.1.field_6==-0.79296875)) && (a3.1.field_2.field_6.2.field_2.1.2==1628294370) && (a3.1.field_2.field_6.2.field_2.1.3==`E_2_6))) && (a3.1.field_2.field_6.2.field_3==270327169941504) && (a3.1.field_2.field_6.2.field_4==0.4375) && (a3.1.field_2.field_6.2.field_5==161)) && ((a3.1.field_2.field_6.3.0==61) && (a3.1.field_2.field_6.3.1==-0.328125)))) && (a3.1.field_3==190305229078528) && (a3.1.field_4==-0.0859375)) && (a3.2==`E_31_8) && ((a3.3.field_1==1725236208)))
        goto bad
    ;;

    if !((a4.0==-2.41015625) && (a4.1==21064454635520) && (a4.2==201636834967552))
        goto bad
    ;;

    if !(a5==1968388378)
        goto bad
    ;;

    if !(a6==1.203125)
        goto bad
    ;;

    if !(a7==`E_11_5)
        goto bad
    ;;

    if !((a8.0==165571080617984) && ((a8.1.0==0.671875) && (a8.1.1==`E_2_6)) && ((a8.2.0==3138764072) && (a8.2.1==-1.03125) && (a8.2.2==50747094728704) && (a8.2.3==2634664560)) && ((a8.3.field_1==171685942525952) && (a8.3.field_2==2132603492)))
        goto bad
    ;;

    if !((a9.0==849505522) && (a9.1==0.28125) && (a9.2==1.4375) && ((a9.3.0==-0.4375) && (a9.3.1==`E_2_3)))
        goto bad
    ;;

    if !(a10==`E_37_6)
        goto bad
    ;;

    -> -0.47265625

:bad
    -> -1.22265625
}

const fn_7_myr = { a1 : uint64, a2 : t38, a3 : uint8, a4 : ((t30,flt64,uint64),uint8,t1), a5 : (uint64,t41,uint32,t23), a6 : t43, a7 : uint8
    if !(a1==152633167446016)
        goto bad
    ;;

    if !(a2==`E_38_5)
        goto bad
    ;;

    if !(a3==21)
        goto bad
    ;;

    if !((((a4.0.0.field_1==3.7265625) && ((a4.0.0.field_2.field_1==`E_18_8) && (a4.0.0.field_2.field_2==1660321984) && (a4.0.0.field_2.field_3==0.46875) && (a4.0.0.field_2.field_4==`E_19_6) && ((a4.0.0.field_2.field_5.0==3.328125) && (a4.0.0.field_2.field_5.1==-3.79296875) && ((a4.0.0.field_2.field_5.2.field_1==-0.984375) && (((a4.0.0.field_2.field_5.2.field_2.field_1.0==-0.71875) && (a4.0.0.field_2.field_5.2.field_2.field_1.1==`E_2_5)) && (a4.0.0.field_2.field_5.2.field_2.field_2==107860547076096) && ((a4.0.0.field_2.field_5.2.field_2.field_3.0==0.984375) && (a4.0.0.field_2.field_5.2.field_2.field_3.1==`E_2_3)) && (a4.0.0.field_2.field_5.2.field_2.field_4==1.03125) && (a4.0.0.field_2.field_5.2.field_2.field_5==103537434427392) && ((a4.0.0.field_2.field_5.2.field_2.field_6.0==-0.41015625) && (a4.0.0.field_2.field_5.2.field_2.field_6.1==257720167301120) && (a4.0.0.field_2.field_5.2.field_2.field_6.2==23490682028032))) && ((a4.0.0.field_2.field_5.2.field_3.0==-3.0546875) && (a4.0.0.field_2.field_5.2.field_3.1==0.671875) && (a4.0.0.field_2.field_5.2.field_3.2==189976970788864)) && (a4.0.0.field_2.field_5.2.field_4==0.015625) && (a4.0.0.field_2.field_5.2.field_5==`E_11_5) && (a4.0.0.field_2.field_5.2.field_6==-0.41796875))) && (((a4.0.0.field_2.field_6.0.0==0.0625) && (a4.0.0.field_2.field_6.0.1==74574491418624) && (a4.0.0.field_2.field_6.0.2==201256086929408)) && (a4.0.0.field_2.field_6.1==1.359375) && ((a4.0.0.field_2.field_6.2.field_1==1220073662) && (((a4.0.0.field_2.field_6.2.field_2.0.0==46) && ((a4.0.0.field_2.field_6.2.field_2.0.1.field_1==265659814641664) && (a4.0.0.field_2.field_6.2.field_2.0.1.field_2==66) && (a4.0.0.field_2.field_6.2.field_2.0.1.field_3==27449604) && (a4.0.0.field_2.field_6.2.field_2.0.1.field_4==84) && (a4.0.0.field_2.field_6.2.field_2.0.1.field_5==3.22265625) && (a4.0.0.field_2.field_6.2.field_2.0.1.field_6==1.9609375)) && (a4.0.0.field_2.field_6.2.field_2.0.2==1100098150) && (a4.0.0.field_2.field_6.2.field_2.0.3==`E_2_6)) && ((a4.0.0.field_2.field_6.2.field_2.1.0==239) && ((a4.0.0.field_2.field_6.2.field_2.1.1.field_1==147943258062848) && (a4.0.0.field_2.field_6.2.field_2.1.1.field_2==159) && (a4.0.0.field_2.field_6.2.field_2.1.1.field_3==1367706340) && (a4.0.0.field_2.field_6.2.field_2.1.1.field_4==86) && (a4.0.0.field_2.field_6.2.field_2.1.1.field_5==3.89453125) && (a4.0.0.field_2.field_6.2.field_2.1.1.field_6==-2.74609375)) && (a4.0.0.field_2.field_6.2.field_2.1.2==3028657672) && (a4.0.0.field_2.field_6.2.field_2.1.3==`E_2_3))) && (a4.0.0.field_2.field_6.2.field_3==18076800647168) && (a4.0.0.field_2.field_6.2.field_4==0.90625) && (a4.0.0.field_2.field_6.2.field_5==142)) && ((a4.0.0.field_2.field_6.3.0==199) && (a4.0.0.field_2.field_6.3.1==-0.109375)))) && (a4.0.0.field_3==15997300899840) && (a4.0.0.field_4==-0.2890625)) && (a4.0.1==3.20703125) && (a4.0.2==158990308868096)) && (a4.1==186) && ((a4.2.field_1==175995273347072) && (a4.2.field_2==127) && (a4.2.field_3==52543290) && (a4.2.field_4==206) && (a4.2.field_5==-0.46875) && (a4.2.field_6==-1.7734375)))
        goto bad
    ;;

    if !((a5.0==207514518814720) && (a5.1==`E_41_5) && (a5.2==3821234462) && ((a5.3.field_1==206987958681600) && ((a5.3.field_2.0==247) && (a5.3.field_2.1==0.296875)) && (a5.3.field_3==50935557783552) && ((a5.3.field_4.0==-1.46875) && (a5.3.field_4.1==107941368692736) && (((a5.3.field_4.2.field_1.field_1==188) && (a5.3.field_4.2.field_1.field_2==2.4140625) && (a5.3.field_4.2.field_1.field_3==216) && (a5.3.field_4.2.field_1.field_4==223121033003008) && (a5.3.field_4.2.field_1.field_5==`E_2_2) && (a5.3.field_4.2.field_1.field_6==3252553412)) && ((a5.3.field_4.2.field_2.0==-1.11328125) && (a5.3.field_4.2.field_2.1==48622469120) && (a5.3.field_4.2.field_2.2==107679637045248)) && ((a5.3.field_4.2.field_3.0==1.109375) && (a5.3.field_4.2.field_3.1==`E_2_1))) && (((a5.3.field_4.3.field_1.0==811385302) && (a5.3.field_4.3.field_1.1==-0.640625) && (a5.3.field_4.3.field_1.2==-0.671875) && ((a5.3.field_4.3.field_1.3.0==-1.5625) && (a5.3.field_4.3.field_1.3.1==`E_2_1))) && (a5.3.field_4.3.field_2==120)))))
        goto bad
    ;;

    if !(a6==`E_43_4)
        goto bad
    ;;

    if !(a7==164)
        goto bad
    ;;

    -> 2.984375

:bad
    -> 0.26171875
}

const fn_8_myr = { 
    -> [.field_1=1.1875]

:bad
    -> [.field_1=0.03125]
}

const fn_9_myr = { a1 : t45, a2 : t46, a3 : t45, a4 : t47, a5 : t48, a6 : flt32, a7 : flt64, a8 : uint8, a9 : uint64, a10 : t49
    if !(a1==`E_45_6)
        goto bad
    ;;

    if !((a2.field_1==4118535730))
        goto bad
    ;;

    if !(a3==`E_45_7)
        goto bad
    ;;

    if !(a4==`E_47_2)
        goto bad
    ;;

    if !(a5==`E_48_6)
        goto bad
    ;;

    if !(a6==-0.21875)
        goto bad
    ;;

    if !(a7==-1.4140625)
        goto bad
    ;;

    if !(a8==162)
        goto bad
    ;;

    if !(a9==170573566967808)
        goto bad
    ;;

    if !(a10==`E_49_5)
        goto bad
    ;;

    -> [.field_1=-0.46875,.field_2=[.field_1=-0.28125,.field_2=([.field_1=3.50390625,.field_2=[.field_1=`E_18_9,.field_2=298590436,.field_3=0.359375,.field_4=`E_19_5,.field_5=(2.28125,-0.7421875,[.field_1=-1.359375,.field_2=[.field_1=(-1.53125,`E_2_2),.field_2=159748598530048,.field_3=(1.328125,`E_2_2),.field_4=-0.546875,.field_5=146401660239872,.field_6=(0.6875,228983429529600,105127852507136)],.field_3=(-0.84375,0.359375,153705986129920),.field_4=-1.80859375,.field_5=`E_11_1,.field_6=3.28125]),.field_6=((1.96484375,46322522914816,96194539421696),1.46875,[.field_1=912869840,.field_2=((176,[.field_1=121643541069824,.field_2=41,.field_3=2802989848,.field_4=128,.field_5=2.15625,.field_6=-2.44921875],1259853458,`E_2_2),(64,[.field_1=86146197356544,.field_2=90,.field_3=3519983450,.field_4=58,.field_5=0.50390625,.field_6=-2.765625],3211917080,`E_2_1)),.field_3=270136525455360,.field_4=-1.1875,.field_5=139],(146,0.53125))],.field_3=228868406378496,.field_4=0.90234375],0.6796875,158843979956224),.field_3=3350000678,.field_4=1.34375],.field_3=[.field_1=0.25390625],.field_4=3.8515625,.field_5=[.field_1=0.375],.field_6=([.field_1=271586366193664,.field_2=(39,-0.71875),.field_3=131323353497600,.field_4=(1.34375,129109365489664,[.field_1=[.field_1=194,.field_2=-3.05078125,.field_3=181,.field_4=18560330366976,.field_5=`E_2_3,.field_6=2277482010],.field_2=(-1.61328125,7613576773632,190410156933120),.field_3=(-1.4375,`E_2_2)],[.field_1=(2732417384,-1.0625,0.703125,(-0.921875,`E_2_5)),.field_2=137])],1.015625,117426174033920,25)]

:bad
    -> [.field_1=0.328125,.field_2=[.field_1=-1.203125,.field_2=([.field_1=1.046875,.field_2=[.field_1=`E_18_6,.field_2=4145360800,.field_3=0.3125,.field_4=`E_19_6,.field_5=(-2.0546875,-3.3984375,[.field_1=0.5625,.field_2=[.field_1=(0.609375,`E_2_5),.field_2=221801050013696,.field_3=(-0.296875,`E_2_6),.field_4=-0.78125,.field_5=263658707091456,.field_6=(-2.4609375,78100894187520,172593887444992)],.field_3=(-2.13671875,-0.140625,70190616412160),.field_4=-0.8671875,.field_5=`E_11_2,.field_6=-0.33203125]),.field_6=((-2.19140625,202050438168576,79035918319616),0.421875,[.field_1=3518277532,.field_2=((226,[.field_1=276554656776192,.field_2=116,.field_3=2062106064,.field_4=242,.field_5=-3.5,.field_6=-2.11328125],793394830,`E_2_1),(232,[.field_1=247826144034816,.field_2=241,.field_3=2988853828,.field_4=73,.field_5=2.61328125,.field_6=3.48828125],960335446,`E_2_1)),.field_3=62990759493632,.field_4=1.0625,.field_5=62],(174,-1.296875))],.field_3=178677585936384,.field_4=2.82421875],0.33984375,240439403347968),.field_3=2488286120,.field_4=1.015625],.field_3=[.field_1=-0.0703125],.field_4=-0.79296875,.field_5=[.field_1=0.65625],.field_6=([.field_1=133232098148352,.field_2=(218,-0.984375),.field_3=118507166892032,.field_4=(1.265625,117681019027456,[.field_1=[.field_1=155,.field_2=-3.7421875,.field_3=83,.field_4=136854257926144,.field_5=`E_2_6,.field_6=93994772],.field_2=(2.1328125,224765803364352,272524883394560),.field_3=(1.5625,`E_2_5)],[.field_1=(824595126,1.046875,-1.375,(1.171875,`E_2_6)),.field_2=178])],0.734375,130355430162432,141)]
}

const fn_10_myr = { a1 : flt32, a2 : (t30,uint64,t54,flt32), a3 : t43
    if !(a1==-1.4375)
        goto bad
    ;;

    if !(((a2.0.field_1==3.2734375) && ((a2.0.field_2.field_1==`E_18_8) && (a2.0.field_2.field_2==298655464) && (a2.0.field_2.field_3==-1.21875) && (a2.0.field_2.field_4==`E_19_6) && ((a2.0.field_2.field_5.0==-2.87109375) && (a2.0.field_2.field_5.1==3.77734375) && ((a2.0.field_2.field_5.2.field_1==0.15625) && (((a2.0.field_2.field_5.2.field_2.field_1.0==1.03125) && (a2.0.field_2.field_5.2.field_2.field_1.1==`E_2_5)) && (a2.0.field_2.field_5.2.field_2.field_2==4317979738112) && ((a2.0.field_2.field_5.2.field_2.field_3.0==-0.375) && (a2.0.field_2.field_5.2.field_2.field_3.1==`E_2_1)) && (a2.0.field_2.field_5.2.field_2.field_4==-0.625) && (a2.0.field_2.field_5.2.field_2.field_5==119942540689408) && ((a2.0.field_2.field_5.2.field_2.field_6.0==1.90234375) && (a2.0.field_2.field_5.2.field_2.field_6.1==84070773030912) && (a2.0.field_2.field_5.2.field_2.field_6.2==265295537897472))) && ((a2.0.field_2.field_5.2.field_3.0==-1.5078125) && (a2.0.field_2.field_5.2.field_3.1==-0.046875) && (a2.0.field_2.field_5.2.field_3.2==247680725286912)) && (a2.0.field_2.field_5.2.field_4==2.1484375) && (a2.0.field_2.field_5.2.field_5==`E_11_1) && (a2.0.field_2.field_5.2.field_6==-0.6015625))) && (((a2.0.field_2.field_6.0.0==-1.84765625) && (a2.0.field_2.field_6.0.1==4068918427648) && (a2.0.field_2.field_6.0.2==127361585905664)) && (a2.0.field_2.field_6.1==0.6875) && ((a2.0.field_2.field_6.2.field_1==4144444706) && (((a2.0.field_2.field_6.2.field_2.0.0==65) && ((a2.0.field_2.field_6.2.field_2.0.1.field_1==272708430856192) && (a2.0.field_2.field_6.2.field_2.0.1.field_2==226) && (a2.0.field_2.field_6.2.field_2.0.1.field_3==232384220) && (a2.0.field_2.field_6.2.field_2.0.1.field_4==9) && (a2.0.field_2.field_6.2.field_2.0.1.field_5==3.86328125) && (a2.0.field_2.field_6.2.field_2.0.1.field_6==1.4609375)) && (a2.0.field_2.field_6.2.field_2.0.2==735172550) && (a2.0.field_2.field_6.2.field_2.0.3==`E_2_6)) && ((a2.0.field_2.field_6.2.field_2.1.0==61) && ((a2.0.field_2.field_6.2.field_2.1.1.field_1==558452178944) && (a2.0.field_2.field_6.2.field_2.1.1.field_2==178) && (a2.0.field_2.field_6.2.field_2.1.1.field_3==1092184810) && (a2.0.field_2.field_6.2.field_2.1.1.field_4==98) && (a2.0.field_2.field_6.2.field_2.1.1.field_5==1.76953125) && (a2.0.field_2.field_6.2.field_2.1.1.field_6==0.4453125)) && (a2.0.field_2.field_6.2.field_2.1.2==3483926918) && (a2.0.field_2.field_6.2.field_2.1.3==`E_2_3))) && (a2.0.field_2.field_6.2.field_3==240867814670336) && (a2.0.field_2.field_6.2.field_4==0.796875) && (a2.0.field_2.field_6.2.field_5==198)) && ((a2.0.field_2.field_6.3.0==86) && (a2.0.field_2.field_6.3.1==0.421875)))) && (a2.0.field_3==155213721894912) && (a2.0.field_4==-0.5859375)) && (a2.1==15967994380288) && ((a2.2.field_1==0.984375) && (a2.2.field_2==`E_2_3) && (a2.2.field_3==`E_43_4)) && (a2.3==0.09375))
        goto bad
    ;;

    if !(a3==`E_43_4)
        goto bad
    ;;

    -> 1.0

:bad
    -> 0.125
}

const fn_11_myr = { a1 : ((t30,flt64,uint64),uint8,t1), a2 : uint64, a3 : (t56,uint32,t57,(t19,t30,flt32,flt64))
    if !((((a1.0.0.field_1==-1.875) && ((a1.0.0.field_2.field_1==`E_18_7) && (a1.0.0.field_2.field_2==3060119432) && (a1.0.0.field_2.field_3==1.4375) && (a1.0.0.field_2.field_4==`E_19_8) && ((a1.0.0.field_2.field_5.0==-3.14453125) && (a1.0.0.field_2.field_5.1==1.421875) && ((a1.0.0.field_2.field_5.2.field_1==0.171875) && (((a1.0.0.field_2.field_5.2.field_2.field_1.0==1.28125) && (a1.0.0.field_2.field_5.2.field_2.field_1.1==`E_2_1)) && (a1.0.0.field_2.field_5.2.field_2.field_2==115694040645632) && ((a1.0.0.field_2.field_5.2.field_2.field_3.0==0.515625) && (a1.0.0.field_2.field_5.2.field_2.field_3.1==`E_2_6)) && (a1.0.0.field_2.field_5.2.field_2.field_4==0.78125) && (a1.0.0.field_2.field_5.2.field_2.field_5==83317925609472) && ((a1.0.0.field_2.field_5.2.field_2.field_6.0==-0.16015625) && (a1.0.0.field_2.field_5.2.field_2.field_6.1==49194524213248) && (a1.0.0.field_2.field_5.2.field_2.field_6.2==99285919989760))) && ((a1.0.0.field_2.field_5.2.field_3.0==-1.60546875) && (a1.0.0.field_2.field_5.2.field_3.1==0.359375) && (a1.0.0.field_2.field_5.2.field_3.2==242615500275712)) && (a1.0.0.field_2.field_5.2.field_4==2.5546875) && (a1.0.0.field_2.field_5.2.field_5==`E_11_1) && (a1.0.0.field_2.field_5.2.field_6==0.984375))) && (((a1.0.0.field_2.field_6.0.0==-1.34375) && (a1.0.0.field_2.field_6.0.1==86155678318592) && (a1.0.0.field_2.field_6.0.2==125076719534080)) && (a1.0.0.field_2.field_6.1==1.15625) && ((a1.0.0.field_2.field_6.2.field_1==2526692668) && (((a1.0.0.field_2.field_6.2.field_2.0.0==243) && ((a1.0.0.field_2.field_6.2.field_2.0.1.field_1==162605589856256) && (a1.0.0.field_2.field_6.2.field_2.0.1.field_2==217) && (a1.0.0.field_2.field_6.2.field_2.0.1.field_3==2977687486) && (a1.0.0.field_2.field_6.2.field_2.0.1.field_4==74) && (a1.0.0.field_2.field_6.2.field_2.0.1.field_5==2.37109375) && (a1.0.0.field_2.field_6.2.field_2.0.1.field_6==1.49609375)) && (a1.0.0.field_2.field_6.2.field_2.0.2==1665217660) && (a1.0.0.field_2.field_6.2.field_2.0.3==`E_2_3)) && ((a1.0.0.field_2.field_6.2.field_2.1.0==63) && ((a1.0.0.field_2.field_6.2.field_2.1.1.field_1==83432466808832) && (a1.0.0.field_2.field_6.2.field_2.1.1.field_2==163) && (a1.0.0.field_2.field_6.2.field_2.1.1.field_3==2825472336) && (a1.0.0.field_2.field_6.2.field_2.1.1.field_4==245) && (a1.0.0.field_2.field_6.2.field_2.1.1.field_5==0.5078125) && (a1.0.0.field_2.field_6.2.field_2.1.1.field_6==-0.71875)) && (a1.0.0.field_2.field_6.2.field_2.1.2==1094350794) && (a1.0.0.field_2.field_6.2.field_2.1.3==`E_2_1))) && (a1.0.0.field_2.field_6.2.field_3==163990210084864) && (a1.0.0.field_2.field_6.2.field_4==0.34375) && (a1.0.0.field_2.field_6.2.field_5==86)) && ((a1.0.0.field_2.field_6.3.0==50) && (a1.0.0.field_2.field_6.3.1==-0.09375)))) && (a1.0.0.field_3==46874424901632) && (a1.0.0.field_4==-2.23046875)) && (a1.0.1==-3.16015625) && (a1.0.2==139156190003200)) && (a1.1==133) && ((a1.2.field_1==151978903994368) && (a1.2.field_2==92) && (a1.2.field_3==469183736) && (a1.2.field_4==125) && (a1.2.field_5==3.43359375) && (a1.2.field_6==3.57421875)))
        goto bad
    ;;

    if !(a2==64581458329600)
        goto bad
    ;;

    if !((a3.0==`E_56_6) && (a3.1==2175957910) && ((a3.2.field_1==`E_26_6) && (a3.2.field_2==168) && ((a3.2.field_3.0==80343449468928) && (a3.2.field_3.1==`E_41_3) && (a3.2.field_3.2==458518304) && ((a3.2.field_3.3.field_1==132879007088640) && ((a3.2.field_3.3.field_2.0==141) && (a3.2.field_3.3.field_2.1==0.3125)) && (a3.2.field_3.3.field_3==67929798082560) && ((a3.2.field_3.3.field_4.0==-0.65625) && (a3.2.field_3.3.field_4.1==121657342951424) && (((a3.2.field_3.3.field_4.2.field_1.field_1==53) && (a3.2.field_3.3.field_4.2.field_1.field_2==-0.0546875) && (a3.2.field_3.3.field_4.2.field_1.field_3==110) && (a3.2.field_3.3.field_4.2.field_1.field_4==109205112356864) && (a3.2.field_3.3.field_4.2.field_1.field_5==`E_2_5) && (a3.2.field_3.3.field_4.2.field_1.field_6==3971726706)) && ((a3.2.field_3.3.field_4.2.field_2.0==-3.20703125) && (a3.2.field_3.3.field_4.2.field_2.1==177956855611392) && (a3.2.field_3.3.field_4.2.field_2.2==219483313799168)) && ((a3.2.field_3.3.field_4.2.field_3.0==1.265625) && (a3.2.field_3.3.field_4.2.field_3.1==`E_2_6))) && (((a3.2.field_3.3.field_4.3.field_1.0==2465490790) && (a3.2.field_3.3.field_4.3.field_1.1==0.53125) && (a3.2.field_3.3.field_4.3.field_1.2==-0.078125) && ((a3.2.field_3.3.field_4.3.field_1.3.0==0.3125) && (a3.2.field_3.3.field_4.3.field_1.3.1==`E_2_2))) && (a3.2.field_3.3.field_4.3.field_2==219))))) && ((a3.2.field_4.field_1==-0.828125) && (((a3.2.field_4.field_2.field_1.0==1.484375) && (a3.2.field_4.field_2.field_1.1==`E_2_3)) && (a3.2.field_4.field_2.field_2==223230053711872) && ((a3.2.field_4.field_2.field_3.0==0.421875) && (a3.2.field_4.field_2.field_3.1==`E_2_4)) && (a3.2.field_4.field_2.field_4==-0.875) && (a3.2.field_4.field_2.field_5==208129902903296) && ((a3.2.field_4.field_2.field_6.0==-2.94921875) && (a3.2.field_4.field_2.field_6.1==217811484278784) && (a3.2.field_4.field_2.field_6.2==95447919886336))) && ((a3.2.field_4.field_3.0==-1.0625) && (a3.2.field_4.field_3.1==-1.375) && (a3.2.field_4.field_3.2==217105262837760)) && (a3.2.field_4.field_4==0.5546875) && (a3.2.field_4.field_5==`E_11_4) && (a3.2.field_4.field_6==-2.32421875)) && (a3.2.field_5==4119368836) && (a3.2.field_6==-0.484375)) && ((a3.3.0==`E_19_2) && ((a3.3.1.field_1==-3.52734375) && ((a3.3.1.field_2.field_1==`E_18_9) && (a3.3.1.field_2.field_2==3895962858) && (a3.3.1.field_2.field_3==1.40625) && (a3.3.1.field_2.field_4==`E_19_8) && ((a3.3.1.field_2.field_5.0==-0.1484375) && (a3.3.1.field_2.field_5.1==0.92578125) && ((a3.3.1.field_2.field_5.2.field_1==-0.265625) && (((a3.3.1.field_2.field_5.2.field_2.field_1.0==-1.328125) && (a3.3.1.field_2.field_5.2.field_2.field_1.1==`E_2_5)) && (a3.3.1.field_2.field_5.2.field_2.field_2==76685686865920) && ((a3.3.1.field_2.field_5.2.field_2.field_3.0==-0.578125) && (a3.3.1.field_2.field_5.2.field_2.field_3.1==`E_2_5)) && (a3.3.1.field_2.field_5.2.field_2.field_4==0.4375) && (a3.3.1.field_2.field_5.2.field_2.field_5==31133991829504) && ((a3.3.1.field_2.field_5.2.field_2.field_6.0==-0.59765625) && (a3.3.1.field_2.field_5.2.field_2.field_6.1==81066773446656) && (a3.3.1.field_2.field_5.2.field_2.field_6.2==93021535076352))) && ((a3.3.1.field_2.field_5.2.field_3.0==-2.6328125) && (a3.3.1.field_2.field_5.2.field_3.1==-0.28125) && (a3.3.1.field_2.field_5.2.field_3.2==29358042644480)) && (a3.3.1.field_2.field_5.2.field_4==0.015625) && (a3.3.1.field_2.field_5.2.field_5==`E_11_5) && (a3.3.1.field_2.field_5.2.field_6==-2.60546875))) && (((a3.3.1.field_2.field_6.0.0==-1.7734375) && (a3.3.1.field_2.field_6.0.1==97291012014080) && (a3.3.1.field_2.field_6.0.2==203235864870912)) && (a3.3.1.field_2.field_6.1==-0.078125) && ((a3.3.1.field_2.field_6.2.field_1==1308944570) && (((a3.3.1.field_2.field_6.2.field_2.0.0==17) && ((a3.3.1.field_2.field_6.2.field_2.0.1.field_1==169812367376384) && (a3.3.1.field_2.field_6.2.field_2.0.1.field_2==90) && (a3.3.1.field_2.field_6.2.field_2.0.1.field_3==214389768) && (a3.3.1.field_2.field_6.2.field_2.0.1.field_4==130) && (a3.3.1.field_2.field_6.2.field_2.0.1.field_5==-1.5390625) && (a3.3.1.field_2.field_6.2.field_2.0.1.field_6==3.83984375)) && (a3.3.1.field_2.field_6.2.field_2.0.2==4258613008) && (a3.3.1.field_2.field_6.2.field_2.0.3==`E_2_6)) && ((a3.3.1.field_2.field_6.2.field_2.1.0==103) && ((a3.3.1.field_2.field_6.2.field_2.1.1.field_1==19826711592960) && (a3.3.1.field_2.field_6.2.field_2.1.1.field_2==188) && (a3.3.1.field_2.field_6.2.field_2.1.1.field_3==2910355046) && (a3.3.1.field_2.field_6.2.field_2.1.1.field_4==99) && (a3.3.1.field_2.field_6.2.field_2.1.1.field_5==0.2265625) && (a3.3.1.field_2.field_6.2.field_2.1.1.field_6==-1.4453125)) && (a3.3.1.field_2.field_6.2.field_2.1.2==2141412632) && (a3.3.1.field_2.field_6.2.field_2.1.3==`E_2_6))) && (a3.3.1.field_2.field_6.2.field_3==169766818938880) && (a3.3.1.field_2.field_6.2.field_4==1.03125) && (a3.3.1.field_2.field_6.2.field_5==29)) && ((a3.3.1.field_2.field_6.3.0==3) && (a3.3.1.field_2.field_6.3.1==1.359375)))) && (a3.3.1.field_3==173832218083328) && (a3.3.1.field_4==2.25390625)) && (a3.3.2==-1.25) && (a3.3.3==3.0546875)))
        goto bad
    ;;

    -> 3531194568

:bad
    -> 1575783646
}

const fn_12_myr = { a1 : t63, a2 : flt64, a3 : uint32, a4 : t68
    if !(((a1.field_1.0==1) && (a1.field_1.1==-0.953125) && (a1.field_1.2==28380691169280) && ((a1.field_1.3.field_1==266791176896512) && (a1.field_1.3.field_2==173) && (a1.field_1.3.field_3==841702660) && (a1.field_1.3.field_4==225) && (a1.field_1.3.field_5==-2.734375) && (a1.field_1.3.field_6==-2.24609375))) && ((a1.field_2.field_1==-0.875) && ((a1.field_2.field_2.0==2975373622) && (a1.field_2.field_2.1==1.46875) && (a1.field_2.field_2.2==-0.828125) && ((a1.field_2.field_2.3.0==0.390625) && (a1.field_2.field_2.3.1==`E_2_2)))) && (a1.field_3==0.515625) && ((a1.field_4.field_1==`E_18_1) && (((a1.field_4.field_2.field_1.field_1==124) && (a1.field_4.field_2.field_1.field_2==0.00390625) && (a1.field_4.field_2.field_1.field_3==79) && (a1.field_4.field_2.field_1.field_4==236261015289856) && (a1.field_4.field_2.field_1.field_5==`E_2_3) && (a1.field_4.field_2.field_1.field_6==2156655358)) && ((a1.field_4.field_2.field_2.0==2.4140625) && (a1.field_4.field_2.field_2.1==51905146388480) && (a1.field_4.field_2.field_2.2==223439089434624)) && ((a1.field_4.field_2.field_3.0==0.53125) && (a1.field_4.field_2.field_3.1==`E_2_1)))) && (a1.field_5==255485003694080) && (a1.field_6==3.1015625))
        goto bad
    ;;

    if !(a2==3.234375)
        goto bad
    ;;

    if !(a3==1992315490)
        goto bad
    ;;

    if !((a4.field_1==`E_64_6) && ((a4.field_2.field_1==-1.48828125) && (a4.field_2.field_2==1219436194) && (a4.field_2.field_3==50) && (a4.field_2.field_4==41975805771776) && (a4.field_2.field_5==2064448724) && (a4.field_2.field_6==122353563467776)) && (((a4.field_3.0.0==`E_56_2) && (a4.field_3.0.1==1046332580) && ((a4.field_3.0.2.field_1==`E_26_8) && (a4.field_3.0.2.field_2==209) && ((a4.field_3.0.2.field_3.0==142694099582976) && (a4.field_3.0.2.field_3.1==`E_41_2) && (a4.field_3.0.2.field_3.2==1010741440) && ((a4.field_3.0.2.field_3.3.field_1==61520011984896) && ((a4.field_3.0.2.field_3.3.field_2.0==110) && (a4.field_3.0.2.field_3.3.field_2.1==-0.125)) && (a4.field_3.0.2.field_3.3.field_3==32251070906368) && ((a4.field_3.0.2.field_3.3.field_4.0==-0.546875) && (a4.field_3.0.2.field_3.3.field_4.1==100567390355456) && (((a4.field_3.0.2.field_3.3.field_4.2.field_1.field_1==16) && (a4.field_3.0.2.field_3.3.field_4.2.field_1.field_2==-2.8671875) && (a4.field_3.0.2.field_3.3.field_4.2.field_1.field_3==38) && (a4.field_3.0.2.field_3.3.field_4.2.field_1.field_4==106528154320896) && (a4.field_3.0.2.field_3.3.field_4.2.field_1.field_5==`E_2_6) && (a4.field_3.0.2.field_3.3.field_4.2.field_1.field_6==154283124)) && ((a4.field_3.0.2.field_3.3.field_4.2.field_2.0==-2.69140625) && (a4.field_3.0.2.field_3.3.field_4.2.field_2.1==121530523058176) && (a4.field_3.0.2.field_3.3.field_4.2.field_2.2==195491981033472)) && ((a4.field_3.0.2.field_3.3.field_4.2.field_3.0==0.296875) && (a4.field_3.0.2.field_3.3.field_4.2.field_3.1==`E_2_5))) && (((a4.field_3.0.2.field_3.3.field_4.3.field_1.0==1183512522) && (a4.field_3.0.2.field_3.3.field_4.3.field_1.1==1.265625) && (a4.field_3.0.2.field_3.3.field_4.3.field_1.2==-1.453125) && ((a4.field_3.0.2.field_3.3.field_4.3.field_1.3.0==-0.09375) && (a4.field_3.0.2.field_3.3.field_4.3.field_1.3.1==`E_2_1))) && (a4.field_3.0.2.field_3.3.field_4.3.field_2==132))))) && ((a4.field_3.0.2.field_4.field_1==1.28125) && (((a4.field_3.0.2.field_4.field_2.field_1.0==-0.65625) && (a4.field_3.0.2.field_4.field_2.field_1.1==`E_2_5)) && (a4.field_3.0.2.field_4.field_2.field_2==177899132157952) && ((a4.field_3.0.2.field_4.field_2.field_3.0==-1.234375) && (a4.field_3.0.2.field_4.field_2.field_3.1==`E_2_2)) && (a4.field_3.0.2.field_4.field_2.field_4==1.4375) && (a4.field_3.0.2.field_4.field_2.field_5==97002546921472) && ((a4.field_3.0.2.field_4.field_2.field_6.0==-0.09375) && (a4.field_3.0.2.field_4.field_2.field_6.1==109686219472896) && (a4.field_3.0.2.field_4.field_2.field_6.2==226948153081856))) && ((a4.field_3.0.2.field_4.field_3.0==0.80078125) && (a4.field_3.0.2.field_4.field_3.1==0.6875) && (a4.field_3.0.2.field_4.field_3.2==46040566726656)) && (a4.field_3.0.2.field_4.field_4==1.30859375) && (a4.field_3.0.2.field_4.field_5==`E_11_6) && (a4.field_3.0.2.field_4.field_6==-1.4609375)) && (a4.field_3.0.2.field_5==197005372) && (a4.field_3.0.2.field_6==0.640625)) && ((a4.field_3.0.3.0==`E_19_3) && ((a4.field_3.0.3.1.field_1==-2.33203125) && ((a4.field_3.0.3.1.field_2.field_1==`E_18_2) && (a4.field_3.0.3.1.field_2.field_2==187071608) && (a4.field_3.0.3.1.field_2.field_3==0.921875) && (a4.field_3.0.3.1.field_2.field_4==`E_19_8) && ((a4.field_3.0.3.1.field_2.field_5.0==-1.4140625) && (a4.field_3.0.3.1.field_2.field_5.1==1.54296875) && ((a4.field_3.0.3.1.field_2.field_5.2.field_1==1.34375) && (((a4.field_3.0.3.1.field_2.field_5.2.field_2.field_1.0==0.90625) && (a4.field_3.0.3.1.field_2.field_5.2.field_2.field_1.1==`E_2_5)) && (a4.field_3.0.3.1.field_2.field_5.2.field_2.field_2==125311720620032) && ((a4.field_3.0.3.1.field_2.field_5.2.field_2.field_3.0==0.625) && (a4.field_3.0.3.1.field_2.field_5.2.field_2.field_3.1==`E_2_1)) && (a4.field_3.0.3.1.field_2.field_5.2.field_2.field_4==-0.921875) && (a4.field_3.0.3.1.field_2.field_5.2.field_2.field_5==92709840093184) && ((a4.field_3.0.3.1.field_2.field_5.2.field_2.field_6.0==-2.73828125) && (a4.field_3.0.3.1.field_2.field_5.2.field_2.field_6.1==134199459708928) && (a4.field_3.0.3.1.field_2.field_5.2.field_2.field_6.2==81184594198528))) && ((a4.field_3.0.3.1.field_2.field_5.2.field_3.0==-0.046875) && (a4.field_3.0.3.1.field_2.field_5.2.field_3.1==1.453125) && (a4.field_3.0.3.1.field_2.field_5.2.field_3.2==190870813671424)) && (a4.field_3.0.3.1.field_2.field_5.2.field_4==-1.55859375) && (a4.field_3.0.3.1.field_2.field_5.2.field_5==`E_11_4) && (a4.field_3.0.3.1.field_2.field_5.2.field_6==-0.8125))) && (((a4.field_3.0.3.1.field_2.field_6.0.0==-0.28125) && (a4.field_3.0.3.1.field_2.field_6.0.1==65980206415872) && (a4.field_3.0.3.1.field_2.field_6.0.2==69437640933376)) && (a4.field_3.0.3.1.field_2.field_6.1==0.875) && ((a4.field_3.0.3.1.field_2.field_6.2.field_1==1203783426) && (((a4.field_3.0.3.1.field_2.field_6.2.field_2.0.0==243) && ((a4.field_3.0.3.1.field_2.field_6.2.field_2.0.1.field_1==35503180218368) && (a4.field_3.0.3.1.field_2.field_6.2.field_2.0.1.field_2==123) && (a4.field_3.0.3.1.field_2.field_6.2.field_2.0.1.field_3==359364016) && (a4.field_3.0.3.1.field_2.field_6.2.field_2.0.1.field_4==43) && (a4.field_3.0.3.1.field_2.field_6.2.field_2.0.1.field_5==-1.74609375) && (a4.field_3.0.3.1.field_2.field_6.2.field_2.0.1.field_6==3.69140625)) && (a4.field_3.0.3.1.field_2.field_6.2.field_2.0.2==2099391278) && (a4.field_3.0.3.1.field_2.field_6.2.field_2.0.3==`E_2_6)) && ((a4.field_3.0.3.1.field_2.field_6.2.field_2.1.0==230) && ((a4.field_3.0.3.1.field_2.field_6.2.field_2.1.1.field_1==78725579800576) && (a4.field_3.0.3.1.field_2.field_6.2.field_2.1.1.field_2==184) && (a4.field_3.0.3.1.field_2.field_6.2.field_2.1.1.field_3==1476808480) && (a4.field_3.0.3.1.field_2.field_6.2.field_2.1.1.field_4==250) && (a4.field_3.0.3.1.field_2.field_6.2.field_2.1.1.field_5==2.0546875) && (a4.field_3.0.3.1.field_2.field_6.2.field_2.1.1.field_6==0.40234375)) && (a4.field_3.0.3.1.field_2.field_6.2.field_2.1.2==1316011470) && (a4.field_3.0.3.1.field_2.field_6.2.field_2.1.3==`E_2_6))) && (a4.field_3.0.3.1.field_2.field_6.2.field_3==7917143982080) && (a4.field_3.0.3.1.field_2.field_6.2.field_4==0.296875) && (a4.field_3.0.3.1.field_2.field_6.2.field_5==104)) && ((a4.field_3.0.3.1.field_2.field_6.3.0==254) && (a4.field_3.0.3.1.field_2.field_6.3.1==-0.71875)))) && (a4.field_3.0.3.1.field_3==198977607696384) && (a4.field_3.0.3.1.field_4==0.46875)) && (a4.field_3.0.3.2==0.53125) && (a4.field_3.0.3.3==-2.57421875))) && ((a4.field_3.1.field_1==0.921875) && ((a4.field_3.1.field_2.field_1==3.24609375) && (((a4.field_3.1.field_2.field_2.0.field_1==3.5) && ((a4.field_3.1.field_2.field_2.0.field_2.field_1==`E_18_1) && (a4.field_3.1.field_2.field_2.0.field_2.field_2==3714170846) && (a4.field_3.1.field_2.field_2.0.field_2.field_3==-1.34375) && (a4.field_3.1.field_2.field_2.0.field_2.field_4==`E_19_5) && ((a4.field_3.1.field_2.field_2.0.field_2.field_5.0==3.50390625) && (a4.field_3.1.field_2.field_2.0.field_2.field_5.1==-2.00390625) && ((a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_1==1.046875) && (((a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_2.field_1.0==1.328125) && (a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_2.field_1.1==`E_2_5)) && (a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_2.field_2==227074820669440) && ((a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_2.field_3.0==1.0) && (a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_2.field_3.1==`E_2_1)) && (a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_2.field_4==0.09375) && (a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_2.field_5==45904748347392) && ((a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_2.field_6.0==3.82421875) && (a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_2.field_6.1==82226218532864) && (a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_2.field_6.2==201097409331200))) && ((a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_3.0==-1.59765625) && (a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_3.1==-0.921875) && (a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_3.2==209014553313280)) && (a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_4==3.0546875) && (a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_5==`E_11_4) && (a4.field_3.1.field_2.field_2.0.field_2.field_5.2.field_6==1.83984375))) && (((a4.field_3.1.field_2.field_2.0.field_2.field_6.0.0==-2.62890625) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.0.1==89468697313280) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.0.2==83042110013440)) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.1==1.046875) && ((a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_1==2099223986) && (((a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.0.0==22) && ((a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_1==210486406021120) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_2==111) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_3==702570652) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_4==156) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_5==0.0859375) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_6==1.71875)) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.0.2==2409538788) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.0.3==`E_2_5)) && ((a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.1.0==141) && ((a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_1==135559761887232) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_2==124) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_3==1544636438) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_4==77) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_5==-0.00390625) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_6==3.0390625)) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.1.2==1992571074) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_2.1.3==`E_2_3))) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_3==50968790564864) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_4==-1.015625) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.2.field_5==200)) && ((a4.field_3.1.field_2.field_2.0.field_2.field_6.3.0==98) && (a4.field_3.1.field_2.field_2.0.field_2.field_6.3.1==1.328125)))) && (a4.field_3.1.field_2.field_2.0.field_3==190118914424832) && (a4.field_3.1.field_2.field_2.0.field_4==3.87890625)) && (a4.field_3.1.field_2.field_2.1==1.22265625) && (a4.field_3.1.field_2.field_2.2==236152535121920)) && (a4.field_3.1.field_2.field_3==1350095886) && (a4.field_3.1.field_2.field_4==1.421875)) && ((a4.field_3.1.field_3.field_1==1.33984375)) && (a4.field_3.1.field_4==2.37109375) && ((a4.field_3.1.field_5.field_1==-1.4375)) && (((a4.field_3.1.field_6.0.field_1==117967668903936) && ((a4.field_3.1.field_6.0.field_2.0==61) && (a4.field_3.1.field_6.0.field_2.1==-0.921875)) && (a4.field_3.1.field_6.0.field_3==8916022067200) && ((a4.field_3.1.field_6.0.field_4.0==0.78125) && (a4.field_3.1.field_6.0.field_4.1==260068453384192) && (((a4.field_3.1.field_6.0.field_4.2.field_1.field_1==151) && (a4.field_3.1.field_6.0.field_4.2.field_1.field_2==0.04296875) && (a4.field_3.1.field_6.0.field_4.2.field_1.field_3==122) && (a4.field_3.1.field_6.0.field_4.2.field_1.field_4==20912341385216) && (a4.field_3.1.field_6.0.field_4.2.field_1.field_5==`E_2_6) && (a4.field_3.1.field_6.0.field_4.2.field_1.field_6==3592715758)) && ((a4.field_3.1.field_6.0.field_4.2.field_2.0==-0.9765625) && (a4.field_3.1.field_6.0.field_4.2.field_2.1==138666200793088) && (a4.field_3.1.field_6.0.field_4.2.field_2.2==204194791948288)) && ((a4.field_3.1.field_6.0.field_4.2.field_3.0==1.0625) && (a4.field_3.1.field_6.0.field_4.2.field_3.1==`E_2_6))) && (((a4.field_3.1.field_6.0.field_4.3.field_1.0==3893487284) && (a4.field_3.1.field_6.0.field_4.3.field_1.1==-1.515625) && (a4.field_3.1.field_6.0.field_4.3.field_1.2==0.84375) && ((a4.field_3.1.field_6.0.field_4.3.field_1.3.0==-0.65625) && (a4.field_3.1.field_6.0.field_4.3.field_1.3.1==`E_2_6))) && (a4.field_3.1.field_6.0.field_4.3.field_2==113)))) && (a4.field_3.1.field_6.1==-0.671875) && (a4.field_3.1.field_6.2==167371868864512) && (a4.field_3.1.field_6.3==71)))) && ((((a4.field_4.0.0.field_1==169699773906944) && ((a4.field_4.0.0.field_2.0==139) && (a4.field_4.0.0.field_2.1==1.421875)) && (a4.field_4.0.0.field_3==114279424327680) && ((a4.field_4.0.0.field_4.0==0.265625) && (a4.field_4.0.0.field_4.1==104534041427968) && (((a4.field_4.0.0.field_4.2.field_1.field_1==165) && (a4.field_4.0.0.field_4.2.field_1.field_2==2.26953125) && (a4.field_4.0.0.field_4.2.field_1.field_3==103) && (a4.field_4.0.0.field_4.2.field_1.field_4==111656380792832) && (a4.field_4.0.0.field_4.2.field_1.field_5==`E_2_5) && (a4.field_4.0.0.field_4.2.field_1.field_6==4276697078)) && ((a4.field_4.0.0.field_4.2.field_2.0==3.14453125) && (a4.field_4.0.0.field_4.2.field_2.1==53795771645952) && (a4.field_4.0.0.field_4.2.field_2.2==19714984378368)) && ((a4.field_4.0.0.field_4.2.field_3.0==1.234375) && (a4.field_4.0.0.field_4.2.field_3.1==`E_2_1))) && (((a4.field_4.0.0.field_4.3.field_1.0==1912043998) && (a4.field_4.0.0.field_4.3.field_1.1==-0.359375) && (a4.field_4.0.0.field_4.3.field_1.2==0.796875) && ((a4.field_4.0.0.field_4.3.field_1.3.0==-0.671875) && (a4.field_4.0.0.field_4.3.field_1.3.1==`E_2_3))) && (a4.field_4.0.0.field_4.3.field_2==168)))) && (a4.field_4.0.1==-0.625) && (a4.field_4.0.2==38298238189568) && (a4.field_4.0.3==243)) && (a4.field_4.1==-2.03125)) && ((a4.field_5.0==0.25) && (a4.field_5.1==67610029064192) && (((a4.field_5.2.field_1.field_1==213) && (a4.field_5.2.field_1.field_2==2.8046875) && (a4.field_5.2.field_1.field_3==215) && (a4.field_5.2.field_1.field_4==107128833966080) && (a4.field_5.2.field_1.field_5==`E_2_5) && (a4.field_5.2.field_1.field_6==1069858560)) && ((a4.field_5.2.field_2.0==3.6484375) && (a4.field_5.2.field_2.1==51416336302080) && (a4.field_5.2.field_2.2==251914374217728)) && ((a4.field_5.2.field_3.0==0.8125) && (a4.field_5.2.field_3.1==`E_2_4))) && (((a4.field_5.3.field_1.0==1252682164) && (a4.field_5.3.field_1.1==-0.09375) && (a4.field_5.3.field_1.2==0.25) && ((a4.field_5.3.field_1.3.0==-0.96875) && (a4.field_5.3.field_1.3.1==`E_2_4))) && (a4.field_5.3.field_2==166))))
        goto bad
    ;;

    -> 2964505044

:bad
    -> 415294892
}

const fn_13_myr = { a1 : t26, a2 : uint32, a3 : t70, a4 : flt64, a5 : (flt32,t71,(uint8,uint32,uint8),flt64)
    if !(a1==`E_26_9)
        goto bad
    ;;

    if !(a2==2931952582)
        goto bad
    ;;

    if !(((a3.field_1.field_1==`E_29_2) && (a3.field_1.field_2==220) && (a3.field_1.field_3==281245651828737) && (a3.field_1.field_4==161440489930752)))
        goto bad
    ;;

    if !(a4==0.62890625)
        goto bad
    ;;

    if !((a5.0==0.90625) && ((a5.1.field_1==109360486285312) && (a5.1.field_2==-2.51953125) && (a5.1.field_3==3374314812) && (a5.1.field_4==4132094974) && (a5.1.field_5==143973346836480)) && ((a5.2.0==93) && (a5.2.1==3133286358) && (a5.2.2==129)) && (a5.3==0.76953125))
        goto bad
    ;;

    -> `E_74_6

:bad
    -> `E_74_2
}

const fn_14_myr = { a1 : uint32, a2 : uint8, a3 : (t75,t76,t77), a4 : (t79,uint64,t80), a5 : t32, a6 : t82, a7 : t85
    if !(a1==2391308062)
        goto bad
    ;;

    if !(a2==66)
        goto bad
    ;;

    if !(((a3.0.field_1==85) && (a3.0.field_2==-2.80859375) && (a3.0.field_3==155146548)) && ((a3.1.field_1==235) && (a3.1.field_2==-1.2890625)) && (a3.2==`E_77_8))
        goto bad
    ;;

    if !((a4.0==`E_79_1) && (a4.1==274420389904384) && (a4.2==`E_80_2))
        goto bad
    ;;

    if !((a5.field_1==1325686188))
        goto bad
    ;;

    if !(a6==`E_82_5)
        goto bad
    ;;

    if !((a7.field_1==558424532) && (((a7.field_2.0.0==206) && ((a7.field_2.0.1.field_1==150202022100992) && (a7.field_2.0.1.field_2==157) && (a7.field_2.0.1.field_3==860064444) && (a7.field_2.0.1.field_4==215) && (a7.field_2.0.1.field_5==-1.9765625) && (a7.field_2.0.1.field_6==-2.18359375)) && (a7.field_2.0.2==2792603168) && (a7.field_2.0.3==`E_2_1)) && ((a7.field_2.1.0==47) && ((a7.field_2.1.1.field_1==209371989409792) && (a7.field_2.1.1.field_2==167) && (a7.field_2.1.1.field_3==1162519188) && (a7.field_2.1.1.field_4==232) && (a7.field_2.1.1.field_5==2.2109375) && (a7.field_2.1.1.field_6==3.82421875)) && (a7.field_2.1.2==2196829234) && (a7.field_2.1.3==`E_2_2))) && (a7.field_3==239020664553472) && (a7.field_4==645390774) && (((a7.field_5.0.field_1==0.375) && ((a7.field_5.0.field_2.field_1==-3.5625) && (((a7.field_5.0.field_2.field_2.0.field_1==1.97265625) && ((a7.field_5.0.field_2.field_2.0.field_2.field_1==`E_18_8) && (a7.field_5.0.field_2.field_2.0.field_2.field_2==3857006490) && (a7.field_5.0.field_2.field_2.0.field_2.field_3==1.4375) && (a7.field_5.0.field_2.field_2.0.field_2.field_4==`E_19_8) && ((a7.field_5.0.field_2.field_2.0.field_2.field_5.0==3.66015625) && (a7.field_5.0.field_2.field_2.0.field_2.field_5.1==2.25390625) && ((a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_1==-0.5) && (((a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_2.field_1.0==-1.265625) && (a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_2.field_1.1==`E_2_4)) && (a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_2.field_2==246081152876544) && ((a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_2.field_3.0==0.671875) && (a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_2.field_3.1==`E_2_5)) && (a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_2.field_4==0.6875) && (a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_2.field_5==270577423351808) && ((a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_2.field_6.0==-3.7734375) && (a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_2.field_6.1==103229432922112) && (a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_2.field_6.2==25981307060224))) && ((a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_3.0==-2.328125) && (a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_3.1==-1.21875) && (a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_3.2==210485456797696)) && (a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_4==-0.21484375) && (a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_5==`E_11_1) && (a7.field_5.0.field_2.field_2.0.field_2.field_5.2.field_6==0.23828125))) && (((a7.field_5.0.field_2.field_2.0.field_2.field_6.0.0==-0.296875) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.0.1==149437025615872) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.0.2==217610901782528)) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.1==-0.59375) && ((a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_1==2925618826) && (((a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.0.0==100) && ((a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_1==100015436857344) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_2==111) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_3==988840590) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_4==64) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_5==-0.8671875) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_6==-2.19140625)) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.0.2==951054362) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.0.3==`E_2_2)) && ((a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.1.0==143) && ((a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_1==89940269858816) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_2==197) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_3==1866268236) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_4==8) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_5==0.546875) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_6==-2.7265625)) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.1.2==4272545584) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_2.1.3==`E_2_4))) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_3==145750579740672) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_4==-1.296875) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.2.field_5==201)) && ((a7.field_5.0.field_2.field_2.0.field_2.field_6.3.0==160) && (a7.field_5.0.field_2.field_2.0.field_2.field_6.3.1==1.046875)))) && (a7.field_5.0.field_2.field_2.0.field_3==73607486504960) && (a7.field_5.0.field_2.field_2.0.field_4==1.15625)) && (a7.field_5.0.field_2.field_2.1==-1.05078125) && (a7.field_5.0.field_2.field_2.2==203696970924032)) && (a7.field_5.0.field_2.field_3==767588794) && (a7.field_5.0.field_2.field_4==-1.140625)) && ((a7.field_5.0.field_3.field_1==-3.6328125)) && (a7.field_5.0.field_4==2.8125) && ((a7.field_5.0.field_5.field_1==0.09375)) && (((a7.field_5.0.field_6.0.field_1==109872603332608) && ((a7.field_5.0.field_6.0.field_2.0==75) && (a7.field_5.0.field_6.0.field_2.1==0.828125)) && (a7.field_5.0.field_6.0.field_3==181185840939008) && ((a7.field_5.0.field_6.0.field_4.0==0.578125) && (a7.field_5.0.field_6.0.field_4.1==276458107961344) && (((a7.field_5.0.field_6.0.field_4.2.field_1.field_1==221) && (a7.field_5.0.field_6.0.field_4.2.field_1.field_2==2.8125) && (a7.field_5.0.field_6.0.field_4.2.field_1.field_3==138) && (a7.field_5.0.field_6.0.field_4.2.field_1.field_4==51979432886272) && (a7.field_5.0.field_6.0.field_4.2.field_1.field_5==`E_2_4) && (a7.field_5.0.field_6.0.field_4.2.field_1.field_6==4196052024)) && ((a7.field_5.0.field_6.0.field_4.2.field_2.0==-2.203125) && (a7.field_5.0.field_6.0.field_4.2.field_2.1==57078884073472) && (a7.field_5.0.field_6.0.field_4.2.field_2.2==36038635683840)) && ((a7.field_5.0.field_6.0.field_4.2.field_3.0==-0.90625) && (a7.field_5.0.field_6.0.field_4.2.field_3.1==`E_2_5))) && (((a7.field_5.0.field_6.0.field_4.3.field_1.0==2773883292) && (a7.field_5.0.field_6.0.field_4.3.field_1.1==-0.625) && (a7.field_5.0.field_6.0.field_4.3.field_1.2==0.25) && ((a7.field_5.0.field_6.0.field_4.3.field_1.3.0==-0.703125) && (a7.field_5.0.field_6.0.field_4.3.field_1.3.1==`E_2_1))) && (a7.field_5.0.field_6.0.field_4.3.field_2==215)))) && (a7.field_5.0.field_6.1==1.328125) && (a7.field_5.0.field_6.2==140846684569600) && (a7.field_5.0.field_6.3==144))) && (a7.field_5.1==432794756) && (a7.field_5.2==2744398968)) && ((a7.field_6.field_1==153) && (a7.field_6.field_2==270401691844608)))
        goto bad
    ;;

    -> 278379121082369

:bad
    -> 71555255238656
}

const fn_15_myr = { a1 : t86, a2 : t69, a3 : t88, a4 : t93, a5 : (flt32,uint32,t94), a6 : (t24,(flt32,t2)), a7 : flt32, a8 : (uint8,flt32,uint64,t1), a9 : (t93,flt64,t96), a10 : t100
    if !(a1==`E_86_10)
        goto bad
    ;;

    if !((a2.field_1==`E_29_3) && (a2.field_2==174) && (a2.field_3==120887724867584) && (a2.field_4==122558970331136))
        goto bad
    ;;

    if !((a3.field_1==`E_87_6) && (a3.field_2==`E_19_4) && ((a3.field_3.field_1==13773365706752) && (a3.field_3.field_2==103) && (a3.field_3.field_3==2174769352) && (a3.field_3.field_4==176) && (a3.field_3.field_5==-3.88671875) && (a3.field_3.field_6==-0.2578125)) && (a3.field_4==`E_48_7))
        goto bad
    ;;

    if !(((a4.field_1.0==2.3515625) && (a4.field_1.1==0.375) && (((a4.field_1.2.0.field_1==225) && (a4.field_1.2.0.field_2==3.30859375) && (a4.field_1.2.0.field_3==307894648)) && ((a4.field_1.2.1.field_1==11) && (a4.field_1.2.1.field_2==1.78125)) && (a4.field_1.2.2==`E_77_8))) && (a4.field_2==`E_90_6) && (((a4.field_3.0.0==-0.5234375) && (a4.field_3.0.1==132763972009984) && (a4.field_3.0.2==229659410694144)) && (a4.field_3.1==-0.78125) && ((a4.field_3.2.field_1==1759559384) && (((a4.field_3.2.field_2.0.0==49) && ((a4.field_3.2.field_2.0.1.field_1==136392379072512) && (a4.field_3.2.field_2.0.1.field_2==89) && (a4.field_3.2.field_2.0.1.field_3==217892376) && (a4.field_3.2.field_2.0.1.field_4==68) && (a4.field_3.2.field_2.0.1.field_5==-2.91796875) && (a4.field_3.2.field_2.0.1.field_6==-1.44140625)) && (a4.field_3.2.field_2.0.2==411030898) && (a4.field_3.2.field_2.0.3==`E_2_2)) && ((a4.field_3.2.field_2.1.0==22) && ((a4.field_3.2.field_2.1.1.field_1==172726771253248) && (a4.field_3.2.field_2.1.1.field_2==126) && (a4.field_3.2.field_2.1.1.field_3==1394729466) && (a4.field_3.2.field_2.1.1.field_4==253) && (a4.field_3.2.field_2.1.1.field_5==1.3359375) && (a4.field_3.2.field_2.1.1.field_6==-1.6875)) && (a4.field_3.2.field_2.1.2==691362998) && (a4.field_3.2.field_2.1.3==`E_2_3))) && (a4.field_3.2.field_3==253720887820288) && (a4.field_3.2.field_4==-1.4375) && (a4.field_3.2.field_5==101)) && ((a4.field_3.3.0==249) && (a4.field_3.3.1==-1.296875))) && ((a4.field_4.0==528531976) && ((a4.field_4.1.field_1==261386844897280) && (a4.field_4.1.field_2==1.84765625) && (a4.field_4.1.field_3==2388631154) && (a4.field_4.1.field_4==1719296880) && (a4.field_4.1.field_5==155468073926656)) && (a4.field_4.2==3470986990) && (a4.field_4.3==3478856264)) && ((a4.field_5.0==3194978670) && (a4.field_5.1==1257202236) && (a4.field_5.2==678627422)))
        goto bad
    ;;

    if !((a5.0==-0.953125) && (a5.1==1149891486) && (a5.2==`E_94_1))
        goto bad
    ;;

    if !((a6.0==`E_24_7) && ((a6.1.0==0.953125) && (a6.1.1==`E_2_3)))
        goto bad
    ;;

    if !(a7==0.65625)
        goto bad
    ;;

    if !((a8.0==174) && (a8.1==0.140625) && (a8.2==211052441108480) && ((a8.3.field_1==171324051947520) && (a8.3.field_2==72) && (a8.3.field_3==1314068538) && (a8.3.field_4==2) && (a8.3.field_5==2.62109375) && (a8.3.field_6==-3.015625)))
        goto bad
    ;;

    if !((((a9.0.field_1.0==3.0234375) && (a9.0.field_1.1==1.390625) && (((a9.0.field_1.2.0.field_1==51) && (a9.0.field_1.2.0.field_2==-2.76953125) && (a9.0.field_1.2.0.field_3==3019798602)) && ((a9.0.field_1.2.1.field_1==1) && (a9.0.field_1.2.1.field_2==0.5078125)) && (a9.0.field_1.2.2==`E_77_8))) && (a9.0.field_2==`E_90_7) && (((a9.0.field_3.0.0==-3.71484375) && (a9.0.field_3.0.1==157999771287552) && (a9.0.field_3.0.2==111072570245120)) && (a9.0.field_3.1==0.21875) && ((a9.0.field_3.2.field_1==1336322566) && (((a9.0.field_3.2.field_2.0.0==0) && ((a9.0.field_3.2.field_2.0.1.field_1==240426317512704) && (a9.0.field_3.2.field_2.0.1.field_2==157) && (a9.0.field_3.2.field_2.0.1.field_3==52590348) && (a9.0.field_3.2.field_2.0.1.field_4==176) && (a9.0.field_3.2.field_2.0.1.field_5==1.80859375) && (a9.0.field_3.2.field_2.0.1.field_6==2.58984375)) && (a9.0.field_3.2.field_2.0.2==1153624366) && (a9.0.field_3.2.field_2.0.3==`E_2_1)) && ((a9.0.field_3.2.field_2.1.0==206) && ((a9.0.field_3.2.field_2.1.1.field_1==180814220492800) && (a9.0.field_3.2.field_2.1.1.field_2==26) && (a9.0.field_3.2.field_2.1.1.field_3==299703506) && (a9.0.field_3.2.field_2.1.1.field_4==32) && (a9.0.field_3.2.field_2.1.1.field_5==1.73828125) && (a9.0.field_3.2.field_2.1.1.field_6==3.32421875)) && (a9.0.field_3.2.field_2.1.2==3465599182) && (a9.0.field_3.2.field_2.1.3==`E_2_4))) && (a9.0.field_3.2.field_3==244610903965696) && (a9.0.field_3.2.field_4==-1.546875) && (a9.0.field_3.2.field_5==193)) && ((a9.0.field_3.3.0==146) && (a9.0.field_3.3.1==-1.515625))) && ((a9.0.field_4.0==1374840658) && ((a9.0.field_4.1.field_1==142626650193920) && (a9.0.field_4.1.field_2==1.80859375) && (a9.0.field_4.1.field_3==1480961136) && (a9.0.field_4.1.field_4==292227856) && (a9.0.field_4.1.field_5==35406836006912)) && (a9.0.field_4.2==3934363586) && (a9.0.field_4.3==1628550422)) && ((a9.0.field_5.0==554328638) && (a9.0.field_5.1==3308010754) && (a9.0.field_5.2==4278941526))) && (a9.1==-2.8046875) && ((a9.2.field_1==-0.31640625) && (a9.2.field_2==1.77734375)))
        goto bad
    ;;

    if !(((((a10.field_1.field_1.0.field_1==-0.578125) && ((a10.field_1.field_1.0.field_2.field_1==-0.7265625) && (((a10.field_1.field_1.0.field_2.field_2.0.field_1==-2.6015625) && ((a10.field_1.field_1.0.field_2.field_2.0.field_2.field_1==`E_18_5) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_2==3722140840) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_3==1.234375) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_4==`E_19_4) && ((a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.0==0.7421875) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.1==2.03125) && ((a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_1==-0.90625) && (((a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_1.0==1.46875) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_1.1==`E_2_5)) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_2==16987441070080) && ((a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_3.0==-0.125) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_3.1==`E_2_3)) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_4==1.0625) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_5==215665831968768) && ((a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_6.0==1.7265625) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_6.1==135345495736320) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_6.2==22229593620480))) && ((a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_3.0==2.16015625) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_3.1==0.625) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_3.2==114942210998272)) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_4==-2.71484375) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_5==`E_11_3) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_6==-0.2421875))) && (((a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.0.0==2.91796875) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.0.1==59953140727808) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.0.2==184442813546496)) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.1==0.03125) && ((a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_1==1648496868) && (((a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.0==248) && ((a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_1==258110700650496) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_2==141) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_3==1835743428) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_4==200) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_5==-0.42578125) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_6==2.7890625)) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.2==1625618080) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.3==`E_2_2)) && ((a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.0==17) && ((a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_1==96824602525696) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_2==239) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_3==545066032) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_4==206) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_5==-1.140625) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_6==3.6171875)) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.2==2459246160) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.3==`E_2_1))) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_3==124927959629824) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_4==0.46875) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_5==218)) && ((a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.3.0==36) && (a10.field_1.field_1.0.field_2.field_2.0.field_2.field_6.3.1==-1.375)))) && (a10.field_1.field_1.0.field_2.field_2.0.field_3==1156421255168) && (a10.field_1.field_1.0.field_2.field_2.0.field_4==0.4921875)) && (a10.field_1.field_1.0.field_2.field_2.1==0.2265625) && (a10.field_1.field_1.0.field_2.field_2.2==246949201182720)) && (a10.field_1.field_1.0.field_2.field_3==3332544584) && (a10.field_1.field_1.0.field_2.field_4==-0.984375)) && ((a10.field_1.field_1.0.field_3.field_1==-0.87890625)) && (a10.field_1.field_1.0.field_4==-2.66015625) && ((a10.field_1.field_1.0.field_5.field_1==-1.078125)) && (((a10.field_1.field_1.0.field_6.0.field_1==85664792313856) && ((a10.field_1.field_1.0.field_6.0.field_2.0==181) && (a10.field_1.field_1.0.field_6.0.field_2.1==0.265625)) && (a10.field_1.field_1.0.field_6.0.field_3==24759761633280) && ((a10.field_1.field_1.0.field_6.0.field_4.0==-1.078125) && (a10.field_1.field_1.0.field_6.0.field_4.1==123531649613824) && (((a10.field_1.field_1.0.field_6.0.field_4.2.field_1.field_1==119) && (a10.field_1.field_1.0.field_6.0.field_4.2.field_1.field_2==-1.08203125) && (a10.field_1.field_1.0.field_6.0.field_4.2.field_1.field_3==129) && (a10.field_1.field_1.0.field_6.0.field_4.2.field_1.field_4==228120870649856) && (a10.field_1.field_1.0.field_6.0.field_4.2.field_1.field_5==`E_2_2) && (a10.field_1.field_1.0.field_6.0.field_4.2.field_1.field_6==2715867670)) && ((a10.field_1.field_1.0.field_6.0.field_4.2.field_2.0==0.9140625) && (a10.field_1.field_1.0.field_6.0.field_4.2.field_2.1==183028377845760) && (a10.field_1.field_1.0.field_6.0.field_4.2.field_2.2==167569567645696)) && ((a10.field_1.field_1.0.field_6.0.field_4.2.field_3.0==-0.96875) && (a10.field_1.field_1.0.field_6.0.field_4.2.field_3.1==`E_2_5))) && (((a10.field_1.field_1.0.field_6.0.field_4.3.field_1.0==168190774) && (a10.field_1.field_1.0.field_6.0.field_4.3.field_1.1==1.078125) && (a10.field_1.field_1.0.field_6.0.field_4.3.field_1.2==0.234375) && ((a10.field_1.field_1.0.field_6.0.field_4.3.field_1.3.0==-1.0) && (a10.field_1.field_1.0.field_6.0.field_4.3.field_1.3.1==`E_2_6))) && (a10.field_1.field_1.0.field_6.0.field_4.3.field_2==148)))) && (a10.field_1.field_1.0.field_6.1==0.765625) && (a10.field_1.field_1.0.field_6.2==120963210805248) && (a10.field_1.field_1.0.field_6.3==117))) && (a10.field_1.field_1.1==2231554362) && (a10.field_1.field_1.2==2636507052)) && (a10.field_1.field_2==2.703125) && (a10.field_1.field_3==191209702686720) && (a10.field_1.field_4==2.1015625) && (a10.field_1.field_5==38)) && (a10.field_2==109765657755648) && (a10.field_3==-1.1640625) && (a10.field_4==-2.046875) && ((a10.field_5.0==`E_19_5) && (a10.field_5.1==3391967572)))
        goto bad
    ;;

    -> (0.25,[.field_1=`E_18_6,.field_2=696503716,.field_3=-1.078125,.field_4=`E_19_6,.field_5=(-3.4140625,1.85546875,[.field_1=-0.046875,.field_2=[.field_1=(-0.015625,`E_2_2),.field_2=1680566779904,.field_3=(-1.234375,`E_2_1),.field_4=0.578125,.field_5=246387639451648,.field_6=(-2.4140625,21180950511616,63676999925760)],.field_3=(-0.5546875,0.375,4498010144768),.field_4=-2.86328125,.field_5=`E_11_4,.field_6=-1.4765625]),.field_6=((1.16015625,206263158308864,67183469658112),0.875,[.field_1=2520041722,.field_2=((194,[.field_1=28598144729088,.field_2=42,.field_3=1389583824,.field_4=67,.field_5=-1.390625,.field_6=-3.390625],1403784366,`E_2_1),(141,[.field_1=230715822833664,.field_2=65,.field_3=2399362858,.field_4=237,.field_5=-1.59375,.field_6=-2.0],3443253262,`E_2_3)),.field_3=89840887529472,.field_4=-1.484375,.field_5=234],(240,-1.4375))],[.field_1=-1.40625],-0.23828125)

:bad
    -> (-0.453125,[.field_1=`E_18_7,.field_2=869338882,.field_3=0.296875,.field_4=`E_19_4,.field_5=(2.26171875,-1.1328125,[.field_1=0.25,.field_2=[.field_1=(1.421875,`E_2_5),.field_2=237789654155264,.field_3=(-0.703125,`E_2_5),.field_4=-1.03125,.field_5=94734685962240,.field_6=(-1.58203125,279028912488449,166458857750528)],.field_3=(2.78515625,1.3125,249786336149504),.field_4=-3.125,.field_5=`E_11_5,.field_6=-0.98046875]),.field_6=((-0.62890625,210339456876544,81998632321024),-0.4375,[.field_1=3398079470,.field_2=((87,[.field_1=233528477483008,.field_2=37,.field_3=174654276,.field_4=8,.field_5=1.875,.field_6=0.15625],3527113970,`E_2_1),(25,[.field_1=218524851896320,.field_2=198,.field_3=4062706894,.field_4=13,.field_5=0.1484375,.field_6=-2.98828125],1675854050,`E_2_5)),.field_3=30645607858176,.field_4=1.515625,.field_5=172],(6,1.15625))],[.field_1=0.859375],1.921875)
}

const fn_16_myr = { a1 : uint64, a2 : t57
    if !(a1==138813818142720)
        goto bad
    ;;

    if !((a2.field_1==`E_26_3) && (a2.field_2==224) && ((a2.field_3.0==107786496507904) && (a2.field_3.1==`E_41_3) && (a2.field_3.2==3940023518) && ((a2.field_3.3.field_1==116812990251008) && ((a2.field_3.3.field_2.0==43) && (a2.field_3.3.field_2.1==-0.203125)) && (a2.field_3.3.field_3==66490954678272) && ((a2.field_3.3.field_4.0==-0.734375) && (a2.field_3.3.field_4.1==151595749212160) && (((a2.field_3.3.field_4.2.field_1.field_1==3) && (a2.field_3.3.field_4.2.field_1.field_2==-3.59765625) && (a2.field_3.3.field_4.2.field_1.field_3==124) && (a2.field_3.3.field_4.2.field_1.field_4==18634915053568) && (a2.field_3.3.field_4.2.field_1.field_5==`E_2_4) && (a2.field_3.3.field_4.2.field_1.field_6==2585846002)) && ((a2.field_3.3.field_4.2.field_2.0==-0.33984375) && (a2.field_3.3.field_4.2.field_2.1==105850133544960) && (a2.field_3.3.field_4.2.field_2.2==200111611576320)) && ((a2.field_3.3.field_4.2.field_3.0==-0.1875) && (a2.field_3.3.field_4.2.field_3.1==`E_2_1))) && (((a2.field_3.3.field_4.3.field_1.0==3167428002) && (a2.field_3.3.field_4.3.field_1.1==-0.609375) && (a2.field_3.3.field_4.3.field_1.2==1.015625) && ((a2.field_3.3.field_4.3.field_1.3.0==-0.046875) && (a2.field_3.3.field_4.3.field_1.3.1==`E_2_4))) && (a2.field_3.3.field_4.3.field_2==4))))) && ((a2.field_4.field_1==1.5) && (((a2.field_4.field_2.field_1.0==-1.296875) && (a2.field_4.field_2.field_1.1==`E_2_4)) && (a2.field_4.field_2.field_2==73429141815296) && ((a2.field_4.field_2.field_3.0==1.453125) && (a2.field_4.field_2.field_3.1==`E_2_6)) && (a2.field_4.field_2.field_4==0.59375) && (a2.field_4.field_2.field_5==247630766538752) && ((a2.field_4.field_2.field_6.0==-1.03515625) && (a2.field_4.field_2.field_6.1==242640090824704) && (a2.field_4.field_2.field_6.2==89287634190336))) && ((a2.field_4.field_3.0==0.8125) && (a2.field_4.field_3.1==-1.171875) && (a2.field_4.field_3.2==240883383402496)) && (a2.field_4.field_4==0.91015625) && (a2.field_4.field_5==`E_11_2) && (a2.field_4.field_6==-1.25)) && (a2.field_5==2931638482) && (a2.field_6==0.71875))
        goto bad
    ;;

    -> ((-3.1015625,183885376782336,162392907317248),-1.09375,[.field_1=1678328882,.field_2=((226,[.field_1=274580443365376,.field_2=223,.field_3=1866442708,.field_4=253,.field_5=2.7421875,.field_6=0.16015625],2411587072,`E_2_1),(123,[.field_1=144693939929088,.field_2=205,.field_3=1556663324,.field_4=225,.field_5=1.2890625,.field_6=1.40234375],2084842492,`E_2_5)),.field_3=150713528483840,.field_4=-1.25,.field_5=245],(224,0.890625))

:bad
    -> ((1.46484375,230270032019456,259894633955328),0.90625,[.field_1=2024542726,.field_2=((128,[.field_1=265414265667584,.field_2=220,.field_3=1649945756,.field_4=235,.field_5=1.84765625,.field_6=2.4921875],3909742020,`E_2_4),(86,[.field_1=132799646662656,.field_2=178,.field_3=3529069034,.field_4=252,.field_5=0.01171875,.field_6=-2.46875],3725795130,`E_2_1)),.field_3=243128701026304,.field_4=-0.46875,.field_5=245],(102,-0.140625))
}

const fn_17_myr = { a1 : flt32, a2 : (flt64,flt32,uint64), a3 : t35, a4 : flt32, a5 : t18, a6 : uint64, a7 : (uint8,t1,uint32,t2), a8 : flt32, a9 : t56, a10 : (uint8,uint32,uint8)
    if !(a1==-0.8125)
        goto bad
    ;;

    if !((a2.0==-2.640625) && (a2.1==-0.3125) && (a2.2==158864030433280))
        goto bad
    ;;

    if !((a3.field_1==120060447424512) && (a3.field_2==200994178))
        goto bad
    ;;

    if !(a4==-1.0625)
        goto bad
    ;;

    if !(a5==`E_18_7)
        goto bad
    ;;

    if !(a6==180628077543424)
        goto bad
    ;;

    if !((a7.0==160) && ((a7.1.field_1==267308015419392) && (a7.1.field_2==53) && (a7.1.field_3==2126242378) && (a7.1.field_4==29) && (a7.1.field_5==-3.328125) && (a7.1.field_6==2.71875)) && (a7.2==324345820) && (a7.3==`E_2_3))
        goto bad
    ;;

    if !(a8==1.5625)
        goto bad
    ;;

    if !(a9==`E_56_5)
        goto bad
    ;;

    if !((a10.0==0) && (a10.1==1742227568) && (a10.2==93))
        goto bad
    ;;

    -> 2.59765625

:bad
    -> -0.67578125
}

const fn_18_myr = { a1 : t29, a2 : t50, a3 : t94, a4 : (t93,flt64,t96), a5 : t82, a6 : uint32
    if !(a1==`E_29_5)
        goto bad
    ;;

    if !((a2.field_1==-0.671875) && (((a2.field_2.0.field_1==-2.3984375) && ((a2.field_2.0.field_2.field_1==`E_18_5) && (a2.field_2.0.field_2.field_2==178101928) && (a2.field_2.0.field_2.field_3==-1.125) && (a2.field_2.0.field_2.field_4==`E_19_6) && ((a2.field_2.0.field_2.field_5.0==0.28515625) && (a2.field_2.0.field_2.field_5.1==-1.88671875) && ((a2.field_2.0.field_2.field_5.2.field_1==0.921875) && (((a2.field_2.0.field_2.field_5.2.field_2.field_1.0==-0.359375) && (a2.field_2.0.field_2.field_5.2.field_2.field_1.1==`E_2_3)) && (a2.field_2.0.field_2.field_5.2.field_2.field_2==75260795158528) && ((a2.field_2.0.field_2.field_5.2.field_2.field_3.0==0.59375) && (a2.field_2.0.field_2.field_5.2.field_2.field_3.1==`E_2_2)) && (a2.field_2.0.field_2.field_5.2.field_2.field_4==-1.515625) && (a2.field_2.0.field_2.field_5.2.field_2.field_5==64393391505408) && ((a2.field_2.0.field_2.field_5.2.field_2.field_6.0==3.38671875) && (a2.field_2.0.field_2.field_5.2.field_2.field_6.1==241181364584448) && (a2.field_2.0.field_2.field_5.2.field_2.field_6.2==262564167811072))) && ((a2.field_2.0.field_2.field_5.2.field_3.0==3.3984375) && (a2.field_2.0.field_2.field_5.2.field_3.1==-0.75) && (a2.field_2.0.field_2.field_5.2.field_3.2==84301476790272)) && (a2.field_2.0.field_2.field_5.2.field_4==-1.7421875) && (a2.field_2.0.field_2.field_5.2.field_5==`E_11_1) && (a2.field_2.0.field_2.field_5.2.field_6==1.6640625))) && (((a2.field_2.0.field_2.field_6.0.0==2.96484375) && (a2.field_2.0.field_2.field_6.0.1==25240979636224) && (a2.field_2.0.field_2.field_6.0.2==279218169577473)) && (a2.field_2.0.field_2.field_6.1==0.46875) && ((a2.field_2.0.field_2.field_6.2.field_1==3583795084) && (((a2.field_2.0.field_2.field_6.2.field_2.0.0==121) && ((a2.field_2.0.field_2.field_6.2.field_2.0.1.field_1==18449750163456) && (a2.field_2.0.field_2.field_6.2.field_2.0.1.field_2==7) && (a2.field_2.0.field_2.field_6.2.field_2.0.1.field_3==4231471828) && (a2.field_2.0.field_2.field_6.2.field_2.0.1.field_4==27) && (a2.field_2.0.field_2.field_6.2.field_2.0.1.field_5==-2.578125) && (a2.field_2.0.field_2.field_6.2.field_2.0.1.field_6==1.60546875)) && (a2.field_2.0.field_2.field_6.2.field_2.0.2==2763967082) && (a2.field_2.0.field_2.field_6.2.field_2.0.3==`E_2_3)) && ((a2.field_2.0.field_2.field_6.2.field_2.1.0==127) && ((a2.field_2.0.field_2.field_6.2.field_2.1.1.field_1==7883293065216) && (a2.field_2.0.field_2.field_6.2.field_2.1.1.field_2==195) && (a2.field_2.0.field_2.field_6.2.field_2.1.1.field_3==3293015804) && (a2.field_2.0.field_2.field_6.2.field_2.1.1.field_4==183) && (a2.field_2.0.field_2.field_6.2.field_2.1.1.field_5==-3.18359375) && (a2.field_2.0.field_2.field_6.2.field_2.1.1.field_6==2.20703125)) && (a2.field_2.0.field_2.field_6.2.field_2.1.2==4053927584) && (a2.field_2.0.field_2.field_6.2.field_2.1.3==`E_2_1))) && (a2.field_2.0.field_2.field_6.2.field_3==179909264015360) && (a2.field_2.0.field_2.field_6.2.field_4==1.1875) && (a2.field_2.0.field_2.field_6.2.field_5==245)) && ((a2.field_2.0.field_2.field_6.3.0==230) && (a2.field_2.0.field_2.field_6.3.1==-1.015625)))) && (a2.field_2.0.field_3==66953411952640) && (a2.field_2.0.field_4==3.87890625)) && (a2.field_2.1==3.04296875) && (a2.field_2.2==33030485442560)) && (a2.field_3==369406000) && (a2.field_4==1.203125))
        goto bad
    ;;

    if !(a3==`E_94_3)
        goto bad
    ;;

    if !((((a4.0.field_1.0==-1.234375) && (a4.0.field_1.1==1.390625) && (((a4.0.field_1.2.0.field_1==30) && (a4.0.field_1.2.0.field_2==-3.5390625) && (a4.0.field_1.2.0.field_3==2512982078)) && ((a4.0.field_1.2.1.field_1==139) && (a4.0.field_1.2.1.field_2==0.36328125)) && (a4.0.field_1.2.2==`E_77_5))) && (a4.0.field_2==`E_90_3) && (((a4.0.field_3.0.0==-1.4609375) && (a4.0.field_3.0.1==92383916457984) && (a4.0.field_3.0.2==113307733983232)) && (a4.0.field_3.1==-1.265625) && ((a4.0.field_3.2.field_1==1168626982) && (((a4.0.field_3.2.field_2.0.0==109) && ((a4.0.field_3.2.field_2.0.1.field_1==206784518291456) && (a4.0.field_3.2.field_2.0.1.field_2==38) && (a4.0.field_3.2.field_2.0.1.field_3==1671741250) && (a4.0.field_3.2.field_2.0.1.field_4==162) && (a4.0.field_3.2.field_2.0.1.field_5==-1.3671875) && (a4.0.field_3.2.field_2.0.1.field_6==0.9921875)) && (a4.0.field_3.2.field_2.0.2==2717166618) && (a4.0.field_3.2.field_2.0.3==`E_2_2)) && ((a4.0.field_3.2.field_2.1.0==190) && ((a4.0.field_3.2.field_2.1.1.field_1==202281623093248) && (a4.0.field_3.2.field_2.1.1.field_2==24) && (a4.0.field_3.2.field_2.1.1.field_3==2205245826) && (a4.0.field_3.2.field_2.1.1.field_4==163) && (a4.0.field_3.2.field_2.1.1.field_5==-0.375) && (a4.0.field_3.2.field_2.1.1.field_6==-1.1875)) && (a4.0.field_3.2.field_2.1.2==2520606304) && (a4.0.field_3.2.field_2.1.3==`E_2_5))) && (a4.0.field_3.2.field_3==81504045891584) && (a4.0.field_3.2.field_4==0.640625) && (a4.0.field_3.2.field_5==215)) && ((a4.0.field_3.3.0==223) && (a4.0.field_3.3.1==-0.78125))) && ((a4.0.field_4.0==1663866964) && ((a4.0.field_4.1.field_1==137293949304832) && (a4.0.field_4.1.field_2==0.4765625) && (a4.0.field_4.1.field_3==3008888856) && (a4.0.field_4.1.field_4==3504606106) && (a4.0.field_4.1.field_5==271175374602240)) && (a4.0.field_4.2==3418972692) && (a4.0.field_4.3==378265792)) && ((a4.0.field_5.0==1683646014) && (a4.0.field_5.1==2279286742) && (a4.0.field_5.2==1017297018))) && (a4.1==2.19921875) && ((a4.2.field_1==-2.6015625) && (a4.2.field_2==0.484375)))
        goto bad
    ;;

    if !(a5==`E_82_5)
        goto bad
    ;;

    if !(a6==2225998788)
        goto bad
    ;;

    -> [.field_1=`E_64_2,.field_2=[.field_1=-1.3828125,.field_2=61112946,.field_3=190,.field_4=32961124368384,.field_5=1304765990,.field_6=126354513723392],.field_3=((`E_56_7,766433818,[.field_1=`E_26_8,.field_2=88,.field_3=(187522956001280,`E_41_2,197628948,[.field_1=135725845053440,.field_2=(57,1.078125),.field_3=160515871997952,.field_4=(0.359375,104917964292096,[.field_1=[.field_1=206,.field_2=-0.80078125,.field_3=138,.field_4=103853490044928,.field_5=`E_2_5,.field_6=1457574106],.field_2=(-2.7734375,269868276908032,241406633312256),.field_3=(-1.515625,`E_2_4)],[.field_1=(64443498,-0.5,0.4375,(0.8125,`E_2_3)),.field_2=241])]),.field_4=[.field_1=-0.921875,.field_2=[.field_1=(-0.265625,`E_2_1),.field_2=255656365260800,.field_3=(0.8125,`E_2_5),.field_4=-1.03125,.field_5=226905594134528,.field_6=(-1.796875,110809697746944,182448222502912)],.field_3=(2.66015625,-1.53125,5891210215424),.field_4=1.15234375,.field_5=`E_11_3,.field_6=0.47265625],.field_5=69698034,.field_6=-0.90625],(`E_19_8,[.field_1=-2.6484375,.field_2=[.field_1=`E_18_2,.field_2=3254220376,.field_3=-1.015625,.field_4=`E_19_7,.field_5=(2.1328125,0.1328125,[.field_1=-0.203125,.field_2=[.field_1=(0.09375,`E_2_6),.field_2=106879791398912,.field_3=(0.75,`E_2_3),.field_4=0.0,.field_5=182488977768448,.field_6=(-2.75,81305866600448,230134322036736)],.field_3=(3.55078125,0.1875,59469043073024),.field_4=0.80078125,.field_5=`E_11_3,.field_6=-2.1796875]),.field_6=((0.96484375,12986746798080,177073504780288),-0.984375,[.field_1=267860066,.field_2=((215,[.field_1=23720503803904,.field_2=57,.field_3=65633880,.field_4=215,.field_5=-0.7734375,.field_6=2.4453125],2639863120,`E_2_6),(63,[.field_1=41253608357888,.field_2=228,.field_3=2702252196,.field_4=226,.field_5=-1.72265625,.field_6=-2.890625],2297595192,`E_2_3)),.field_3=117994529226752,.field_4=-0.46875,.field_5=97],(250,0.203125))],.field_3=277277376118785,.field_4=-0.96484375],0.890625,0.84765625)),[.field_1=-0.234375,.field_2=[.field_1=-0.671875,.field_2=([.field_1=2.2890625,.field_2=[.field_1=`E_18_5,.field_2=1104171190,.field_3=1.1875,.field_4=`E_19_6,.field_5=(-1.77734375,1.7109375,[.field_1=-1.21875,.field_2=[.field_1=(-1.296875,`E_2_3),.field_2=7804846080000,.field_3=(-0.515625,`E_2_3),.field_4=1.3125,.field_5=271269411815424,.field_6=(-1.0390625,55968624803840,26483097731072)],.field_3=(3.140625,0.390625,144477626957824),.field_4=-1.91796875,.field_5=`E_11_1,.field_6=-0.0703125]),.field_6=((2.48828125,279887108243457,244326716669952),0.328125,[.field_1=2589946058,.field_2=((74,[.field_1=4995850829824,.field_2=101,.field_3=3334065356,.field_4=70,.field_5=-1.7734375,.field_6=-0.1171875],2350206898,`E_2_6),(152,[.field_1=177982762647552,.field_2=83,.field_3=2674374442,.field_4=247,.field_5=2.39453125,.field_6=0.328125],3997067408,`E_2_2)),.field_3=208487505199104,.field_4=-1.5,.field_5=19],(94,0.125))],.field_3=92775544913920,.field_4=-0.96484375],-3.6796875,41625584271360),.field_3=1594096200,.field_4=1.25],.field_3=[.field_1=1.96484375],.field_4=3.70703125,.field_5=[.field_1=-0.984375],.field_6=([.field_1=216482604515328,.field_2=(94,1.453125),.field_3=12366441873408,.field_4=(0.453125,126556415852544,[.field_1=[.field_1=151,.field_2=1.05859375,.field_3=11,.field_4=62897387208704,.field_5=`E_2_6,.field_6=2865786744],.field_2=(-2.421875,216082708430848,58856103739392),.field_3=(-1.1875,`E_2_6)],[.field_1=(4079339738,-1.109375,-1.515625,(-0.578125,`E_2_5)),.field_2=88])],0.609375,200682606166016,126)]),.field_4=(([.field_1=18371726016512,.field_2=(156,-0.796875),.field_3=11102142726144,.field_4=(0.9375,3949612367872,[.field_1=[.field_1=104,.field_2=2.0546875,.field_3=14,.field_4=14837206614016,.field_5=`E_2_2,.field_6=2787867058],.field_2=(1.46875,72374060974080,245603042721792),.field_3=(0.46875,`E_2_6)],[.field_1=(270200364,-0.265625,-1.15625,(-1.0,`E_2_3)),.field_2=21])],-0.53125,105323182686208,102),-3.8046875),.field_5=(0.6875,26654515134464,[.field_1=[.field_1=185,.field_2=-2.23828125,.field_3=40,.field_4=94730623254528,.field_5=`E_2_3,.field_6=856451172],.field_2=(-2.8515625,132974633549824,171401795600384),.field_3=(1.25,`E_2_4)],[.field_1=(2841781650,-1.21875,-1.0,(-0.46875,`E_2_3)),.field_2=13])]

:bad
    -> [.field_1=`E_64_9,.field_2=[.field_1=-1.625,.field_2=493732968,.field_3=106,.field_4=119753663578112,.field_5=1283596086,.field_6=217997951107072],.field_3=((`E_56_4,2699322070,[.field_1=`E_26_2,.field_2=232,.field_3=(180662919102464,`E_41_6,17131048,[.field_1=103630696611840,.field_2=(20,-1.0625),.field_3=198361319997440,.field_4=(0.125,102277325520896,[.field_1=[.field_1=214,.field_2=-3.80859375,.field_3=248,.field_4=207630602338304,.field_5=`E_2_4,.field_6=2722826334],.field_2=(2.72265625,203418755792896,276891418099712),.field_3=(-0.890625,`E_2_5)],[.field_1=(4221742598,0.03125,1.21875,(-0.3125,`E_2_6)),.field_2=48])]),.field_4=[.field_1=-1.03125,.field_2=[.field_1=(-0.1875,`E_2_5),.field_2=90774124494848,.field_3=(-0.46875,`E_2_3),.field_4=-0.96875,.field_5=99977078505472,.field_6=(2.5546875,76855133863936,146126020149248)],.field_3=(0.25,0.984375,248403345670144),.field_4=-1.00390625,.field_5=`E_11_5,.field_6=2.7734375],.field_5=468749822,.field_6=-0.40625],(`E_19_4,[.field_1=3.57421875,.field_2=[.field_1=`E_18_1,.field_2=2029298424,.field_3=-1.03125,.field_4=`E_19_7,.field_5=(-0.34765625,1.4140625,[.field_1=0.8125,.field_2=[.field_1=(1.109375,`E_2_4),.field_2=266026004119552,.field_3=(-1.484375,`E_2_1),.field_4=0.828125,.field_5=98825356050432,.field_6=(-0.7265625,62214033113088,152598466789376)],.field_3=(2.05078125,-1.421875,229453600653312),.field_4=-1.70703125,.field_5=`E_11_4,.field_6=1.00390625]),.field_6=((-2.625,267777080688640,128034704850944),-1.515625,[.field_1=259736516,.field_2=((211,[.field_1=142852680843264,.field_2=4,.field_3=3936173516,.field_4=250,.field_5=-2.41796875,.field_6=2.21484375],1870163782,`E_2_6),(138,[.field_1=81686317760512,.field_2=124,.field_3=2083117010,.field_4=81,.field_5=0.32421875,.field_6=-1.9765625],2877241598,`E_2_6)),.field_3=131784260321280,.field_4=-0.90625,.field_5=181],(132,-1.484375))],.field_3=279307994923009,.field_4=-3.15625],0.484375,-2.6875)),[.field_1=-1.421875,.field_2=[.field_1=-3.04296875,.field_2=([.field_1=-2.5390625,.field_2=[.field_1=`E_18_1,.field_2=4015984290,.field_3=0.578125,.field_4=`E_19_2,.field_5=(2.74609375,1.26953125,[.field_1=-0.578125,.field_2=[.field_1=(0.421875,`E_2_1),.field_2=52941939802112,.field_3=(-1.015625,`E_2_3),.field_4=0.546875,.field_5=185704319811584,.field_6=(1.6171875,60560770203648,255274547019776)],.field_3=(-0.9609375,-1.0625,105583830630400),.field_4=0.6953125,.field_5=`E_11_6,.field_6=3.05859375]),.field_6=((0.90625,244012407324672,277955523772417),-0.71875,[.field_1=99410342,.field_2=((8,[.field_1=107724715327488,.field_2=50,.field_3=613651762,.field_4=81,.field_5=2.9765625,.field_6=-1.80859375],726988920,`E_2_4),(149,[.field_1=226335956926464,.field_2=164,.field_3=3320618414,.field_4=250,.field_5=-3.6796875,.field_6=-0.4140625],2742774408,`E_2_5)),.field_3=186327866408960,.field_4=0.140625,.field_5=28],(211,1.328125))],.field_3=197574553108480,.field_4=1.56640625],2.4375,89527896899584),.field_3=2436176174,.field_4=0.9375],.field_3=[.field_1=0.703125],.field_4=0.70703125,.field_5=[.field_1=1.046875],.field_6=([.field_1=273811777912832,.field_2=(201,1.5),.field_3=81778086379520,.field_4=(0.53125,69212746940416,[.field_1=[.field_1=117,.field_2=-2.25,.field_3=212,.field_4=74283012456448,.field_5=`E_2_6,.field_6=2594542348],.field_2=(-2.01171875,248411503984640,14328046682112),.field_3=(1.203125,`E_2_4)],[.field_1=(3061766252,-0.234375,0.734375,(0.125,`E_2_3)),.field_2=111])],-0.8125,44898282504192,192)]),.field_4=(([.field_1=226898411388928,.field_2=(245,-0.5),.field_3=111595632590848,.field_4=(0.921875,88533462941696,[.field_1=[.field_1=47,.field_2=2.1171875,.field_3=154,.field_4=240405809463296,.field_5=`E_2_1,.field_6=278604200],.field_2=(-3.390625,238588698165248,92541617307648),.field_3=(1.3125,`E_2_3)],[.field_1=(2454693200,0.953125,0.015625,(-0.140625,`E_2_3)),.field_2=55])],1.1875,42958779449344,193),-2.1328125),.field_5=(0.265625,279496136720385,[.field_1=[.field_1=99,.field_2=-1.265625,.field_3=204,.field_4=97330511872000,.field_5=`E_2_5,.field_6=839847220],.field_2=(-2.8203125,279855182249985,107102583652352),.field_3=(1.28125,`E_2_4)],[.field_1=(1007589972,1.34375,0.515625,(-0.625,`E_2_5)),.field_2=254])]
}

const fn_19_myr = { a1 : uint64, a2 : uint8
    if !(a1==158887773995008)
        goto bad
    ;;

    if !(a2==186)
        goto bad
    ;;

    -> 113

:bad
    -> 241
}

const fn_20_myr = { a1 : (uint8,uint32,uint8), a2 : t54, a3 : (flt32,t21,t101,flt64), a4 : t30, a5 : flt32, a6 : t100, a7 : t82, a8 : (uint32,uint32,uint32), a9 : t19
    if !((a1.0==31) && (a1.1==784492568) && (a1.2==176))
        goto bad
    ;;

    if !((a2.field_1==-0.03125) && (a2.field_2==`E_2_6) && (a2.field_3==`E_43_2))
        goto bad
    ;;

    if !((a3.0==-0.953125) && ((a3.1.field_1==`E_18_1) && (a3.1.field_2==3892333532) && (a3.1.field_3==0.921875) && (a3.1.field_4==`E_19_3) && ((a3.1.field_5.0==2.6015625) && (a3.1.field_5.1==-0.328125) && ((a3.1.field_5.2.field_1==0.3125) && (((a3.1.field_5.2.field_2.field_1.0==0.34375) && (a3.1.field_5.2.field_2.field_1.1==`E_2_3)) && (a3.1.field_5.2.field_2.field_2==231543623516160) && ((a3.1.field_5.2.field_2.field_3.0==1.046875) && (a3.1.field_5.2.field_2.field_3.1==`E_2_1)) && (a3.1.field_5.2.field_2.field_4==1.078125) && (a3.1.field_5.2.field_2.field_5==158249674997760) && ((a3.1.field_5.2.field_2.field_6.0==-3.65234375) && (a3.1.field_5.2.field_2.field_6.1==81418480910336) && (a3.1.field_5.2.field_2.field_6.2==142554027130880))) && ((a3.1.field_5.2.field_3.0==3.359375) && (a3.1.field_5.2.field_3.1==1.21875) && (a3.1.field_5.2.field_3.2==57638369755136)) && (a3.1.field_5.2.field_4==-3.484375) && (a3.1.field_5.2.field_5==`E_11_1) && (a3.1.field_5.2.field_6==3.09765625))) && (((a3.1.field_6.0.0==0.51171875) && (a3.1.field_6.0.1==165765595136000) && (a3.1.field_6.0.2==108768946552832)) && (a3.1.field_6.1==-0.25) && ((a3.1.field_6.2.field_1==3389738472) && (((a3.1.field_6.2.field_2.0.0==18) && ((a3.1.field_6.2.field_2.0.1.field_1==117849701351424) && (a3.1.field_6.2.field_2.0.1.field_2==251) && (a3.1.field_6.2.field_2.0.1.field_3==595888978) && (a3.1.field_6.2.field_2.0.1.field_4==83) && (a3.1.field_6.2.field_2.0.1.field_5==2.171875) && (a3.1.field_6.2.field_2.0.1.field_6==-0.47265625)) && (a3.1.field_6.2.field_2.0.2==678334346) && (a3.1.field_6.2.field_2.0.3==`E_2_2)) && ((a3.1.field_6.2.field_2.1.0==10) && ((a3.1.field_6.2.field_2.1.1.field_1==215416273371136) && (a3.1.field_6.2.field_2.1.1.field_2==175) && (a3.1.field_6.2.field_2.1.1.field_3==3712234320) && (a3.1.field_6.2.field_2.1.1.field_4==153) && (a3.1.field_6.2.field_2.1.1.field_5==1.58203125) && (a3.1.field_6.2.field_2.1.1.field_6==1.640625)) && (a3.1.field_6.2.field_2.1.2==691527554) && (a3.1.field_6.2.field_2.1.3==`E_2_5))) && (a3.1.field_6.2.field_3==281208706433025) && (a3.1.field_6.2.field_4==0.53125) && (a3.1.field_6.2.field_5==170)) && ((a3.1.field_6.3.0==226) && (a3.1.field_6.3.1==1.171875)))) && ((a3.2.field_1==0.6875)) && (a3.3==3.54296875))
        goto bad
    ;;

    if !((a4.field_1==0.328125) && ((a4.field_2.field_1==`E_18_2) && (a4.field_2.field_2==3038599074) && (a4.field_2.field_3==-0.53125) && (a4.field_2.field_4==`E_19_2) && ((a4.field_2.field_5.0==-2.921875) && (a4.field_2.field_5.1==-1.4453125) && ((a4.field_2.field_5.2.field_1==-0.421875) && (((a4.field_2.field_5.2.field_2.field_1.0==-0.15625) && (a4.field_2.field_5.2.field_2.field_1.1==`E_2_1)) && (a4.field_2.field_5.2.field_2.field_2==226740145750016) && ((a4.field_2.field_5.2.field_2.field_3.0==0.34375) && (a4.field_2.field_5.2.field_2.field_3.1==`E_2_2)) && (a4.field_2.field_5.2.field_2.field_4==1.09375) && (a4.field_2.field_5.2.field_2.field_5==105371665039360) && ((a4.field_2.field_5.2.field_2.field_6.0==-3.7890625) && (a4.field_2.field_5.2.field_2.field_6.1==200291522183168) && (a4.field_2.field_5.2.field_2.field_6.2==273916916662272))) && ((a4.field_2.field_5.2.field_3.0==1.69921875) && (a4.field_2.field_5.2.field_3.1==-0.25) && (a4.field_2.field_5.2.field_3.2==37761889730560)) && (a4.field_2.field_5.2.field_4==-0.37109375) && (a4.field_2.field_5.2.field_5==`E_11_3) && (a4.field_2.field_5.2.field_6==2.359375))) && (((a4.field_2.field_6.0.0==-2.98828125) && (a4.field_2.field_6.0.1==85889758134272) && (a4.field_2.field_6.0.2==189673236725760)) && (a4.field_2.field_6.1==1.0625) && ((a4.field_2.field_6.2.field_1==1108811158) && (((a4.field_2.field_6.2.field_2.0.0==113) && ((a4.field_2.field_6.2.field_2.0.1.field_1==34340434870272) && (a4.field_2.field_6.2.field_2.0.1.field_2==204) && (a4.field_2.field_6.2.field_2.0.1.field_3==2563547796) && (a4.field_2.field_6.2.field_2.0.1.field_4==212) && (a4.field_2.field_6.2.field_2.0.1.field_5==-2.8828125) && (a4.field_2.field_6.2.field_2.0.1.field_6==2.53125)) && (a4.field_2.field_6.2.field_2.0.2==4104468038) && (a4.field_2.field_6.2.field_2.0.3==`E_2_3)) && ((a4.field_2.field_6.2.field_2.1.0==48) && ((a4.field_2.field_6.2.field_2.1.1.field_1==114490489438208) && (a4.field_2.field_6.2.field_2.1.1.field_2==137) && (a4.field_2.field_6.2.field_2.1.1.field_3==4274611490) && (a4.field_2.field_6.2.field_2.1.1.field_4==4) && (a4.field_2.field_6.2.field_2.1.1.field_5==2.87109375) && (a4.field_2.field_6.2.field_2.1.1.field_6==2.67578125)) && (a4.field_2.field_6.2.field_2.1.2==1675682774) && (a4.field_2.field_6.2.field_2.1.3==`E_2_6))) && (a4.field_2.field_6.2.field_3==155964017999872) && (a4.field_2.field_6.2.field_4==-0.421875) && (a4.field_2.field_6.2.field_5==153)) && ((a4.field_2.field_6.3.0==249) && (a4.field_2.field_6.3.1==-0.015625)))) && (a4.field_3==14699609849856) && (a4.field_4==-0.8125))
        goto bad
    ;;

    if !(a5==-1.03125)
        goto bad
    ;;

    if !(((((a6.field_1.field_1.0.field_1==-1.546875) && ((a6.field_1.field_1.0.field_2.field_1==3.58984375) && (((a6.field_1.field_1.0.field_2.field_2.0.field_1==-0.6640625) && ((a6.field_1.field_1.0.field_2.field_2.0.field_2.field_1==`E_18_2) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_2==3261231628) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_3==-1.53125) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_4==`E_19_8) && ((a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.0==3.0546875) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.1==2.625) && ((a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_1==1.296875) && (((a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_1.0==-0.515625) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_1.1==`E_2_1)) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_2==90256515661824) && ((a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_3.0==1.1875) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_3.1==`E_2_1)) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_4==-0.515625) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_5==209147190050816) && ((a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_6.0==2.83984375) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_6.1==204519943045120) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_2.field_6.2==176046915452928))) && ((a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_3.0==-0.64453125) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_3.1==-1.28125) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_3.2==63390518214656)) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_4==-0.8359375) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_5==`E_11_4) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_5.2.field_6==-1.73828125))) && (((a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.0.0==2.2578125) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.0.1==249508094672896) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.0.2==125875889766400)) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.1==-0.03125) && ((a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_1==3690927442) && (((a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.0==116) && ((a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_1==126408480784384) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_2==70) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_3==2502906064) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_4==53) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_5==-1.66796875) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.1.field_6==0.3203125)) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.2==425223464) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.0.3==`E_2_1)) && ((a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.0==116) && ((a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_1==122683318730752) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_2==37) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_3==3331048268) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_4==79) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_5==-2.58984375) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.1.field_6==-3.03125)) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.2==234747400) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_2.1.3==`E_2_1))) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_3==236050942525440) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_4==0.5625) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.2.field_5==115)) && ((a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.3.0==237) && (a6.field_1.field_1.0.field_2.field_2.0.field_2.field_6.3.1==1.265625)))) && (a6.field_1.field_1.0.field_2.field_2.0.field_3==237145589940224) && (a6.field_1.field_1.0.field_2.field_2.0.field_4==0.125)) && (a6.field_1.field_1.0.field_2.field_2.1==-2.48046875) && (a6.field_1.field_1.0.field_2.field_2.2==177709856587776)) && (a6.field_1.field_1.0.field_2.field_3==1727895586) && (a6.field_1.field_1.0.field_2.field_4==0.40625)) && ((a6.field_1.field_1.0.field_3.field_1==-2.9609375)) && (a6.field_1.field_1.0.field_4==-1.86328125) && ((a6.field_1.field_1.0.field_5.field_1==-1.3125)) && (((a6.field_1.field_1.0.field_6.0.field_1==160533698838528) && ((a6.field_1.field_1.0.field_6.0.field_2.0==137) && (a6.field_1.field_1.0.field_6.0.field_2.1==0.53125)) && (a6.field_1.field_1.0.field_6.0.field_3==219195279015936) && ((a6.field_1.field_1.0.field_6.0.field_4.0==1.015625) && (a6.field_1.field_1.0.field_6.0.field_4.1==58457369870336) && (((a6.field_1.field_1.0.field_6.0.field_4.2.field_1.field_1==224) && (a6.field_1.field_1.0.field_6.0.field_4.2.field_1.field_2==3.4765625) && (a6.field_1.field_1.0.field_6.0.field_4.2.field_1.field_3==169) && (a6.field_1.field_1.0.field_6.0.field_4.2.field_1.field_4==88271065972736) && (a6.field_1.field_1.0.field_6.0.field_4.2.field_1.field_5==`E_2_1) && (a6.field_1.field_1.0.field_6.0.field_4.2.field_1.field_6==1881912782)) && ((a6.field_1.field_1.0.field_6.0.field_4.2.field_2.0==0.98046875) && (a6.field_1.field_1.0.field_6.0.field_4.2.field_2.1==73571505274880) && (a6.field_1.field_1.0.field_6.0.field_4.2.field_2.2==154864035561472)) && ((a6.field_1.field_1.0.field_6.0.field_4.2.field_3.0==0.5625) && (a6.field_1.field_1.0.field_6.0.field_4.2.field_3.1==`E_2_2))) && (((a6.field_1.field_1.0.field_6.0.field_4.3.field_1.0==1669921896) && (a6.field_1.field_1.0.field_6.0.field_4.3.field_1.1==-0.4375) && (a6.field_1.field_1.0.field_6.0.field_4.3.field_1.2==0.765625) && ((a6.field_1.field_1.0.field_6.0.field_4.3.field_1.3.0==-0.578125) && (a6.field_1.field_1.0.field_6.0.field_4.3.field_1.3.1==`E_2_2))) && (a6.field_1.field_1.0.field_6.0.field_4.3.field_2==149)))) && (a6.field_1.field_1.0.field_6.1==1.046875) && (a6.field_1.field_1.0.field_6.2==126107861778432) && (a6.field_1.field_1.0.field_6.3==55))) && (a6.field_1.field_1.1==1011521230) && (a6.field_1.field_1.2==334865810)) && (a6.field_1.field_2==-1.265625) && (a6.field_1.field_3==139944064581632) && (a6.field_1.field_4==-2.64453125) && (a6.field_1.field_5==232)) && (a6.field_2==9370746880000) && (a6.field_3==2.56640625) && (a6.field_4==1.46484375) && ((a6.field_5.0==`E_19_7) && (a6.field_5.1==155644616)))
        goto bad
    ;;

    if !(a7==`E_82_5)
        goto bad
    ;;

    if !((a8.0==588421914) && (a8.1==2163719396) && (a8.2==664040668))
        goto bad
    ;;

    if !(a9==`E_19_4)
        goto bad
    ;;

    -> 139

:bad
    -> 48
}