-
Notifications
You must be signed in to change notification settings - Fork 20
/
Copy pathdigitRecognition.dice
15681 lines (15681 loc) · 470 KB
/
digitRecognition.dice
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
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
let y = discrete(0.098717, 0.11237, 0.0993, 0.10218, 0.097367, 0.09035, 0.098633, 0.10442, 0.097517, 0.09915) in
if y == int(4, 0) then
let obs1 = flip 0.000169 in
let tmp = observe !obs1 in
let obs2 = flip 0.000169 in
let tmp = observe !obs2 in
let obs3 = flip 0.000169 in
let tmp = observe !obs3 in
let obs4 = flip 0.000169 in
let tmp = observe !obs4 in
let obs5 = flip 0.000169 in
let tmp = observe !obs5 in
let obs6 = flip 0.000169 in
let tmp = observe !obs6 in
let obs7 = flip 0.000169 in
let tmp = observe !obs7 in
let obs8 = flip 0.000169 in
let tmp = observe !obs8 in
let obs9 = flip 0.000338 in
let tmp = observe !obs9 in
let obs10 = flip 0.000169 in
let tmp = observe !obs10 in
let obs11 = flip 0.000169 in
let tmp = observe !obs11 in
let obs12 = flip 0.000169 in
let tmp = observe !obs12 in
let obs13 = flip 0.000169 in
let tmp = observe !obs13 in
let obs14 = flip 0.000169 in
let tmp = observe !obs14 in
let obs15 = flip 0.000169 in
let tmp = observe !obs15 in
let obs16 = flip 0.000169 in
let tmp = observe !obs16 in
let obs17 = flip 0.000169 in
let tmp = observe !obs17 in
let obs18 = flip 0.000169 in
let tmp = observe !obs18 in
let obs19 = flip 0.000169 in
let tmp = observe !obs19 in
let obs20 = flip 0.000169 in
let tmp = observe !obs20 in
let obs21 = flip 0.000169 in
let tmp = observe !obs21 in
let obs22 = flip 0.000169 in
let tmp = observe !obs22 in
let obs23 = flip 0.000169 in
let tmp = observe !obs23 in
let obs24 = flip 0.000169 in
let tmp = observe !obs24 in
let obs25 = flip 0.000169 in
let tmp = observe !obs25 in
let obs26 = flip 0.000169 in
let tmp = observe !obs26 in
let obs27 = flip 0.000169 in
let tmp = observe !obs27 in
let obs28 = flip 0.000169 in
let tmp = observe !obs28 in
let obs29 = flip 0.000169 in
let tmp = observe !obs29 in
let obs30 = flip 0.000169 in
let tmp = observe !obs30 in
let obs31 = flip 0.000169 in
let tmp = observe !obs31 in
let obs32 = flip 0.000169 in
let tmp = observe !obs32 in
let obs33 = flip 0.000169 in
let tmp = observe !obs33 in
let obs34 = flip 0.000169 in
let tmp = observe !obs34 in
let obs35 = flip 0.000169 in
let tmp = observe !obs35 in
let obs36 = flip 0.000169 in
let tmp = observe !obs36 in
let obs37 = flip 0.000169 in
let tmp = observe !obs37 in
let obs38 = flip 0.000169 in
let tmp = observe !obs38 in
let obs39 = flip 0.000169 in
let tmp = observe !obs39 in
let obs40 = flip 0.000338 in
let tmp = observe !obs40 in
let obs41 = flip 0.000338 in
let tmp = observe !obs41 in
let obs42 = flip 0.000338 in
let tmp = observe !obs42 in
let obs43 = flip 0.000169 in
let tmp = observe !obs43 in
let obs44 = flip 0.000169 in
let tmp = observe !obs44 in
let obs45 = flip 0.000169 in
let tmp = observe !obs45 in
let obs46 = flip 0.000169 in
let tmp = observe !obs46 in
let obs47 = flip 0.000169 in
let tmp = observe !obs47 in
let obs48 = flip 0.000338 in
let tmp = observe !obs48 in
let obs49 = flip 0.000338 in
let tmp = observe obs49 in
let obs50 = flip 0.000169 in
let tmp = observe obs50 in
let obs51 = flip 0.000169 in
let tmp = observe obs51 in
let obs52 = flip 0.000169 in
let tmp = observe !obs52 in
let obs53 = flip 0.000169 in
let tmp = observe !obs53 in
let obs54 = flip 0.000169 in
let tmp = observe !obs54 in
let obs55 = flip 0.000169 in
let tmp = observe !obs55 in
let obs56 = flip 0.000169 in
let tmp = observe !obs56 in
let obs57 = flip 0.000169 in
let tmp = observe !obs57 in
let obs58 = flip 0.000169 in
let tmp = observe !obs58 in
let obs59 = flip 0.000169 in
let tmp = observe !obs59 in
let obs60 = flip 0.000169 in
let tmp = observe !obs60 in
let obs61 = flip 0.000169 in
let tmp = observe !obs61 in
let obs62 = flip 0.000169 in
let tmp = observe !obs62 in
let obs63 = flip 0.000169 in
let tmp = observe !obs63 in
let obs64 = flip 0.000169 in
let tmp = observe !obs64 in
let obs65 = flip 0.000506 in
let tmp = observe !obs65 in
let obs66 = flip 0.000506 in
let tmp = observe !obs66 in
let obs67 = flip 0.000338 in
let tmp = observe !obs67 in
let obs68 = flip 0.000169 in
let tmp = observe !obs68 in
let obs69 = flip 0.000338 in
let tmp = observe !obs69 in
let obs70 = flip 0.000506 in
let tmp = observe !obs70 in
let obs71 = flip 0.000169 in
let tmp = observe !obs71 in
let obs72 = flip 0.000169 in
let tmp = observe !obs72 in
let obs73 = flip 0.000169 in
let tmp = observe !obs73 in
let obs74 = flip 0.000169 in
let tmp = observe !obs74 in
let obs75 = flip 0.000169 in
let tmp = observe !obs75 in
let obs76 = flip 0.000338 in
let tmp = observe obs76 in
let obs77 = flip 0.000338 in
let tmp = observe obs77 in
let obs78 = flip 0.000338 in
let tmp = observe obs78 in
let obs79 = flip 0.000169 in
let tmp = observe obs79 in
let obs80 = flip 0.000169 in
let tmp = observe obs80 in
let obs81 = flip 0.000169 in
let tmp = observe !obs81 in
let obs82 = flip 0.000169 in
let tmp = observe !obs82 in
let obs83 = flip 0.000169 in
let tmp = observe !obs83 in
let obs84 = flip 0.000169 in
let tmp = observe !obs84 in
let obs85 = flip 0.000169 in
let tmp = observe !obs85 in
let obs86 = flip 0.000169 in
let tmp = observe !obs86 in
let obs87 = flip 0.000338 in
let tmp = observe !obs87 in
let obs88 = flip 0.000338 in
let tmp = observe !obs88 in
let obs89 = flip 0.000506 in
let tmp = observe !obs89 in
let obs90 = flip 0.000675 in
let tmp = observe !obs90 in
let obs91 = flip 0.000169 in
let tmp = observe !obs91 in
let obs92 = flip 0.000338 in
let tmp = observe !obs92 in
let obs93 = flip 0.000675 in
let tmp = observe !obs93 in
let obs94 = flip 0.000675 in
let tmp = observe !obs94 in
let obs95 = flip 0.000675 in
let tmp = observe !obs95 in
let obs96 = flip 0.000338 in
let tmp = observe !obs96 in
let obs97 = flip 0.000338 in
let tmp = observe !obs97 in
let obs98 = flip 0.000675 in
let tmp = observe !obs98 in
let obs99 = flip 0.000506 in
let tmp = observe !obs99 in
let obs100 = flip 0.001013 in
let tmp = observe !obs100 in
let obs101 = flip 0.001688 in
let tmp = observe !obs101 in
let obs102 = flip 0.002532 in
let tmp = observe !obs102 in
let obs103 = flip 0.002194 in
let tmp = observe !obs103 in
let obs104 = flip 0.003544 in
let tmp = observe obs104 in
let obs105 = flip 0.003544 in
let tmp = observe obs105 in
let obs106 = flip 0.002700 in
let tmp = observe obs106 in
let obs107 = flip 0.001857 in
let tmp = observe obs107 in
let obs108 = flip 0.000338 in
let tmp = observe obs108 in
let obs109 = flip 0.000169 in
let tmp = observe !obs109 in
let obs110 = flip 0.000169 in
let tmp = observe !obs110 in
let obs111 = flip 0.000169 in
let tmp = observe !obs111 in
let obs112 = flip 0.000169 in
let tmp = observe !obs112 in
let obs113 = flip 0.000169 in
let tmp = observe !obs113 in
let obs114 = flip 0.000169 in
let tmp = observe !obs114 in
let obs115 = flip 0.000338 in
let tmp = observe !obs115 in
let obs116 = flip 0.000506 in
let tmp = observe !obs116 in
let obs117 = flip 0.000844 in
let tmp = observe !obs117 in
let obs118 = flip 0.001350 in
let tmp = observe !obs118 in
let obs119 = flip 0.002700 in
let tmp = observe !obs119 in
let obs120 = flip 0.002700 in
let tmp = observe !obs120 in
let obs121 = flip 0.003207 in
let tmp = observe !obs121 in
let obs122 = flip 0.005401 in
let tmp = observe !obs122 in
let obs123 = flip 0.008776 in
let tmp = observe !obs123 in
let obs124 = flip 0.016709 in
let tmp = observe !obs124 in
let obs125 = flip 0.030042 in
let tmp = observe !obs125 in
let obs126 = flip 0.045738 in
let tmp = observe !obs126 in
let obs127 = flip 0.069873 in
let tmp = observe !obs127 in
let obs128 = flip 0.098565 in
let tmp = observe !obs128 in
let obs129 = flip 0.123880 in
let tmp = observe !obs129 in
let obs130 = flip 0.144300 in
let tmp = observe !obs130 in
let obs131 = flip 0.153250 in
let tmp = observe !obs131 in
let obs132 = flip 0.146670 in
let tmp = observe !obs132 in
let obs133 = flip 0.120840 in
let tmp = observe obs133 in
let obs134 = flip 0.090970 in
let tmp = observe obs134 in
let obs135 = flip 0.048608 in
let tmp = observe obs135 in
let obs136 = flip 0.016371 in
let tmp = observe obs136 in
let obs137 = flip 0.002194 in
let tmp = observe !obs137 in
let obs138 = flip 0.000169 in
let tmp = observe !obs138 in
let obs139 = flip 0.000169 in
let tmp = observe !obs139 in
let obs140 = flip 0.000169 in
let tmp = observe !obs140 in
let obs141 = flip 0.000169 in
let tmp = observe !obs141 in
let obs142 = flip 0.000169 in
let tmp = observe !obs142 in
let obs143 = flip 0.000169 in
let tmp = observe !obs143 in
let obs144 = flip 0.000506 in
let tmp = observe obs144 in
let obs145 = flip 0.001181 in
let tmp = observe !obs145 in
let obs146 = flip 0.003207 in
let tmp = observe !obs146 in
let obs147 = flip 0.007426 in
let tmp = observe !obs147 in
let obs148 = flip 0.011646 in
let tmp = observe !obs148 in
let obs149 = flip 0.017722 in
let tmp = observe !obs149 in
let obs150 = flip 0.038312 in
let tmp = observe !obs150 in
let obs151 = flip 0.067004 in
let tmp = observe !obs151 in
let obs152 = flip 0.102110 in
let tmp = observe !obs152 in
let obs153 = flip 0.153420 in
let tmp = observe !obs153 in
let obs154 = flip 0.206240 in
let tmp = observe !obs154 in
let obs155 = flip 0.268020 in
let tmp = observe !obs155 in
let obs156 = flip 0.317470 in
let tmp = observe !obs156 in
let obs157 = flip 0.364890 in
let tmp = observe !obs157 in
let obs158 = flip 0.391560 in
let tmp = observe !obs158 in
let obs159 = flip 0.384300 in
let tmp = observe !obs159 in
let obs160 = flip 0.359830 in
let tmp = observe !obs160 in
let obs161 = flip 0.304470 in
let tmp = observe obs161 in
let obs162 = flip 0.228020 in
let tmp = observe obs162 in
let obs163 = flip 0.147000 in
let tmp = observe obs163 in
let obs164 = flip 0.066835 in
let tmp = observe obs164 in
let obs165 = flip 0.011308 in
let tmp = observe !obs165 in
let obs166 = flip 0.000169 in
let tmp = observe !obs166 in
let obs167 = flip 0.000169 in
let tmp = observe !obs167 in
let obs168 = flip 0.000169 in
let tmp = observe !obs168 in
let obs169 = flip 0.000169 in
let tmp = observe !obs169 in
let obs170 = flip 0.000169 in
let tmp = observe !obs170 in
let obs171 = flip 0.000338 in
let tmp = observe obs171 in
let obs172 = flip 0.000506 in
let tmp = observe obs172 in
let obs173 = flip 0.003376 in
let tmp = observe obs173 in
let obs174 = flip 0.007933 in
let tmp = observe obs174 in
let obs175 = flip 0.016371 in
let tmp = observe !obs175 in
let obs176 = flip 0.032068 in
let tmp = observe !obs176 in
let obs177 = flip 0.062110 in
let tmp = observe !obs177 in
let obs178 = flip 0.102280 in
let tmp = observe !obs178 in
let obs179 = flip 0.160840 in
let tmp = observe !obs179 in
let obs180 = flip 0.219920 in
let tmp = observe !obs180 in
let obs181 = flip 0.294180 in
let tmp = observe !obs181 in
let obs182 = flip 0.366080 in
let tmp = observe !obs182 in
let obs183 = flip 0.429870 in
let tmp = observe !obs183 in
let obs184 = flip 0.486410 in
let tmp = observe !obs184 in
let obs185 = flip 0.523880 in
let tmp = observe !obs185 in
let obs186 = flip 0.545150 in
let tmp = observe !obs186 in
let obs187 = flip 0.544300 in
let tmp = observe !obs187 in
let obs188 = flip 0.518650 in
let tmp = observe !obs188 in
let obs189 = flip 0.470550 in
let tmp = observe obs189 in
let obs190 = flip 0.378570 in
let tmp = observe obs190 in
let obs191 = flip 0.265150 in
let tmp = observe obs191 in
let obs192 = flip 0.148020 in
let tmp = observe obs192 in
let obs193 = flip 0.027342 in
let tmp = observe !obs193 in
let obs194 = flip 0.000338 in
let tmp = observe !obs194 in
let obs195 = flip 0.000169 in
let tmp = observe !obs195 in
let obs196 = flip 0.000169 in
let tmp = observe !obs196 in
let obs197 = flip 0.000169 in
let tmp = observe !obs197 in
let obs198 = flip 0.000169 in
let tmp = observe obs198 in
let obs199 = flip 0.000506 in
let tmp = observe obs199 in
let obs200 = flip 0.000675 in
let tmp = observe obs200 in
let obs201 = flip 0.006582 in
let tmp = observe obs201 in
let obs202 = flip 0.020422 in
let tmp = observe obs202 in
let obs203 = flip 0.046414 in
let tmp = observe !obs203 in
let obs204 = flip 0.080844 in
let tmp = observe !obs204 in
let obs205 = flip 0.138230 in
let tmp = observe !obs205 in
let obs206 = flip 0.205060 in
let tmp = observe !obs206 in
let obs207 = flip 0.281860 in
let tmp = observe !obs207 in
let obs208 = flip 0.364730 in
let tmp = observe !obs208 in
let obs209 = flip 0.449110 in
let tmp = observe !obs209 in
let obs210 = flip 0.516460 in
let tmp = observe !obs210 in
let obs211 = flip 0.572320 in
let tmp = observe !obs211 in
let obs212 = flip 0.601180 in
let tmp = observe !obs212 in
let obs213 = flip 0.619580 in
let tmp = observe !obs213 in
let obs214 = flip 0.622950 in
let tmp = observe !obs214 in
let obs215 = flip 0.625150 in
let tmp = observe !obs215 in
let obs216 = flip 0.622780 in
let tmp = observe !obs216 in
let obs217 = flip 0.596120 in
let tmp = observe obs217 in
let obs218 = flip 0.528270 in
let tmp = observe obs218 in
let obs219 = flip 0.397300 in
let tmp = observe obs219 in
let obs220 = flip 0.239660 in
let tmp = observe obs220 in
let obs221 = flip 0.058734 in
let tmp = observe !obs221 in
let obs222 = flip 0.000675 in
let tmp = observe !obs222 in
let obs223 = flip 0.000169 in
let tmp = observe !obs223 in
let obs224 = flip 0.000169 in
let tmp = observe !obs224 in
let obs225 = flip 0.000169 in
let tmp = observe !obs225 in
let obs226 = flip 0.000169 in
let tmp = observe obs226 in
let obs227 = flip 0.000338 in
let tmp = observe obs227 in
let obs228 = flip 0.001350 in
let tmp = observe obs228 in
let obs229 = flip 0.015527 in
let tmp = observe obs229 in
let obs230 = flip 0.046582 in
let tmp = observe obs230 in
let obs231 = flip 0.089114 in
let tmp = observe !obs231 in
let obs232 = flip 0.161860 in
let tmp = observe !obs232 in
let obs233 = flip 0.237300 in
let tmp = observe !obs233 in
let obs234 = flip 0.326410 in
let tmp = observe !obs234 in
let obs235 = flip 0.415530 in
let tmp = observe !obs235 in
let obs236 = flip 0.501940 in
let tmp = observe !obs236 in
let obs237 = flip 0.558990 in
let tmp = observe !obs237 in
let obs238 = flip 0.601860 in
let tmp = observe !obs238 in
let obs239 = flip 0.622110 in
let tmp = observe !obs239 in
let obs240 = flip 0.619410 in
let tmp = observe !obs240 in
let obs241 = flip 0.602530 in
let tmp = observe !obs241 in
let obs242 = flip 0.586160 in
let tmp = observe !obs242 in
let obs243 = flip 0.594260 in
let tmp = observe !obs243 in
let obs244 = flip 0.620420 in
let tmp = observe !obs244 in
let obs245 = flip 0.650630 in
let tmp = observe obs245 in
let obs246 = flip 0.636960 in
let tmp = observe obs246 in
let obs247 = flip 0.525910 in
let tmp = observe obs247 in
let obs248 = flip 0.344470 in
let tmp = observe obs248 in
let obs249 = flip 0.094177 in
let tmp = observe !obs249 in
let obs250 = flip 0.001857 in
let tmp = observe !obs250 in
let obs251 = flip 0.000169 in
let tmp = observe !obs251 in
let obs252 = flip 0.000169 in
let tmp = observe !obs252 in
let obs253 = flip 0.000169 in
let tmp = observe !obs253 in
let obs254 = flip 0.000169 in
let tmp = observe obs254 in
let obs255 = flip 0.000169 in
let tmp = observe obs255 in
let obs256 = flip 0.003038 in
let tmp = observe obs256 in
let obs257 = flip 0.032574 in
let tmp = observe obs257 in
let obs258 = flip 0.091814 in
let tmp = observe !obs258 in
let obs259 = flip 0.163880 in
let tmp = observe !obs259 in
let obs260 = flip 0.262450 in
let tmp = observe !obs260 in
let obs261 = flip 0.354600 in
let tmp = observe !obs261 in
let obs262 = flip 0.460080 in
let tmp = observe !obs262 in
let obs263 = flip 0.539410 in
let tmp = observe !obs263 in
let obs264 = flip 0.583630 in
let tmp = observe !obs264 in
let obs265 = flip 0.618230 in
let tmp = observe !obs265 in
let obs266 = flip 0.614180 in
let tmp = observe !obs266 in
let obs267 = flip 0.581100 in
let tmp = observe !obs267 in
let obs268 = flip 0.531140 in
let tmp = observe !obs268 in
let obs269 = flip 0.483210 in
let tmp = observe !obs269 in
let obs270 = flip 0.462780 in
let tmp = observe !obs270 in
let obs271 = flip 0.472240 in
let tmp = observe !obs271 in
let obs272 = flip 0.535530 in
let tmp = observe !obs272 in
let obs273 = flip 0.630550 in
let tmp = observe obs273 in
let obs274 = flip 0.690800 in
let tmp = observe obs274 in
let obs275 = flip 0.630550 in
let tmp = observe obs275 in
let obs276 = flip 0.437130 in
let tmp = observe obs276 in
let obs277 = flip 0.137720 in
let tmp = observe !obs277 in
let obs278 = flip 0.002700 in
let tmp = observe !obs278 in
let obs279 = flip 0.000169 in
let tmp = observe !obs279 in
let obs280 = flip 0.000169 in
let tmp = observe !obs280 in
let obs281 = flip 0.000169 in
let tmp = observe !obs281 in
let obs282 = flip 0.000169 in
let tmp = observe obs282 in
let obs283 = flip 0.000169 in
let tmp = observe obs283 in
let obs284 = flip 0.005570 in
let tmp = observe obs284 in
let obs285 = flip 0.060253 in
let tmp = observe obs285 in
let obs286 = flip 0.155270 in
let tmp = observe !obs286 in
let obs287 = flip 0.263800 in
let tmp = observe !obs287 in
let obs288 = flip 0.376880 in
let tmp = observe !obs288 in
let obs289 = flip 0.486410 in
let tmp = observe !obs289 in
let obs290 = flip 0.557970 in
let tmp = observe !obs290 in
let obs291 = flip 0.598820 in
let tmp = observe !obs291 in
let obs292 = flip 0.618570 in
let tmp = observe obs292 in
let obs293 = flip 0.593080 in
let tmp = observe obs293 in
let obs294 = flip 0.528780 in
let tmp = observe !obs294 in
let obs295 = flip 0.449450 in
let tmp = observe !obs295 in
let obs296 = flip 0.376710 in
let tmp = observe !obs296 in
let obs297 = flip 0.317470 in
let tmp = observe !obs297 in
let obs298 = flip 0.292830 in
let tmp = observe !obs298 in
let obs299 = flip 0.318820 in
let tmp = observe !obs299 in
let obs300 = flip 0.418060 in
let tmp = observe !obs300 in
let obs301 = flip 0.562870 in
let tmp = observe obs301 in
let obs302 = flip 0.690630 in
let tmp = observe obs302 in
let obs303 = flip 0.690970 in
let tmp = observe obs303 in
let obs304 = flip 0.503630 in
let tmp = observe obs304 in
let obs305 = flip 0.169280 in
let tmp = observe !obs305 in
let obs306 = flip 0.003376 in
let tmp = observe !obs306 in
let obs307 = flip 0.000169 in
let tmp = observe !obs307 in
let obs308 = flip 0.000169 in
let tmp = observe !obs308 in
let obs309 = flip 0.000169 in
let tmp = observe !obs309 in
let obs310 = flip 0.000338 in
let tmp = observe obs310 in
let obs311 = flip 0.000338 in
let tmp = observe obs311 in
let obs312 = flip 0.009789 in
let tmp = observe obs312 in
let obs313 = flip 0.107170 in
let tmp = observe obs313 in
let obs314 = flip 0.239160 in
let tmp = observe !obs314 in
let obs315 = flip 0.373840 in
let tmp = observe !obs315 in
let obs316 = flip 0.491810 in
let tmp = observe !obs316 in
let obs317 = flip 0.570130 in
let tmp = observe !obs317 in
let obs318 = flip 0.618400 in
let tmp = observe !obs318 in
let obs319 = flip 0.620250 in
let tmp = observe obs319 in
let obs320 = flip 0.565570 in
let tmp = observe obs320 in
let obs321 = flip 0.486750 in
let tmp = observe obs321 in
let obs322 = flip 0.386670 in
let tmp = observe obs322 in
let obs323 = flip 0.288780 in
let tmp = observe !obs323 in
let obs324 = flip 0.210800 in
let tmp = observe !obs324 in
let obs325 = flip 0.162700 in
let tmp = observe !obs325 in
let obs326 = flip 0.149540 in
let tmp = observe !obs326 in
let obs327 = flip 0.202190 in
let tmp = observe !obs327 in
let obs328 = flip 0.323880 in
let tmp = observe !obs328 in
let obs329 = flip 0.501430 in
let tmp = observe obs329 in
let obs330 = flip 0.671730 in
let tmp = observe obs330 in
let obs331 = flip 0.714430 in
let tmp = observe obs331 in
let obs332 = flip 0.537550 in
let tmp = observe obs332 in
let obs333 = flip 0.194770 in
let tmp = observe !obs333 in
let obs334 = flip 0.003544 in
let tmp = observe !obs334 in
let obs335 = flip 0.000169 in
let tmp = observe !obs335 in
let obs336 = flip 0.000169 in
let tmp = observe !obs336 in
let obs337 = flip 0.000169 in
let tmp = observe obs337 in
let obs338 = flip 0.000338 in
let tmp = observe obs338 in
let obs339 = flip 0.000506 in
let tmp = observe obs339 in
let obs340 = flip 0.015359 in
let tmp = observe obs340 in
let obs341 = flip 0.168440 in
let tmp = observe obs341 in
let obs342 = flip 0.333330 in
let tmp = observe !obs342 in
let obs343 = flip 0.478310 in
let tmp = observe !obs343 in
let obs344 = flip 0.581770 in
let tmp = observe !obs344 in
let obs345 = flip 0.627510 in
let tmp = observe !obs345 in
let obs346 = flip 0.625150 in
let tmp = observe obs346 in
let obs347 = flip 0.561690 in
let tmp = observe obs347 in
let obs348 = flip 0.461940 in
let tmp = observe obs348 in
let obs349 = flip 0.350040 in
let tmp = observe obs349 in
let obs350 = flip 0.246410 in
let tmp = observe obs350 in
let obs351 = flip 0.159320 in
let tmp = observe !obs351 in
let obs352 = flip 0.098734 in
let tmp = observe !obs352 in
let obs353 = flip 0.072236 in
let tmp = observe !obs353 in
let obs354 = flip 0.080338 in
let tmp = observe !obs354 in
let obs355 = flip 0.148020 in
let tmp = observe !obs355 in
let obs356 = flip 0.290970 in
let tmp = observe obs356 in
let obs357 = flip 0.479660 in
let tmp = observe obs357 in
let obs358 = flip 0.656540 in
let tmp = observe obs358 in
let obs359 = flip 0.714600 in
let tmp = observe obs359 in
let obs360 = flip 0.549370 in
let tmp = observe obs360 in
let obs361 = flip 0.205230 in
let tmp = observe !obs361 in
let obs362 = flip 0.003376 in
let tmp = observe !obs362 in
let obs363 = flip 0.000169 in
let tmp = observe !obs363 in
let obs364 = flip 0.000169 in
let tmp = observe !obs364 in
let obs365 = flip 0.000169 in
let tmp = observe obs365 in
let obs366 = flip 0.000338 in
let tmp = observe obs366 in
let obs367 = flip 0.000844 in
let tmp = observe obs367 in
let obs368 = flip 0.022110 in
let tmp = observe obs368 in
let obs369 = flip 0.229200 in
let tmp = observe obs369 in
let obs370 = flip 0.429700 in
let tmp = observe !obs370 in
let obs371 = flip 0.565400 in
let tmp = observe !obs371 in
let obs372 = flip 0.635440 in
let tmp = observe !obs372 in
let obs373 = flip 0.641860 in
let tmp = observe obs373 in
let obs374 = flip 0.583460 in
let tmp = observe obs374 in
let obs375 = flip 0.474430 in
let tmp = observe obs375 in
let obs376 = flip 0.352410 in
let tmp = observe obs376 in
let obs377 = flip 0.235950 in
let tmp = observe obs377 in
let obs378 = flip 0.142280 in
let tmp = observe obs378 in
let obs379 = flip 0.078481 in
let tmp = observe !obs379 in
let obs380 = flip 0.043713 in
let tmp = observe !obs380 in
let obs381 = flip 0.034093 in
let tmp = observe !obs381 in
let obs382 = flip 0.067004 in
let tmp = observe !obs382 in
let obs383 = flip 0.156120 in
let tmp = observe !obs383 in
let obs384 = flip 0.309370 in
let tmp = observe obs384 in
let obs385 = flip 0.496200 in
let tmp = observe obs385 in
let obs386 = flip 0.646580 in
let tmp = observe obs386 in
let obs387 = flip 0.695860 in
let tmp = observe obs387 in
let obs388 = flip 0.521180 in
let tmp = observe obs388 in
let obs389 = flip 0.189540 in
let tmp = observe !obs389 in
let obs390 = flip 0.002869 in
let tmp = observe !obs390 in
let obs391 = flip 0.000169 in
let tmp = observe !obs391 in
let obs392 = flip 0.000169 in
let tmp = observe !obs392 in
let obs393 = flip 0.000169 in
let tmp = observe obs393 in
let obs394 = flip 0.000169 in
let tmp = observe obs394 in
let obs395 = flip 0.000506 in
let tmp = observe obs395 in
let obs396 = flip 0.027679 in
let tmp = observe obs396 in
let obs397 = flip 0.286750 in
let tmp = observe obs397 in
let obs398 = flip 0.503800 in
let tmp = observe !obs398 in
let obs399 = flip 0.635950 in
let tmp = observe !obs399 in
let obs400 = flip 0.671220 in
let tmp = observe obs400 in
let obs401 = flip 0.622280 in
let tmp = observe obs401 in
let obs402 = flip 0.509870 in
let tmp = observe obs402 in
let obs403 = flip 0.385150 in
let tmp = observe obs403 in
let obs404 = flip 0.261270 in
let tmp = observe obs404 in
let obs405 = flip 0.148190 in
let tmp = observe obs405 in
let obs406 = flip 0.076624 in
let tmp = observe obs406 in
let obs407 = flip 0.038650 in
let tmp = observe !obs407 in
let obs408 = flip 0.027679 in
let tmp = observe !obs408 in
let obs409 = flip 0.038987 in
let tmp = observe !obs409 in
let obs410 = flip 0.093671 in
let tmp = observe !obs410 in
let obs411 = flip 0.207430 in
let tmp = observe obs411 in
let obs412 = flip 0.362530 in
let tmp = observe obs412 in
let obs413 = flip 0.530630 in
let tmp = observe obs413 in
let obs414 = flip 0.658900 in
let tmp = observe obs414 in
let obs415 = flip 0.648100 in
let tmp = observe obs415 in
let obs416 = flip 0.476120 in
let tmp = observe !obs416 in
let obs417 = flip 0.165230 in
let tmp = observe !obs417 in
let obs418 = flip 0.002532 in
let tmp = observe !obs418 in
let obs419 = flip 0.000169 in
let tmp = observe !obs419 in
let obs420 = flip 0.000169 in
let tmp = observe !obs420 in
let obs421 = flip 0.000169 in
let tmp = observe obs421 in
let obs422 = flip 0.000338 in
let tmp = observe obs422 in
let obs423 = flip 0.000506 in
let tmp = observe obs423 in
let obs424 = flip 0.030717 in
let tmp = observe obs424 in
let obs425 = flip 0.323880 in
let tmp = observe obs425 in
let obs426 = flip 0.547850 in
let tmp = observe obs426 in
let obs427 = flip 0.676120 in
let tmp = observe obs427 in
let obs428 = flip 0.681350 in
let tmp = observe obs428 in
let obs429 = flip 0.594260 in
let tmp = observe obs429 in
let obs430 = flip 0.460080 in
let tmp = observe obs430 in
let obs431 = flip 0.307850 in
let tmp = observe obs431 in
let obs432 = flip 0.192070 in
let tmp = observe obs432 in
let obs433 = flip 0.101770 in
let tmp = observe obs433 in
let obs434 = flip 0.055190 in
let tmp = observe obs434 in
let obs435 = flip 0.035612 in
let tmp = observe !obs435 in
let obs436 = flip 0.040169 in
let tmp = observe !obs436 in
let obs437 = flip 0.081519 in
let tmp = observe !obs437 in
let obs438 = flip 0.157640 in
let tmp = observe !obs438 in
let obs439 = flip 0.288270 in
let tmp = observe obs439 in
let obs440 = flip 0.442030 in
let tmp = observe obs440 in
let obs441 = flip 0.589200 in
let tmp = observe obs441 in
let obs442 = flip 0.649280 in
let tmp = observe obs442 in
let obs443 = flip 0.581430 in
let tmp = observe obs443 in
let obs444 = flip 0.402360 in
let tmp = observe !obs444 in
let obs445 = flip 0.134180 in
let tmp = observe !obs445 in
let obs446 = flip 0.002025 in
let tmp = observe !obs446 in
let obs447 = flip 0.000169 in
let tmp = observe !obs447 in
let obs448 = flip 0.000169 in
let tmp = observe !obs448 in
let obs449 = flip 0.000169 in
let tmp = observe obs449 in
let obs450 = flip 0.000338 in
let tmp = observe obs450 in
let obs451 = flip 0.000844 in
let tmp = observe obs451 in
let obs452 = flip 0.030549 in
let tmp = observe obs452 in
let obs453 = flip 0.340760 in
let tmp = observe obs453 in
let obs454 = flip 0.565740 in
let tmp = observe obs454 in
let obs455 = flip 0.689110 in
let tmp = observe obs455 in
let obs456 = flip 0.684560 in
let tmp = observe obs456 in
let obs457 = flip 0.582780 in
let tmp = observe obs457 in
let obs458 = flip 0.429540 in
let tmp = observe obs458 in
let obs459 = flip 0.282530 in
let tmp = observe obs459 in
let obs460 = flip 0.171810 in
let tmp = observe obs460 in
let obs461 = flip 0.101270 in
let tmp = observe obs461 in
let obs462 = flip 0.063966 in
let tmp = observe obs462 in
let obs463 = flip 0.065654 in
let tmp = observe obs463 in
let obs464 = flip 0.091814 in
let tmp = observe !obs464 in
let obs465 = flip 0.157470 in
let tmp = observe !obs465 in
let obs466 = flip 0.252830 in
let tmp = observe obs466 in
let obs467 = flip 0.390550 in
let tmp = observe obs467 in
let obs468 = flip 0.528610 in
let tmp = observe obs468 in
let obs469 = flip 0.617720 in
let tmp = observe obs469 in
let obs470 = flip 0.617220 in
let tmp = observe obs470 in
let obs471 = flip 0.505820 in
let tmp = observe !obs471 in
let obs472 = flip 0.317130 in
let tmp = observe !obs472 in
let obs473 = flip 0.091308 in
let tmp = observe !obs473 in
let obs474 = flip 0.001181 in
let tmp = observe !obs474 in
let obs475 = flip 0.000169 in
let tmp = observe !obs475 in
let obs476 = flip 0.000169 in
let tmp = observe !obs476 in
let obs477 = flip 0.000169 in
let tmp = observe !obs477 in
let obs478 = flip 0.000338 in
let tmp = observe obs478 in
let obs479 = flip 0.000675 in
let tmp = observe obs479 in
let obs480 = flip 0.026160 in
let tmp = observe obs480 in
let obs481 = flip 0.311730 in
let tmp = observe obs481 in
let obs482 = flip 0.536880 in
let tmp = observe obs482 in
let obs483 = flip 0.686080 in
let tmp = observe obs483 in
let obs484 = flip 0.684890 in
let tmp = observe obs484 in
let obs485 = flip 0.583120 in
let tmp = observe obs485 in
let obs486 = flip 0.448610 in
let tmp = observe obs486 in
let obs487 = flip 0.310210 in
let tmp = observe obs487 in
let obs488 = flip 0.207430 in
let tmp = observe obs488 in
let obs489 = flip 0.154260 in
let tmp = observe obs489 in
let obs490 = flip 0.134180 in
let tmp = observe obs490 in
let obs491 = flip 0.150040 in
let tmp = observe obs491 in
let obs492 = flip 0.193420 in
let tmp = observe obs492 in
let obs493 = flip 0.268690 in
let tmp = observe obs493 in
let obs494 = flip 0.379070 in
let tmp = observe obs494 in
let obs495 = flip 0.502110 in
let tmp = observe obs495 in
let obs496 = flip 0.589370 in
let tmp = observe obs496 in
let obs497 = flip 0.615020 in
let tmp = observe obs497 in
let obs498 = flip 0.539410 in
let tmp = observe obs498 in
let obs499 = flip 0.405400 in
let tmp = observe !obs499 in