forked from ygorshenin/icfp2016
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsubmissions.txt
6482 lines (6482 loc) · 855 KB
/
submissions.txt
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
{"solution_size":310,"ok":true,"resemblance":0.998361,"problem_id":252,"solution_spec_hash":"377eba5ed29392b8b9b2334ce12cbd3c27de1b97"}
{"solution_size":31,"ok":true,"resemblance":1.0,"problem_id":334,"solution_spec_hash":"d9bde92839cf689785ce208549024fd460c023f6"}
{"solution_size":67,"ok":true,"resemblance":1.0,"problem_id":981,"solution_spec_hash":"03c6162011bf216bf355c9b56354d05da847d8b9"}
{"solution_size":2758,"ok":true,"resemblance":0.372862,"problem_id":1274,"solution_spec_hash":"9616ad2d6d65657b9b42ff3229bb961a3169fb2b"}
{"solution_size":87,"ok":true,"resemblance":0.625,"problem_id":1325,"solution_spec_hash":"0c61413ff3f7603e6d44dd73e584103af0b634ba"}
{"solution_size":892,"ok":true,"resemblance":1.0,"problem_id":1432,"solution_spec_hash":"d312c7cbbe4de8af22676537c3d8189bd9457873"}
{"solution_size":1499,"ok":true,"resemblance":0.911709,"problem_id":1737,"solution_spec_hash":"ae7003a99b2c99ce42c6d376f5b9d4f28e674d75"}
{"solution_size":254,"ok":true,"resemblance":1.0,"problem_id":2049,"solution_spec_hash":"837b23b56b3f652a99ac4a11bcf68034c86461bf"}
{"solution_size":599,"ok":true,"resemblance":0.705014,"problem_id":2294,"solution_spec_hash":"16d30d9fccc96f1c37b48724f8e26f7a04549a0b"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":2598,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":1423,"ok":true,"resemblance":0.847457,"problem_id":2690,"solution_spec_hash":"ca297ef59c1e2927239ba20ebf5756419a10b216"}
{"solution_size":771,"ok":true,"resemblance":0.555555,"problem_id":2814,"solution_spec_hash":"018dbf8f5a8b8aeeb1d1cac23afe3cddb48fe0ac"}
{"solution_size":2824,"ok":true,"resemblance":0.864288,"problem_id":2926,"solution_spec_hash":"af19ea5dffe67a8a87017dc1031f4ef6066b356b"}
{"solution_size":1882,"ok":true,"resemblance":0.746656,"problem_id":3040,"solution_spec_hash":"d36b74862128d740e0abffe6438623633135b5f8"}
{"solution_size":236,"ok":true,"resemblance":0.785714,"problem_id":3101,"solution_spec_hash":"ac4231a7440165f0283ff482a745643bdaa3aa22"}
{"solution_size":2923,"ok":true,"resemblance":0.794786,"problem_id":3391,"solution_spec_hash":"feb20616fb0b4c3574bf1e00aad630b2e5424588"}
{"solution_size":485,"ok":true,"resemblance":0.867422,"problem_id":3647,"solution_spec_hash":"579c7587c67a1cef317ae2580e0484d8326404bf"}
{"solution_size":2602,"ok":true,"resemblance":0.888286,"problem_id":3683,"solution_spec_hash":"f3aec1690b15e0324fb18c5c8522717ca75cf1bf"}
{"solution_size":334,"ok":true,"resemblance":0.9375,"problem_id":3718,"solution_spec_hash":"3b1c48f5210a9fb9900d63bc53e039dd3d92e026"}
{"solution_size":113,"ok":true,"resemblance":0.6,"problem_id":3755,"solution_spec_hash":"d0695091b3e68054622aa38949ac7e95b97ccae0"}
{"solution_size":422,"ok":true,"resemblance":1.0,"problem_id":3774,"solution_spec_hash":"ed41ed0039447357e30a24986a110d3c4f3ed4b2"}
{"solution_size":286,"ok":true,"resemblance":0.76923,"problem_id":3781,"solution_spec_hash":"07128b69aaa64c0987c1390b6bf82d79b8006e14"}
{"solution_size":453,"ok":true,"resemblance":0.75,"problem_id":3884,"solution_spec_hash":"c4b6baf5b90081ba5887defd45db9a918ad458b7"}
{"solution_size":619,"ok":true,"resemblance":0.75,"problem_id":3904,"solution_spec_hash":"63106aae1b65e62104cc2a027e03c07fa9a24de4"}
{"solution_size":1793,"ok":true,"resemblance":1.0,"problem_id":3914,"solution_spec_hash":"98993b6c2785fb916d44aaf248d247da8d0aecfd"}
{"solution_size":4465,"ok":true,"resemblance":0.21215,"problem_id":3967,"solution_spec_hash":"f0b25bca7e967fdd6168196be5c22b76e637692d"}
{"solution_size":4311,"ok":true,"resemblance":0.534294,"problem_id":3977,"solution_spec_hash":"ba8887e81ee08ce1d4cdf4120cf06598101b9959"}
{"solution_size":2609,"ok":true,"resemblance":0.760014,"problem_id":4038,"solution_spec_hash":"0d68715c6c7de1ce34a390515230a0dabe752dc6"}
{"solution_size":790,"ok":true,"resemblance":0.548506,"problem_id":4223,"solution_spec_hash":"eefd3e044b0baacf2f5007f53db27e4df85241a4"}
{"solution_size":2544,"ok":true,"resemblance":0.326494,"problem_id":4284,"solution_spec_hash":"7780c23f0b54d1c9f763fa469c2fcf51ac7d260d"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4327,"solution_spec_hash":"fff7d491233e9884cd4701b437d45e2904e2635d"}
{"solution_size":585,"ok":true,"resemblance":0.827067,"problem_id":4356,"solution_spec_hash":"20457382f25d4442c910e9ef717056cec60fade4"}
{"solution_size":4931,"ok":true,"resemblance":0.833333,"problem_id":4360,"solution_spec_hash":"f1835428f16ca4ca72293dadd785e90908ea7332"}
{"solution_size":316,"ok":true,"resemblance":1.0,"problem_id":4369,"solution_spec_hash":"043133f9f695fa3e326a941a8243dd25dd89aaa1"}
{"solution_size":3025,"ok":true,"resemblance":0.317762,"problem_id":4390,"solution_spec_hash":"01194e40a1bb73ad9a38c55ec20fc3b2f38a8207"}
{"solution_size":425,"ok":true,"resemblance":0.81081,"problem_id":4410,"solution_spec_hash":"b702c9da356476e04f5e86d6e8c0cddb573117d8"}
{"solution_size":3096,"ok":true,"resemblance":0.790475,"problem_id":4422,"solution_spec_hash":"fd5999c9d0521461cfe5d0459266d7bd47e26034"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4487,"solution_spec_hash":"f559ee1becf2f5b56115ef607482d4f7a880cd7b"}
{"solution_size":159,"ok":true,"resemblance":0.854671,"problem_id":4533,"solution_spec_hash":"09220c6fd8c1745ee81dade6d828949e899781ca"}
{"solution_size":111,"ok":true,"resemblance":1.0,"problem_id":4556,"solution_spec_hash":"2b07ac31e20c0f988f8a8c98ddd2bfac3587d0f4"}
{"solution_size":230,"ok":true,"resemblance":0.916666,"problem_id":4578,"solution_spec_hash":"31def62252a9dd11cde9b36a2a553f7701573b3a"}
{"solution_size":3778,"ok":true,"resemblance":0.5,"problem_id":4613,"solution_spec_hash":"3dab98374e1e88290b53a8c56acde82351608666"}
{"solution_size":1368,"ok":true,"resemblance":0.75,"problem_id":4670,"solution_spec_hash":"e6e82e056630f4d274bd2e72ffc0dccf36e5634e"}
{"solution_size":1912,"ok":true,"resemblance":0.959679,"problem_id":4679,"solution_spec_hash":"90a90775d9c53cb7657753471f5c5bbd39c89dd2"}
{"solution_size":592,"ok":true,"resemblance":0.873893,"problem_id":4687,"solution_spec_hash":"ed1bec998e245f9f9a75b889005f878ceb26ff1b"}
{"solution_size":591,"ok":true,"resemblance":0.892857,"problem_id":4708,"solution_spec_hash":"a2b6bc84a16a0a7900c1beb6087bad82e770c234"}
{"solution_size":3898,"ok":true,"resemblance":0.888004,"problem_id":4794,"solution_spec_hash":"99c663c3ee70f9d41a47d860320aca3372834742"}
{"solution_size":2466,"ok":true,"resemblance":0.968857,"problem_id":4822,"solution_spec_hash":"e5c3e8fb3f99940ef3305a514fe2e6321576da41"}
{"solution_size":1624,"ok":true,"resemblance":1.0,"problem_id":4848,"solution_spec_hash":"b5e6768d68eddb51826d5f7db882c71e67dec431"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":4884,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":2825,"ok":true,"resemblance":0.444676,"problem_id":4895,"solution_spec_hash":"ce7279f864493798fde063a8482d9c54db68044c"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":4963,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":2465,"ok":true,"resemblance":0.553821,"problem_id":4965,"solution_spec_hash":"1e6630fb3f310b7eb132424a598b44d8369d1cef"}
{"solution_size":2661,"ok":true,"resemblance":0.230771,"problem_id":4970,"solution_spec_hash":"c22d99377cb2cf3d8456cd11dfe41c80e3d0f8cd"}
{"solution_size":2268,"ok":true,"resemblance":0.515151,"problem_id":4971,"solution_spec_hash":"3b7981d9c2ae9c2608907f1853b86b4a97320cf0"}
{"solution_size":201,"ok":true,"resemblance":0.833333,"problem_id":4997,"solution_spec_hash":"69a64e5a9fb337e76319b0072e6ec4e85717bf12"}
{"solution_size":2889,"ok":true,"resemblance":0.941176,"problem_id":5020,"solution_spec_hash":"7f164fc2a6cd7621cee105d3597a14edb41a85d8"}
{"solution_size":377,"ok":true,"resemblance":0.75,"problem_id":5044,"solution_spec_hash":"18d64a9d9c59f4f8a80129bf1268607477028978"}
{"solution_size":690,"ok":true,"resemblance":0.873826,"problem_id":5046,"solution_spec_hash":"91f0670e418c1c3154db22dcf21d134cfa664d8f"}
{"solution_size":2944,"ok":true,"resemblance":0.504836,"problem_id":5068,"solution_spec_hash":"fa757e2f3bc0c1597d634f4defce187df87c657c"}
{"solution_size":1519,"ok":true,"resemblance":0.586005,"problem_id":5079,"solution_spec_hash":"68b08928a7fa5361a327fd8fd165b815296dacfe"}
{"solution_size":3137,"ok":true,"resemblance":0.934362,"problem_id":5110,"solution_spec_hash":"e8aae0b6e0250cd092e192014ce3cfc527480d96"}
{"solution_size":285,"ok":true,"resemblance":0.993105,"problem_id":5118,"solution_spec_hash":"780589c0c734f4714b1cd17c9dceab7ae9f57ae9"}
{"solution_size":3458,"ok":true,"resemblance":0.538042,"problem_id":5154,"solution_spec_hash":"cc703d0fa55dfd2abd39cbd033d42eb07af13816"}
{"solution_size":214,"ok":true,"resemblance":1.0,"problem_id":5173,"solution_spec_hash":"f9d97c4a354acf571d6cfe99b234141f2b91800f"}
{"solution_size":3079,"ok":true,"resemblance":0.558033,"problem_id":5175,"solution_spec_hash":"b9995ca0beb9fb2c97ed08c3a3065b0a0863e624"}
{"solution_size":1459,"ok":true,"resemblance":0.952414,"problem_id":5179,"solution_spec_hash":"dad1337d64e00ad17e577edaaa73cb0175463fab"}
{"solution_size":4398,"ok":true,"resemblance":0.248266,"problem_id":5195,"solution_spec_hash":"8c0c8020d445ffc1b3b40228bd097b1c51143656"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":5210,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":407,"ok":true,"resemblance":0.861723,"problem_id":5236,"solution_spec_hash":"85ed166dc3c49278dc8b35923e1017f1374ace52"}
{"solution_size":855,"ok":true,"resemblance":0.906189,"problem_id":5244,"solution_spec_hash":"b6566dfffb47dd73ee4a09cb1ca21a9762a34187"}
{"solution_size":1080,"ok":true,"resemblance":0.238738,"problem_id":5268,"solution_spec_hash":"79cef83666a3ece949e470bcbf4915b891a4f19a"}
{"solution_size":1868,"ok":true,"resemblance":0.727272,"problem_id":5276,"solution_spec_hash":"ba938d040ec127d4d67dd06a3cc809aa2c4dbfe3"}
{"solution_size":203,"ok":true,"resemblance":1.0,"problem_id":5277,"solution_spec_hash":"71332bb90fabe1605c4efa4455adec5fea972404"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":5285,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":648,"ok":true,"resemblance":0.666666,"problem_id":5302,"solution_spec_hash":"68b4f25a567e74ba5231a449bd781ea7a9e98c28"}
{"solution_size":248,"ok":true,"resemblance":1.0,"problem_id":5303,"solution_spec_hash":"be23ada2d22b009ada683d3eda970dd7d3ee5956"}
{"solution_size":637,"ok":true,"resemblance":1.0,"problem_id":5314,"solution_spec_hash":"e1e849da21795c377c2ad3f80157e4f50ee153ab"}
{"solution_size":109,"ok":true,"resemblance":0.833333,"problem_id":5316,"solution_spec_hash":"fb6ef23983f4fc2ea6847e449584f6f27cdf8a57"}
{"solution_size":904,"ok":true,"resemblance":1.0,"problem_id":5334,"solution_spec_hash":"91ff6a096be73cd9f91ed89f02772498b1a64684"}
{"solution_size":2639,"ok":true,"resemblance":0.738532,"problem_id":5335,"solution_spec_hash":"8dbeaa3ad1559c6500658bbfbd422da8a2e63dcc"}
{"solution_size":130,"ok":true,"resemblance":0.90909,"problem_id":5340,"solution_spec_hash":"67e2359ce71e574f1c660cf8e651df317bec90d4"}
{"solution_size":31,"ok":true,"resemblance":1.0,"problem_id":335,"solution_spec_hash":"d9bde92839cf689785ce208549024fd460c023f6"}
{"solution_size":824,"ok":true,"resemblance":0.913731,"problem_id":384,"solution_spec_hash":"6931ffba54e325324bc6b680814772ea43390c04"}
{"solution_size":59,"ok":true,"resemblance":1.0,"problem_id":982,"solution_spec_hash":"dd5231ee5a298ad35d80289a3575e201124d1e19"}
{"solution_size":2758,"ok":true,"resemblance":0.372862,"problem_id":1275,"solution_spec_hash":"9616ad2d6d65657b9b42ff3229bb961a3169fb2b"}
{"solution_size":87,"ok":true,"resemblance":0.625,"problem_id":1326,"solution_spec_hash":"0c61413ff3f7603e6d44dd73e584103af0b634ba"}
{"solution_size":892,"ok":true,"resemblance":1.0,"problem_id":1454,"solution_spec_hash":"c25f768a1b7bc2277836e2a1dd444269093b04cf"}
{"solution_size":3105,"ok":true,"resemblance":0.91226,"problem_id":1738,"solution_spec_hash":"c9b0c5baa066bf0c531bf937e799f2812499635e"}
{"solution_size":243,"ok":true,"resemblance":1.0,"problem_id":2050,"solution_spec_hash":"945506e9a445bb0fafe152ede44d7bd796bed847"}
{"solution_size":599,"ok":true,"resemblance":0.705014,"problem_id":2295,"solution_spec_hash":"16d30d9fccc96f1c37b48724f8e26f7a04549a0b"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":2599,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":1423,"ok":true,"resemblance":0.847457,"problem_id":2691,"solution_spec_hash":"ca297ef59c1e2927239ba20ebf5756419a10b216"}
{"solution_size":318,"ok":true,"resemblance":0.555555,"problem_id":2812,"solution_spec_hash":"a120e03b42c149d15b4fabd7f0c648a6a1cbac68"}
{"solution_size":1640,"ok":true,"resemblance":0.925079,"problem_id":2929,"solution_spec_hash":"35dc60e55dd2c4152714135f244aaffead2ac9ef"}
{"solution_size":1170,"ok":true,"resemblance":0.833018,"problem_id":3041,"solution_spec_hash":"e3180e4f3403eb874a980474c2f39dc3e8191bf8"}
{"solution_size":209,"ok":true,"resemblance":0.785714,"problem_id":3102,"solution_spec_hash":"55e3b4a4993ebc53100cda1b5c0b2a2f89304602"}
{"solution_size":2923,"ok":true,"resemblance":0.794786,"problem_id":3392,"solution_spec_hash":"feb20616fb0b4c3574bf1e00aad630b2e5424588"}
{"solution_size":360,"ok":true,"resemblance":0.9375,"problem_id":3719,"solution_spec_hash":"9be736f5aca5598a6e58fade7bafacdb268b4b53"}
{"solution_size":113,"ok":true,"resemblance":0.6,"problem_id":3754,"solution_spec_hash":"d0695091b3e68054622aa38949ac7e95b97ccae0"}
{"solution_size":386,"ok":true,"resemblance":0.76923,"problem_id":3803,"solution_spec_hash":"1bf977f03d136fa2ee87b98bf791a113c756196d"}
{"solution_size":995,"ok":true,"resemblance":1.0,"problem_id":3815,"solution_spec_hash":"118db749e77da3f00f5ff228e9413636dcf5766f"}
{"solution_size":1937,"ok":true,"resemblance":1.0,"problem_id":3916,"solution_spec_hash":"3eb453cd0385cdeaa4ea0c3a6e0020afa2b93494"}
{"solution_size":4130,"ok":true,"resemblance":0.181094,"problem_id":3968,"solution_spec_hash":"5648b104d160bc3efbe8e3baf1eed2c7c88d65b2"}
{"solution_size":974,"ok":true,"resemblance":0.806642,"problem_id":3979,"solution_spec_hash":"84d94d27c18e85bf762468327fff010332153d32"}
{"solution_size":2083,"ok":true,"resemblance":0.326757,"problem_id":4039,"solution_spec_hash":"8ed6b720c309c5cef88c9109e40885656b0bbd36"}
{"solution_size":1302,"ok":true,"resemblance":0.986093,"problem_id":4220,"solution_spec_hash":"9715655d1f9f59bb062310afb1ad25c0f1611bd5"}
{"solution_size":1871,"ok":true,"resemblance":0.417738,"problem_id":4302,"solution_spec_hash":"b0849cee33ff4f951db26d85fa86ef03e64b6088"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4326,"solution_spec_hash":"fff7d491233e9884cd4701b437d45e2904e2635d"}
{"solution_size":585,"ok":true,"resemblance":0.827067,"problem_id":4357,"solution_spec_hash":"20457382f25d4442c910e9ef717056cec60fade4"}
{"solution_size":1767,"ok":true,"resemblance":0.707317,"problem_id":4366,"solution_spec_hash":"003aaedd7c878f97434f3da70fc7883e33817198"}
{"solution_size":296,"ok":true,"resemblance":1.0,"problem_id":4376,"solution_spec_hash":"79b6573b74ee84eeed60791505cfa688f9379166"}
{"solution_size":2414,"ok":true,"resemblance":0.138478,"problem_id":4391,"solution_spec_hash":"ac3a4e6d814a1a31ce2a79b75ffc6e2acfa11d35"}
{"solution_size":2582,"ok":true,"resemblance":0.851154,"problem_id":4423,"solution_spec_hash":"5b8eb9aaf4ed02b868eaa7f367e158a2d68fd436"}
{"solution_size":144,"ok":true,"resemblance":0.666666,"problem_id":4428,"solution_spec_hash":"517c17549dab1e5451d99430ab623ece5ff8c39a"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4488,"solution_spec_hash":"e9ea0d7a2dcbc0ec9b7faba67f7707767d9728c1"}
{"solution_size":159,"ok":true,"resemblance":0.854671,"problem_id":4534,"solution_spec_hash":"09220c6fd8c1745ee81dade6d828949e899781ca"}
{"solution_size":121,"ok":true,"resemblance":1.0,"problem_id":4557,"solution_spec_hash":"3a15a2cd610b7a7478bd6ccc507f19c2e835e5e9"}
{"solution_size":297,"ok":true,"resemblance":0.666666,"problem_id":4579,"solution_spec_hash":"9f23a0e50ac7d9b263b5c4b4198d5f60ce2d0909"}
{"solution_size":3778,"ok":true,"resemblance":0.5,"problem_id":4614,"solution_spec_hash":"3dab98374e1e88290b53a8c56acde82351608666"}
{"solution_size":1391,"ok":true,"resemblance":0.75,"problem_id":4673,"solution_spec_hash":"642b3fb0aaaca8674651ec4a564f7fdca04f9150"}
{"solution_size":3100,"ok":true,"resemblance":0.946961,"problem_id":4685,"solution_spec_hash":"ee5df78e92aea95230fe1ec2168decd14ba307aa"}
{"solution_size":1512,"ok":true,"resemblance":0.861538,"problem_id":4688,"solution_spec_hash":"506ccfd996f1894a6cb9abd18641f8feeab18bfc"}
{"solution_size":591,"ok":true,"resemblance":0.892857,"problem_id":4784,"solution_spec_hash":"a2b6bc84a16a0a7900c1beb6087bad82e770c234"}
{"solution_size":2398,"ok":true,"resemblance":0.605224,"problem_id":4795,"solution_spec_hash":"66f6c18836743610318432083f231b36270c6962"}
{"solution_size":2592,"ok":true,"resemblance":0.708745,"problem_id":4824,"solution_spec_hash":"c15dbb82da648ad5c4538326ae7f9acd1ad07e5b"}
{"solution_size":1624,"ok":true,"resemblance":1.0,"problem_id":4849,"solution_spec_hash":"b5e6768d68eddb51826d5f7db882c71e67dec431"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":4885,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":440,"ok":true,"resemblance":0.674655,"problem_id":4896,"solution_spec_hash":"2c75cb437173e082f549d0c4b494921d37efb485"}
{"solution_size":1913,"ok":true,"resemblance":0.33189,"problem_id":4922,"solution_spec_hash":"c8e2de44706028248d626fa005e4353d13850291"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":4962,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":2760,"ok":true,"resemblance":0.50484,"problem_id":4975,"solution_spec_hash":"df6a3da85c5a359a0c87600b8cfb67705f86c857"}
{"solution_size":217,"ok":true,"resemblance":0.833333,"problem_id":4998,"solution_spec_hash":"e067208b5e532a2f6e2aa7e9b09cc54c45cabc24"}
{"solution_size":1420,"ok":true,"resemblance":0.916666,"problem_id":5021,"solution_spec_hash":"cacbdab3adcfe4cc76de89f7b527816d4a164107"}
{"solution_size":2912,"ok":true,"resemblance":0.977309,"problem_id":5047,"solution_spec_hash":"a8f262d2769eaf51ffea1f44549a7aee89ea5387"}
{"solution_size":2566,"ok":true,"resemblance":0.636468,"problem_id":5069,"solution_spec_hash":"42a5509f802f64078251fa144163008779fea89d"}
{"solution_size":3228,"ok":true,"resemblance":0.753996,"problem_id":5080,"solution_spec_hash":"4db7bf0970ef460f85ce3872c50bf2590935612c"}
{"solution_size":2711,"ok":true,"resemblance":0.461644,"problem_id":5113,"solution_spec_hash":"0c9e1a90b398457c0b9693fc47f3543bb4bb2d8c"}
{"solution_size":90,"ok":true,"resemblance":0.833333,"problem_id":5133,"solution_spec_hash":"7e81f827dbbe955afde2021eec7888a63e24369e"}
{"solution_size":2540,"ok":true,"resemblance":0.33514,"problem_id":5155,"solution_spec_hash":"f74709a3758c8da38e59362ca81dfb50258fe56a"}
{"solution_size":214,"ok":true,"resemblance":1.0,"problem_id":5181,"solution_spec_hash":"8ff49ab25ad83a653a688a09ab24e7f8901097f3"}
{"solution_size":593,"ok":true,"resemblance":0.970339,"problem_id":5182,"solution_spec_hash":"2786e6d70c748f6e53eebd2445e781784413e531"}
{"solution_size":2631,"ok":true,"resemblance":0.977112,"problem_id":5192,"solution_spec_hash":"82ccad6b85d7143923d43fb1d2baf5dfa235e00c"}
{"solution_size":4494,"ok":true,"resemblance":0.062343,"problem_id":5197,"solution_spec_hash":"7b54c20c9247335152bc12617fefdc5731e7f1b4"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":5216,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":2146,"ok":true,"resemblance":0.3553,"problem_id":5249,"solution_spec_hash":"baf87d8e25af675a8713d32453dfb8d97a2c97a7"}
{"solution_size":3706,"ok":true,"resemblance":0.798175,"problem_id":5260,"solution_spec_hash":"01bffdea9f7a7dd305c28ba49db7d7720420ab00"}
{"solution_size":591,"ok":true,"resemblance":0.941619,"problem_id":5262,"solution_spec_hash":"5888eff6296c95141573f6da0e079b31509829c6"}
{"solution_size":804,"ok":true,"resemblance":0.225296,"problem_id":5269,"solution_spec_hash":"f2bee3fee925e6fe0b8a505f1bb0f24887741706"}
{"solution_size":2548,"ok":true,"resemblance":0.843137,"problem_id":5272,"solution_spec_hash":"6dc531be5070fc23104127cac9ae743b3ca43898"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":5286,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":254,"ok":true,"resemblance":1.0,"problem_id":5304,"solution_spec_hash":"119560aa6e707897430ed1dc477e74c940d44d9e"}
{"solution_size":109,"ok":true,"resemblance":0.833333,"problem_id":5317,"solution_spec_hash":"fb6ef23983f4fc2ea6847e449584f6f27cdf8a57"}
{"solution_size":2671,"ok":true,"resemblance":0.813931,"problem_id":5332,"solution_spec_hash":"c54821632cd543d9f77916eb27f74e07fbc144fe"}
{"solution_size":2639,"ok":true,"resemblance":0.738532,"problem_id":5336,"solution_spec_hash":"8dbeaa3ad1559c6500658bbfbd422da8a2e63dcc"}
{"solution_size":1226,"ok":true,"resemblance":0.580645,"problem_id":5337,"solution_spec_hash":"fbd9544ca99a354fc76372cf61deb4938e93620d"}
{"solution_size":199,"ok":true,"resemblance":1.0,"problem_id":5338,"solution_spec_hash":"0db337848566adb7025efd48aa56d6cc44f0c6a8"}
{"solution_size":1992,"ok":true,"resemblance":0.866666,"problem_id":5356,"solution_spec_hash":"666e83c4d3df4a0bdf65796769644c0ff4459abf"}
{"solution_size":2314,"ok":true,"resemblance":0.771472,"problem_id":5373,"solution_spec_hash":"1c359f9c5ceb2f66c217d3af7f55a5c05b7b1c3c"}
{"solution_size":687,"ok":true,"resemblance":1.0,"problem_id":5388,"solution_spec_hash":"3f217c44fe654759175998302cf1b5c3f8abf455"}
{"solution_size":701,"ok":true,"resemblance":1.0,"problem_id":5390,"solution_spec_hash":"5125e2bca501a0107cd23e8e390bed293591b7c6"}
{"solution_size":1074,"ok":true,"resemblance":1.0,"problem_id":5391,"solution_spec_hash":"5ba91386d8284a13ff6d075520da77d7a97c7cda"}
{"solution_size":367,"ok":true,"resemblance":0.75,"problem_id":5392,"solution_spec_hash":"4376d77c55ab06f0e99a96c7b3b9cfc3f625d1d0"}
{"solution_size":310,"ok":true,"resemblance":0.99841,"problem_id":270,"solution_spec_hash":"4056aa87be6e59933ed575bbd391563c07f58c53"}
{"solution_size":31,"ok":true,"resemblance":1.0,"problem_id":336,"solution_spec_hash":"d9bde92839cf689785ce208549024fd460c023f6"}
{"solution_size":59,"ok":true,"resemblance":1.0,"problem_id":983,"solution_spec_hash":"dd5231ee5a298ad35d80289a3575e201124d1e19"}
{"solution_size":2758,"ok":true,"resemblance":0.372862,"problem_id":1276,"solution_spec_hash":"9616ad2d6d65657b9b42ff3229bb961a3169fb2b"}
{"solution_size":87,"ok":true,"resemblance":0.625,"problem_id":1331,"solution_spec_hash":"0c61413ff3f7603e6d44dd73e584103af0b634ba"}
{"solution_size":892,"ok":true,"resemblance":1.0,"problem_id":1438,"solution_spec_hash":"591a14dde38403cb7360534e7bfbf10e74a37224"}
{"solution_size":3501,"ok":true,"resemblance":0.774397,"problem_id":1739,"solution_spec_hash":"09146ff0857171c219e3624126200441bb758201"}
{"solution_size":252,"ok":true,"resemblance":1.0,"problem_id":2051,"solution_spec_hash":"24cdaa075a42ef139000c7c4bcd2f809359a3585"}
{"solution_size":599,"ok":true,"resemblance":0.705014,"problem_id":2296,"solution_spec_hash":"16d30d9fccc96f1c37b48724f8e26f7a04549a0b"}
{"solution_size":4967,"ok":true,"resemblance":1.0,"problem_id":2565,"solution_spec_hash":"7bfacddf8cde4216d08e7c9123c0c41c13f0bf44"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":2600,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":1423,"ok":true,"resemblance":0.847457,"problem_id":2692,"solution_spec_hash":"ca297ef59c1e2927239ba20ebf5756419a10b216"}
{"solution_size":786,"ok":true,"resemblance":0.555555,"problem_id":2809,"solution_spec_hash":"b4995b21b6eaa25b894048cdb4305629901dedbf"}
{"solution_size":696,"ok":true,"resemblance":1.0,"problem_id":2931,"solution_spec_hash":"74c5b18f40f163de73175cd809ddc681f7a7e342"}
{"solution_size":2923,"ok":true,"resemblance":0.794786,"problem_id":3393,"solution_spec_hash":"feb20616fb0b4c3574bf1e00aad630b2e5424588"}
{"solution_size":339,"ok":true,"resemblance":0.9375,"problem_id":3721,"solution_spec_hash":"d6135681c5d1fb45e1691d5640f268b58a338fc6"}
{"solution_size":446,"ok":true,"resemblance":1.0,"problem_id":3816,"solution_spec_hash":"981b99e7e80c90bd73657f9ffcde23a6435d7643"}
{"solution_size":1845,"ok":true,"resemblance":1.0,"problem_id":3919,"solution_spec_hash":"3d55655937d4533e39af5c7a7affcba68ff8ed18"}
{"solution_size":3485,"ok":true,"resemblance":0.232379,"problem_id":3969,"solution_spec_hash":"aa08c6f69c8c5fc0a86d6226ff03a44009412cd8"}
{"solution_size":3315,"ok":true,"resemblance":0.639359,"problem_id":3985,"solution_spec_hash":"0532b24f5a0e1935b7cdcac89806bab93a478df1"}
{"solution_size":2246,"ok":true,"resemblance":0.223862,"problem_id":4040,"solution_spec_hash":"c857a2931170952a6055f073e535e68f0c998a2f"}
{"solution_size":2973,"ok":true,"resemblance":0.693694,"problem_id":4117,"solution_spec_hash":"446e04764bb8ebc7a3f54ccc2ff1937337e84664"}
{"solution_size":4201,"ok":true,"resemblance":0.885239,"problem_id":4304,"solution_spec_hash":"7c35186c2ecbfedacb7533a196bce199b234e620"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4325,"solution_spec_hash":"fff7d491233e9884cd4701b437d45e2904e2635d"}
{"solution_size":585,"ok":true,"resemblance":0.827067,"problem_id":4358,"solution_spec_hash":"20457382f25d4442c910e9ef717056cec60fade4"}
{"solution_size":1759,"ok":true,"resemblance":0.915662,"problem_id":4368,"solution_spec_hash":"f1bdf089a15e7c378f47fa455a2009254b460967"}
{"solution_size":2828,"ok":true,"resemblance":0.321569,"problem_id":4392,"solution_spec_hash":"9a3db1280c220123f8b4756fb420d04e42ba9c9b"}
{"solution_size":292,"ok":true,"resemblance":1.0,"problem_id":4412,"solution_spec_hash":"124065945d56f8849841d6ed9baa456d36fe4a23"}
{"solution_size":4640,"ok":true,"resemblance":0.51496,"problem_id":4424,"solution_spec_hash":"66cc238f054be870a9536b504b291f20582c2376"}
{"solution_size":324,"ok":true,"resemblance":0.85,"problem_id":4440,"solution_spec_hash":"0f6c3ea2981bb3cbfb2adc0e805293186e757bba"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4489,"solution_spec_hash":"4999caf5b4a83852a79f92afa6633b940ef7685e"}
{"solution_size":159,"ok":true,"resemblance":0.854671,"problem_id":4535,"solution_spec_hash":"09220c6fd8c1745ee81dade6d828949e899781ca"}
{"solution_size":145,"ok":true,"resemblance":1.0,"problem_id":4558,"solution_spec_hash":"d09cb2fc9ea7661c898fcaced1022ba198a76b73"}
{"solution_size":352,"ok":true,"resemblance":0.8,"problem_id":4580,"solution_spec_hash":"f9ca40b07793a3850392121314f3e24d3c724dc5"}
{"solution_size":3778,"ok":true,"resemblance":0.5,"problem_id":4615,"solution_spec_hash":"3dab98374e1e88290b53a8c56acde82351608666"}
{"solution_size":1423,"ok":true,"resemblance":0.75,"problem_id":4676,"solution_spec_hash":"9399f8bac2f5e57bb6ccdef577cbd9848c874ee6"}
{"solution_size":1618,"ok":true,"resemblance":0.91568,"problem_id":4691,"solution_spec_hash":"3e3de2b7f942ab4b0f8a1ae5020dd5bcb7d499f4"}
{"solution_size":1450,"ok":true,"resemblance":0.89759,"problem_id":4694,"solution_spec_hash":"5fab60804714a1729454b0e8d095da400b30e835"}
{"solution_size":4584,"ok":true,"resemblance":0.621553,"problem_id":4796,"solution_spec_hash":"855a356135cce321fe9f309ef954dfb7020f794d"}
{"solution_size":1404,"ok":true,"resemblance":0.964261,"problem_id":4825,"solution_spec_hash":"8ef46b8995cd888a245801be40060b2e225f68ff"}
{"solution_size":1624,"ok":true,"resemblance":1.0,"problem_id":4851,"solution_spec_hash":"b5e6768d68eddb51826d5f7db882c71e67dec431"}
{"solution_size":591,"ok":true,"resemblance":0.892857,"problem_id":4875,"solution_spec_hash":"a2b6bc84a16a0a7900c1beb6087bad82e770c234"}
{"solution_size":1108,"ok":true,"resemblance":0.886176,"problem_id":4897,"solution_spec_hash":"09e5ec6257cd70aff1fbbd0ce1e8736affcfdee3"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":4961,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":2450,"ok":true,"resemblance":0.553821,"problem_id":4969,"solution_spec_hash":"dd5abe11ad080fafccba72b525969882a07b0e41"}
{"solution_size":3116,"ok":true,"resemblance":0.269021,"problem_id":4989,"solution_spec_hash":"f4c591bfaa8920465d1d818ec31e6a56e8ea9160"}
{"solution_size":195,"ok":true,"resemblance":0.833333,"problem_id":4999,"solution_spec_hash":"34a38f942229ec8baa847f77785d7248550fa47a"}
{"solution_size":1200,"ok":true,"resemblance":0.923076,"problem_id":5022,"solution_spec_hash":"f29f7400d90c7f72f5afafb687b0a95edee14bc9"}
{"solution_size":1670,"ok":true,"resemblance":0.317514,"problem_id":5048,"solution_spec_hash":"9fae78b36699ec7e33afaa1bcb3333732a135c0c"}
{"solution_size":323,"ok":true,"resemblance":0.75,"problem_id":5057,"solution_spec_hash":"593e8bf81d13f424be8d1b677eaa038b7bed9d6e"}
{"solution_size":2703,"ok":true,"resemblance":0.537728,"problem_id":5072,"solution_spec_hash":"1b786be6dc9db3d8485c47be60cf426ad60005cd"}
{"solution_size":1802,"ok":true,"resemblance":0.364939,"problem_id":5081,"solution_spec_hash":"0179e6e2ecd3128f290541b05c6bcec5a5102bbb"}
{"solution_size":2967,"ok":true,"resemblance":0.3977,"problem_id":5140,"solution_spec_hash":"6dea6e894e818b769319840dec15f2a19832e3cd"}
{"solution_size":1239,"ok":true,"resemblance":0.260599,"problem_id":5156,"solution_spec_hash":"e181910f98c2aa6a162a94ce49e13f29f8e89ed1"}
{"solution_size":1578,"ok":true,"resemblance":0.972639,"problem_id":5183,"solution_spec_hash":"c25a3911ceb3851736e569273b5343f914cd4a7a"}
{"solution_size":243,"ok":true,"resemblance":0.714285,"problem_id":5184,"solution_spec_hash":"09da4b140cc23e86960573b7c51c07b2d4be8b8c"}
{"solution_size":4398,"ok":true,"resemblance":0.248266,"problem_id":5199,"solution_spec_hash":"8c0c8020d445ffc1b3b40228bd097b1c51143656"}
{"solution_size":420,"ok":true,"resemblance":1.0,"problem_id":5205,"solution_spec_hash":"2330ff33f6644daf53efc7a64415bcaf8df77a43"}
{"solution_size":2800,"ok":true,"resemblance":0.398257,"problem_id":5208,"solution_spec_hash":"48cd57b8661d26c59d7ccac76bcee00d401a78e9"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":5215,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":574,"ok":true,"resemblance":0.910025,"problem_id":5266,"solution_spec_hash":"1b5742bc111407a8e4abf57dbc5604d49179ba37"}
{"solution_size":758,"ok":true,"resemblance":0.213286,"problem_id":5270,"solution_spec_hash":"b1dbd5777926ffa0035c473092f8e643e93968c4"}
{"solution_size":1003,"ok":true,"resemblance":0.913043,"problem_id":5273,"solution_spec_hash":"9fd3f6323309f6d6e6d39f570684d9a4d4b66f6f"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":5287,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":254,"ok":true,"resemblance":1.0,"problem_id":5305,"solution_spec_hash":"7d1dc606dbe54294abcbd3eebd58fe67a620b843"}
{"solution_size":109,"ok":true,"resemblance":0.833333,"problem_id":5318,"solution_spec_hash":"fb6ef23983f4fc2ea6847e449584f6f27cdf8a57"}
{"solution_size":3502,"ok":true,"resemblance":0.673718,"problem_id":5333,"solution_spec_hash":"8bde1600787ed777fa4aa55e61d32a44bd2b963d"}
{"solution_size":496,"ok":true,"resemblance":1.0,"problem_id":5349,"solution_spec_hash":"de6707328d21b964bc74dc5f84e0042bff2aeee9"}
{"solution_size":2046,"ok":true,"resemblance":0.866666,"problem_id":5357,"solution_spec_hash":"2987de3086b0b4fa1367806399496e9aa33e3937"}
{"solution_size":274,"ok":true,"resemblance":0.954545,"problem_id":5372,"solution_spec_hash":"b98b049d3f0f9e8a28829c1facdd3f66f8bfd081"}
{"solution_size":3348,"ok":true,"resemblance":0.781872,"problem_id":5374,"solution_spec_hash":"bc268fb98e2bfeaea114e0053ea0fa50e46cb882"}
{"solution_size":113,"ok":true,"resemblance":0.6,"problem_id":5407,"solution_spec_hash":"d0695091b3e68054622aa38949ac7e95b97ccae0"}
{"solution_size":2416,"ok":true,"resemblance":0.684868,"problem_id":5408,"solution_spec_hash":"287254943cc08351935abafc16da06e5e7f17936"}
{"solution_size":2229,"ok":true,"resemblance":0.582467,"problem_id":5411,"solution_spec_hash":"6817549eac00e727dec6d6f0edc22497c4fdacea"}
{"solution_size":234,"ok":true,"resemblance":0.833333,"problem_id":5413,"solution_spec_hash":"bb66370c7e357c73ec96d0c548ae7439e1a20d67"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":5416,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":2639,"ok":true,"resemblance":0.738532,"problem_id":5417,"solution_spec_hash":"8dbeaa3ad1559c6500658bbfbd422da8a2e63dcc"}
{"solution_size":203,"ok":true,"resemblance":1.0,"problem_id":5427,"solution_spec_hash":"e9e41c8310d70549e8ed22a22c54474e3b60cae3"}
{"solution_size":130,"ok":true,"resemblance":0.90909,"problem_id":5436,"solution_spec_hash":"67e2359ce71e574f1c660cf8e651df317bec90d4"}
{"solution_size":1287,"ok":true,"resemblance":0.857142,"problem_id":5454,"solution_spec_hash":"a7360b9fcbd391ab04aab54797515038f3bb4942"}
{"solution_size":1892,"ok":true,"resemblance":0.782312,"problem_id":5455,"solution_spec_hash":"a31d4e443828f00f0ecba07fd54bc6e3fccb6fef"}
{"solution_size":285,"ok":true,"resemblance":0.993105,"problem_id":5456,"solution_spec_hash":"780589c0c734f4714b1cd17c9dceab7ae9f57ae9"}
{"solution_size":705,"ok":true,"resemblance":1.0,"problem_id":5457,"solution_spec_hash":"47013be55a8a8a013b34804851bf5dd8b1d0bb66"}
{"solution_size":3910,"ok":true,"resemblance":0.463307,"problem_id":5459,"solution_spec_hash":"f58f442a5d9287a4c3533a8516391941fd9c8fa3"}
{"solution_size":31,"ok":true,"resemblance":1.0,"problem_id":337,"solution_spec_hash":"d9bde92839cf689785ce208549024fd460c023f6"}
{"solution_size":760,"ok":true,"resemblance":0.899131,"problem_id":387,"solution_spec_hash":"7a5013ad00ff5fe1d5218b48fd0b547ae04b34c2"}
{"solution_size":75,"ok":true,"resemblance":1.0,"problem_id":984,"solution_spec_hash":"bde5ca2e6444818df61670df4e8528e90769016e"}
{"solution_size":2758,"ok":true,"resemblance":0.372862,"problem_id":1277,"solution_spec_hash":"9616ad2d6d65657b9b42ff3229bb961a3169fb2b"}
{"solution_size":87,"ok":true,"resemblance":0.625,"problem_id":1332,"solution_spec_hash":"0c61413ff3f7603e6d44dd73e584103af0b634ba"}
{"solution_size":892,"ok":true,"resemblance":1.0,"problem_id":1430,"solution_spec_hash":"e3acb365850fcf3f17e39ed4d069b53ca361cfa7"}
{"solution_size":2687,"ok":true,"resemblance":0.945834,"problem_id":1740,"solution_spec_hash":"fdb9686f7fa222607b4b4c2c685dbcf3bd688107"}
{"solution_size":254,"ok":true,"resemblance":1.0,"problem_id":2052,"solution_spec_hash":"959223eca44d3571855dd2b673d0e66f89e1e4dc"}
{"solution_size":599,"ok":true,"resemblance":0.705014,"problem_id":2297,"solution_spec_hash":"16d30d9fccc96f1c37b48724f8e26f7a04549a0b"}
{"solution_size":4967,"ok":true,"resemblance":1.0,"problem_id":2564,"solution_spec_hash":"7bfacddf8cde4216d08e7c9123c0c41c13f0bf44"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":2601,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":1423,"ok":true,"resemblance":0.847457,"problem_id":2693,"solution_spec_hash":"ca297ef59c1e2927239ba20ebf5756419a10b216"}
{"solution_size":712,"ok":true,"resemblance":0.555555,"problem_id":2808,"solution_spec_hash":"53eb0a680e2be619238773a28d9bf507a5b3b2ac"}
{"solution_size":1875,"ok":true,"resemblance":0.963083,"problem_id":2932,"solution_spec_hash":"006f45ae25f34cf059c2674ca0a84715cbd26d38"}
{"solution_size":2923,"ok":true,"resemblance":0.794786,"problem_id":3394,"solution_spec_hash":"feb20616fb0b4c3574bf1e00aad630b2e5424588"}
{"solution_size":350,"ok":true,"resemblance":0.9375,"problem_id":3722,"solution_spec_hash":"1ec61ba16224858fa556d05d49b8af3ee98aa9c8"}
{"solution_size":1119,"ok":true,"resemblance":1.0,"problem_id":3817,"solution_spec_hash":"377cf472100632a30570bdbe23c56071334d5e4b"}
{"solution_size":258,"ok":true,"resemblance":0.954545,"problem_id":3875,"solution_spec_hash":"a6dbbd95f78c475a9c9ee4bc51631c0fafcb1688"}
{"solution_size":2054,"ok":true,"resemblance":1.0,"problem_id":3920,"solution_spec_hash":"4c62a3d2f1fe2711c688e40f69aa1d0bfe3e293a"}
{"solution_size":3812,"ok":true,"resemblance":0.187541,"problem_id":3971,"solution_spec_hash":"77ff3ab3e9f9e4cc407d825014390b83520824d7"}
{"solution_size":2494,"ok":true,"resemblance":0.86275,"problem_id":3989,"solution_spec_hash":"2f03f6f81e135a688395ca7c07ff769e10782825"}
{"solution_size":2233,"ok":true,"resemblance":1.0,"problem_id":4041,"solution_spec_hash":"e670a6765038e961348f2e450b216a5b99c994c7"}
{"solution_size":3537,"ok":true,"resemblance":0.863199,"problem_id":4230,"solution_spec_hash":"a341a8a9ce9bdb20e37d83e6ab93c16a7a59de19"}
{"solution_size":2540,"ok":true,"resemblance":0.597994,"problem_id":4305,"solution_spec_hash":"a88f99ee16ee2ba162016c4a132bcf12e1532190"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4324,"solution_spec_hash":"fff7d491233e9884cd4701b437d45e2904e2635d"}
{"solution_size":585,"ok":true,"resemblance":0.827067,"problem_id":4361,"solution_spec_hash":"20457382f25d4442c910e9ef717056cec60fade4"}
{"solution_size":533,"ok":true,"resemblance":1.0,"problem_id":4371,"solution_spec_hash":"24047e681335a6ab78cc724078d5c21ee451446d"}
{"solution_size":2368,"ok":true,"resemblance":0.358442,"problem_id":4393,"solution_spec_hash":"c2f7aef2b690dffa73a0844886c53df89c147bfb"}
{"solution_size":4532,"ok":true,"resemblance":0.886214,"problem_id":4425,"solution_spec_hash":"23dc18f93a68db2d21bdf95f6ab692084e42bf2e"}
{"solution_size":311,"ok":true,"resemblance":1.0,"problem_id":4443,"solution_spec_hash":"5639cde29e9eeb08842aeaddac0e73ff5c23ab26"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4490,"solution_spec_hash":"fff7d491233e9884cd4701b437d45e2904e2635d"}
{"solution_size":101,"ok":true,"resemblance":1.0,"problem_id":4559,"solution_spec_hash":"3ba6e89ed9fbc06f3b37804f3642bd55438bd3ed"}
{"solution_size":270,"ok":true,"resemblance":0.9,"problem_id":4581,"solution_spec_hash":"148a8bcea4f473a6eaafdad4e85de0a455e20596"}
{"solution_size":3778,"ok":true,"resemblance":0.5,"problem_id":4616,"solution_spec_hash":"3dab98374e1e88290b53a8c56acde82351608666"}
{"solution_size":1414,"ok":true,"resemblance":0.75,"problem_id":4678,"solution_spec_hash":"366636a742671a8b92152b4ff598185dfe6303a0"}
{"solution_size":2740,"ok":true,"resemblance":0.745129,"problem_id":4697,"solution_spec_hash":"838fae69cb208c14f67bb268c6e64cf14099b9dc"}
{"solution_size":700,"ok":true,"resemblance":0.677152,"problem_id":4698,"solution_spec_hash":"7e8ba26d790b7363563af79bf8086e355476d54e"}
{"solution_size":3326,"ok":true,"resemblance":0.99994,"problem_id":4797,"solution_spec_hash":"53e2afe93e17ebacf669f087bff7ec8b06bc0dce"}
{"solution_size":2208,"ok":true,"resemblance":0.975001,"problem_id":4826,"solution_spec_hash":"65830dd67d83bbb35d049e0719b57c8a1b1e5615"}
{"solution_size":1624,"ok":true,"resemblance":1.0,"problem_id":4853,"solution_spec_hash":"b5e6768d68eddb51826d5f7db882c71e67dec431"}
{"solution_size":440,"ok":true,"resemblance":0.674655,"problem_id":4898,"solution_spec_hash":"2c75cb437173e082f549d0c4b494921d37efb485"}
{"solution_size":591,"ok":true,"resemblance":0.892857,"problem_id":4905,"solution_spec_hash":"a2b6bc84a16a0a7900c1beb6087bad82e770c234"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":4959,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":3018,"ok":true,"resemblance":0.91941,"problem_id":4973,"solution_spec_hash":"c78d364cf94ba96371f08a5e028b412a75267540"}
{"solution_size":211,"ok":true,"resemblance":0.833333,"problem_id":5000,"solution_spec_hash":"7cc804ab88ac274d2750bfed46a9403d610c08e9"}
{"solution_size":1490,"ok":true,"resemblance":0.958675,"problem_id":5050,"solution_spec_hash":"1ab343bfbf8be49638a7118d58f482fe5ad90527"}
{"solution_size":363,"ok":true,"resemblance":0.75,"problem_id":5061,"solution_spec_hash":"9d76d26b397606718cd9ab6829de43c5dc980a58"}
{"solution_size":2749,"ok":true,"resemblance":0.608079,"problem_id":5074,"solution_spec_hash":"2a1ffebbbfed9f03f0dcaf4ff00bce93f4336a86"}
{"solution_size":1796,"ok":true,"resemblance":0.364939,"problem_id":5082,"solution_spec_hash":"7445425351e931343310b7fea38d27bfb4968cf5"}
{"solution_size":2460,"ok":true,"resemblance":0.484699,"problem_id":5107,"solution_spec_hash":"a74f44bab791fb1fd042c864e947cb0bd432af64"}
{"solution_size":2776,"ok":true,"resemblance":0.411119,"problem_id":5112,"solution_spec_hash":"e1997b76732a68c7cfaadf915516335c696a6352"}
{"solution_size":632,"ok":true,"resemblance":1.0,"problem_id":5146,"solution_spec_hash":"269c0172947e75da1b2c08c52923529f2f4efe9c"}
{"solution_size":3207,"ok":true,"resemblance":0.382064,"problem_id":5157,"solution_spec_hash":"72b6b741e0cefba4eb5059c3830e1c3df5903743"}
{"solution_size":1784,"ok":true,"resemblance":0.90566,"problem_id":5185,"solution_spec_hash":"697a76b08245bbe9277561d207bf204943bd2659"}
{"solution_size":225,"ok":true,"resemblance":1.0,"problem_id":5198,"solution_spec_hash":"9a66a74f88c714b8bfc1a0ae1bffa7e318afd8c2"}
{"solution_size":4494,"ok":true,"resemblance":0.062343,"problem_id":5203,"solution_spec_hash":"7b54c20c9247335152bc12617fefdc5731e7f1b4"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":5214,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":2342,"ok":true,"resemblance":0.414543,"problem_id":5234,"solution_spec_hash":"f49e08bc9a54d7739f98d51d7304d25e3b2dfa7d"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":5288,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":331,"ok":true,"resemblance":0.545454,"problem_id":5301,"solution_spec_hash":"d99edd3dcc980a4c52bf6800df7019797a66609b"}
{"solution_size":254,"ok":true,"resemblance":1.0,"problem_id":5306,"solution_spec_hash":"1fa5d33eb160206477614973d5135252df2d2da3"}
{"solution_size":109,"ok":true,"resemblance":0.833333,"problem_id":5319,"solution_spec_hash":"fb6ef23983f4fc2ea6847e449584f6f27cdf8a57"}
{"solution_size":2725,"ok":true,"resemblance":0.755739,"problem_id":5339,"solution_spec_hash":"ea3eed183da60c46ef78a536f19a2a2ef53f5f03"}
{"solution_size":1668,"ok":true,"resemblance":0.866666,"problem_id":5358,"solution_spec_hash":"e259cc937d50a5b83165633f3d9fde52f3fcc0d9"}
{"solution_size":3237,"ok":true,"resemblance":0.796291,"problem_id":5375,"solution_spec_hash":"d9c7e2f02edc3eb79ce696fb1cab5ff76d60e459"}
{"solution_size":1607,"ok":true,"resemblance":0.998549,"problem_id":5393,"solution_spec_hash":"86035bc236b5821828c492006bc6c7db8d6c1615"}
{"solution_size":113,"ok":true,"resemblance":0.6,"problem_id":5406,"solution_spec_hash":"d0695091b3e68054622aa38949ac7e95b97ccae0"}
{"solution_size":350,"ok":true,"resemblance":0.833333,"problem_id":5412,"solution_spec_hash":"d82456403cf365095942bb60d1b6ba03a35abbfc"}
{"solution_size":4176,"ok":true,"resemblance":0.783159,"problem_id":5414,"solution_spec_hash":"abf152d74627e023a82208d366a1a5800d6347b8"}
{"solution_size":2639,"ok":true,"resemblance":0.738532,"problem_id":5418,"solution_spec_hash":"8dbeaa3ad1559c6500658bbfbd422da8a2e63dcc"}
{"solution_size":496,"ok":true,"resemblance":1.0,"problem_id":5426,"solution_spec_hash":"de6707328d21b964bc74dc5f84e0042bff2aeee9"}
{"solution_size":131,"ok":true,"resemblance":0.90909,"problem_id":5439,"solution_spec_hash":"07eb134fef803cbb68984f28b5b8d148603bd04e"}
{"solution_size":2544,"ok":true,"resemblance":0.950205,"problem_id":5460,"solution_spec_hash":"e12f172d07357eb314ba2906fec5cc54e380412b"}
{"solution_size":341,"ok":true,"resemblance":0.782312,"problem_id":5472,"solution_spec_hash":"2b28b9c1ab136d45b197b61b99a5ffb0ebc95ed5"}
{"solution_size":173,"ok":true,"resemblance":1.0,"problem_id":5473,"solution_spec_hash":"fbf53e6445f87182211a6b6719815d6911657383"}
{"solution_size":1548,"ok":true,"resemblance":0.857142,"problem_id":5486,"solution_spec_hash":"02e7c6a565a93776b1a59ad479d0f97d5794cc5e"}
{"solution_size":448,"ok":true,"resemblance":1.0,"problem_id":5491,"solution_spec_hash":"becf8c1a88acf3a78b60de26cf0a9c52ed7aa37e"}
{"solution_size":819,"ok":true,"resemblance":0.856022,"problem_id":5492,"solution_spec_hash":"fec4254651cf5a6b25f32faed1b5a894d2f53f97"}
{"solution_size":116,"ok":true,"resemblance":1.0,"problem_id":5505,"solution_spec_hash":"4677b4f8863cf777f1ffc8e62e7b7b8a8323b36f"}
{"solution_size":520,"ok":true,"resemblance":0.911411,"problem_id":5511,"solution_spec_hash":"fdcbee6d33b75988dbc38c9366f5c58624c2c688"}
{"solution_size":534,"ok":true,"resemblance":0.925079,"problem_id":5524,"solution_spec_hash":"590724e74f82b0fe3fce19d2c3bcac4afd78c5ab"}
{"solution_size":1875,"ok":true,"resemblance":0.714285,"problem_id":5526,"solution_spec_hash":"7d5ab9ab26c75bdcc5bf7be16ff44d03718dab80"}
{"solution_size":2337,"ok":true,"resemblance":0.593096,"problem_id":5533,"solution_spec_hash":"acb68bfd579cd03359cdaaa9c8299e19f6f6251d"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":5536,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":31,"ok":true,"resemblance":1.0,"problem_id":338,"solution_spec_hash":"d9bde92839cf689785ce208549024fd460c023f6"}
{"solution_size":107,"ok":true,"resemblance":1.0,"problem_id":985,"solution_spec_hash":"e76f35127c38961f6de23a68a9240a6a68c1dbcc"}
{"solution_size":2758,"ok":true,"resemblance":0.372862,"problem_id":1278,"solution_spec_hash":"9616ad2d6d65657b9b42ff3229bb961a3169fb2b"}
{"solution_size":87,"ok":true,"resemblance":0.625,"problem_id":1334,"solution_spec_hash":"0c61413ff3f7603e6d44dd73e584103af0b634ba"}
{"solution_size":892,"ok":true,"resemblance":1.0,"problem_id":1421,"solution_spec_hash":"0e623fe61a915a150786000d3ea8383502ee7c11"}
{"solution_size":1841,"ok":true,"resemblance":0.978265,"problem_id":1741,"solution_spec_hash":"6d0f4e59cabe1cc70a2cb6579dccb408a0e5cea1"}
{"solution_size":243,"ok":true,"resemblance":1.0,"problem_id":2053,"solution_spec_hash":"57899f5f24bc8116ee21371a2e929710bb953db1"}
{"solution_size":599,"ok":true,"resemblance":0.705014,"problem_id":2298,"solution_spec_hash":"16d30d9fccc96f1c37b48724f8e26f7a04549a0b"}
{"solution_size":4967,"ok":true,"resemblance":1.0,"problem_id":2563,"solution_spec_hash":"7bfacddf8cde4216d08e7c9123c0c41c13f0bf44"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":2602,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":1423,"ok":true,"resemblance":0.847457,"problem_id":2694,"solution_spec_hash":"ca297ef59c1e2927239ba20ebf5756419a10b216"}
{"solution_size":752,"ok":true,"resemblance":0.555555,"problem_id":2804,"solution_spec_hash":"2ff407034cdb30b0a4714fd6ffbb36bdb77a355a"}
{"solution_size":3932,"ok":true,"resemblance":0.946554,"problem_id":2933,"solution_spec_hash":"07d9383d98a3ef79f5e6d4ea4495bab6274e70b3"}
{"solution_size":344,"ok":true,"resemblance":0.9375,"problem_id":3723,"solution_spec_hash":"53c649111762e661eb09aa95a7e738ce4625382d"}
{"solution_size":1756,"ok":true,"resemblance":1.0,"problem_id":3921,"solution_spec_hash":"068a7541f815b59c5f734ed2eff8fdd1a49fc4a6"}
{"solution_size":3422,"ok":true,"resemblance":0.222763,"problem_id":3974,"solution_spec_hash":"9c5c3457b177be3b59fe9e1520258c515de0a3fd"}
{"solution_size":4170,"ok":true,"resemblance":0.762169,"problem_id":3992,"solution_spec_hash":"780173f42af2dc771d583be424a36348956533ed"}
{"solution_size":3031,"ok":true,"resemblance":0.405396,"problem_id":4042,"solution_spec_hash":"09b33f6adbf0bfa6f7796e8ad6177b920fddef85"}
{"solution_size":1780,"ok":true,"resemblance":0.697587,"problem_id":4119,"solution_spec_hash":"8950efb686c917a6274deba5548a4fd5c2fbd00b"}
{"solution_size":2866,"ok":true,"resemblance":0.888472,"problem_id":4250,"solution_spec_hash":"6c57f256d74538fb365798a85b03fa0904306714"}
{"solution_size":118,"ok":true,"resemblance":0.625,"problem_id":4251,"solution_spec_hash":"01957fb10d0338fbfcd3efb76c5bf962b09f799a"}
{"solution_size":3885,"ok":true,"resemblance":0.848522,"problem_id":4306,"solution_spec_hash":"62cf4a4a960daff910cefa840e7648ead615a126"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4323,"solution_spec_hash":"fff7d491233e9884cd4701b437d45e2904e2635d"}
{"solution_size":2714,"ok":true,"resemblance":0.868421,"problem_id":4380,"solution_spec_hash":"1ed25978302d046b13782d97bc0a57ead863f1c5"}
{"solution_size":3320,"ok":true,"resemblance":0.639257,"problem_id":4394,"solution_spec_hash":"d0793ef56a80e4dc07ffb6d36e10d203f80aafb0"}
{"solution_size":1953,"ok":true,"resemblance":0.81772,"problem_id":4426,"solution_spec_hash":"d3b2e5c90afeacf93890ba77ce3461688046d209"}
{"solution_size":298,"ok":true,"resemblance":1.0,"problem_id":4446,"solution_spec_hash":"377818c74bf45dfa8ece5c0c519b89c0255fa89c"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4491,"solution_spec_hash":"e1593f5c362669a9d51d3649ec8716f5cfdb6331"}
{"solution_size":135,"ok":true,"resemblance":1.0,"problem_id":4560,"solution_spec_hash":"500a2b01908d02a9bd28dac1ff114e69784834e3"}
{"solution_size":173,"ok":true,"resemblance":0.75,"problem_id":4582,"solution_spec_hash":"b9e75f06226bc82f198193f732896995c3925fa2"}
{"solution_size":3778,"ok":true,"resemblance":0.5,"problem_id":4617,"solution_spec_hash":"3dab98374e1e88290b53a8c56acde82351608666"}
{"solution_size":1387,"ok":true,"resemblance":0.75,"problem_id":4680,"solution_spec_hash":"ec557ff341188fdc533afe25d88546248d292aa5"}
{"solution_size":1234,"ok":true,"resemblance":0.924477,"problem_id":4699,"solution_spec_hash":"f36932f02f1bf6518f6867e36fab6dcd6fc44b92"}
{"solution_size":1749,"ok":true,"resemblance":0.900552,"problem_id":4700,"solution_spec_hash":"967a8a700fc7a3112d439747775e7f8e6fb188bc"}
{"solution_size":2395,"ok":true,"resemblance":0.993686,"problem_id":4828,"solution_spec_hash":"b0d771a97c7d470407c694fc41493e267e7474d5"}
{"solution_size":1624,"ok":true,"resemblance":1.0,"problem_id":4857,"solution_spec_hash":"b5e6768d68eddb51826d5f7db882c71e67dec431"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":4958,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":3330,"ok":true,"resemblance":0.917993,"problem_id":4976,"solution_spec_hash":"60db5c79ebebe8673cd17d209dcb2d464e4af40f"}
{"solution_size":196,"ok":true,"resemblance":0.833333,"problem_id":5001,"solution_spec_hash":"647419b29b06524921c3640fd79b2dc6fbf3ab5c"}
{"solution_size":2274,"ok":true,"resemblance":0.907849,"problem_id":5051,"solution_spec_hash":"21509fdcc6f80d8ea5e517a63e9858f219df6d54"}
{"solution_size":357,"ok":true,"resemblance":0.75,"problem_id":5064,"solution_spec_hash":"8351ae16127cc958d2736f65662e95ef739eb9ac"}
{"solution_size":2960,"ok":true,"resemblance":0.797705,"problem_id":5075,"solution_spec_hash":"f7aee294a4699ab68a041caa63de6c2f96eda0c0"}
{"solution_size":2568,"ok":true,"resemblance":0.645584,"problem_id":5083,"solution_spec_hash":"227b6eeee534f4ee0cb55afe099cdcac50324ffe"}
{"solution_size":2892,"ok":true,"resemblance":0.623268,"problem_id":5108,"solution_spec_hash":"640a98916b72b612e63124e1bf04b23c0b866e31"}
{"solution_size":3352,"ok":true,"resemblance":0.297869,"problem_id":5115,"solution_spec_hash":"70ae5cd8a18a2d53fe5f84f72000e936f0d75ebc"}
{"solution_size":2572,"ok":true,"resemblance":0.33514,"problem_id":5158,"solution_spec_hash":"be197d9021d74ac87db1fbc4abfe00fc2e440f52"}
{"solution_size":2289,"ok":true,"resemblance":0.512876,"problem_id":5168,"solution_spec_hash":"cd00bab3e191aee53ad3c8b9e8b904c88d27385d"}
{"solution_size":267,"ok":true,"resemblance":0.866666,"problem_id":5186,"solution_spec_hash":"a30ec29d52f4062a88f7e95c737a8f37758fd831"}
{"solution_size":4398,"ok":true,"resemblance":0.248266,"problem_id":5204,"solution_spec_hash":"8c0c8020d445ffc1b3b40228bd097b1c51143656"}
{"solution_size":219,"ok":true,"resemblance":1.0,"problem_id":5207,"solution_spec_hash":"9c49c14ffcbe33a728ab1f64c037de41fca5a101"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":5213,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":5289,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":254,"ok":true,"resemblance":1.0,"problem_id":5307,"solution_spec_hash":"c6ba8b45e21878848a9fb19039246be727a140ca"}
{"solution_size":109,"ok":true,"resemblance":0.833333,"problem_id":5320,"solution_spec_hash":"fb6ef23983f4fc2ea6847e449584f6f27cdf8a57"}
{"solution_size":3856,"ok":true,"resemblance":0.728862,"problem_id":5347,"solution_spec_hash":"fb07d82afbee6145171ba2ae4c464bff19be59cb"}
{"solution_size":2098,"ok":true,"resemblance":0.866666,"problem_id":5359,"solution_spec_hash":"1a2e2d2c4304314fa5bc7259b1c3893c4ffc34eb"}
{"solution_size":228,"ok":true,"resemblance":0.954545,"problem_id":5371,"solution_spec_hash":"a5f63cd654525ceb0c20da75ed3fb9c3e089fda5"}
{"solution_size":3131,"ok":true,"resemblance":0.798035,"problem_id":5376,"solution_spec_hash":"e6f3919a281e03a6d690c078b54f1b7b0b613d34"}
{"solution_size":113,"ok":true,"resemblance":0.6,"problem_id":5405,"solution_spec_hash":"d0695091b3e68054622aa38949ac7e95b97ccae0"}
{"solution_size":466,"ok":true,"resemblance":0.833333,"problem_id":5415,"solution_spec_hash":"87885dad417f44e456145195695afc29cbd69c33"}
{"solution_size":2639,"ok":true,"resemblance":0.738532,"problem_id":5419,"solution_spec_hash":"8dbeaa3ad1559c6500658bbfbd422da8a2e63dcc"}
{"solution_size":2276,"ok":true,"resemblance":0.678157,"problem_id":5443,"solution_spec_hash":"f3fd8040e7a2d6571c477d5bc2425cee5ce2858d"}
{"solution_size":229,"ok":true,"resemblance":0.642857,"problem_id":5476,"solution_spec_hash":"192e5892a099a0abd3edc1e0b3161652ad80abcf"}
{"solution_size":557,"ok":true,"resemblance":0.782312,"problem_id":5482,"solution_spec_hash":"c7e5393c4ea0fc1af50ad83288bb8a1d4092113a"}
{"solution_size":224,"ok":true,"resemblance":1.0,"problem_id":5487,"solution_spec_hash":"e2422e5db30a3c6e1a56d507472a19accebafa13"}
{"solution_size":4325,"ok":true,"resemblance":0.830522,"problem_id":5493,"solution_spec_hash":"8f33b9fffab40ae21cef2b8ae1649f57e02657f2"}
{"solution_size":595,"ok":true,"resemblance":0.911411,"problem_id":5508,"solution_spec_hash":"b24f072f6ea5d5cf0eadb1a34f0b17803fcf08e5"}
{"solution_size":499,"ok":true,"resemblance":1.0,"problem_id":5525,"solution_spec_hash":"d5f75de8f660ecab476c9a5ab9f8b78a265b405a"}
{"solution_size":173,"ok":true,"resemblance":1.0,"problem_id":5554,"solution_spec_hash":"e25397d293a35e7a0676f8d0783cff4cc5e78fbd"}
{"solution_size":2779,"ok":true,"resemblance":0.566997,"problem_id":5570,"solution_spec_hash":"5a81744c06343419e4ea7dfd2f4c48943929aaa6"}
{"solution_size":1737,"ok":true,"resemblance":0.329208,"problem_id":5571,"solution_spec_hash":"aebdecd0f2ced8c54c486f3a769ec0fbd292dd77"}
{"solution_size":2553,"ok":true,"resemblance":0.673191,"problem_id":5575,"solution_spec_hash":"2a57855098d70bd7bd18bb36cb07325de7ac5762"}
{"solution_size":1011,"ok":true,"resemblance":1.0,"problem_id":5581,"solution_spec_hash":"38b8d30b15eef4c220cef489e6dd569df942fbab"}
{"solution_size":935,"ok":true,"resemblance":0.928571,"problem_id":5583,"solution_spec_hash":"6524c9f0a2de15b84642fe42736d0ddb1adb77a6"}
{"solution_size":2829,"ok":true,"resemblance":0.458009,"problem_id":5591,"solution_spec_hash":"8b1fbd18600d2b597faa9e945675dbc96d3c5778"}
{"solution_size":794,"ok":true,"resemblance":0.763157,"problem_id":5599,"solution_spec_hash":"66bcb2b609c82f8b69b7981e6f904323244f48af"}
{"solution_size":3496,"ok":true,"resemblance":0.950207,"problem_id":5600,"solution_spec_hash":"c1f580a29d9c2dc36a7ece0cad80f67c9d7fb05d"}
{"solution_size":2923,"ok":true,"resemblance":0.794786,"problem_id":5601,"solution_spec_hash":"feb20616fb0b4c3574bf1e00aad630b2e5424588"}
{"solution_size":707,"ok":true,"resemblance":0.202492,"problem_id":5608,"solution_spec_hash":"2e0fd027258023fcbda68531faa1e17a9f926239"}
{"solution_size":591,"ok":true,"resemblance":0.892857,"problem_id":5609,"solution_spec_hash":"a2b6bc84a16a0a7900c1beb6087bad82e770c234"}
{"solution_size":1425,"ok":true,"resemblance":0.911013,"problem_id":5611,"solution_spec_hash":"2338ae78504c581d92ee38abf16e55ea736b18ac"}
{"solution_size":417,"ok":true,"resemblance":1.0,"problem_id":5612,"solution_spec_hash":"d57137fa46df24d4d3546f17169cedfb920757d5"}
{"solution_size":31,"ok":true,"resemblance":1.0,"problem_id":339,"solution_spec_hash":"d9bde92839cf689785ce208549024fd460c023f6"}
{"solution_size":99,"ok":true,"resemblance":1.0,"problem_id":986,"solution_spec_hash":"aa3112aab69192425f6458ac992a85e0ec26950f"}
{"solution_size":2758,"ok":true,"resemblance":0.372862,"problem_id":1279,"solution_spec_hash":"9616ad2d6d65657b9b42ff3229bb961a3169fb2b"}
{"solution_size":87,"ok":true,"resemblance":0.625,"problem_id":1335,"solution_spec_hash":"0c61413ff3f7603e6d44dd73e584103af0b634ba"}
{"solution_size":892,"ok":true,"resemblance":1.0,"problem_id":1443,"solution_spec_hash":"b4016608a13e0149b44d6576b393cf34c4f0aa54"}
{"solution_size":3895,"ok":true,"resemblance":0.71883,"problem_id":1742,"solution_spec_hash":"afc3169f420cb8c4e08ec9b06e6d0c7393a09a32"}
{"solution_size":244,"ok":true,"resemblance":1.0,"problem_id":2054,"solution_spec_hash":"b375a143a5e80b595a20ee16d641fde3f84305b8"}
{"solution_size":599,"ok":true,"resemblance":0.705014,"problem_id":2299,"solution_spec_hash":"16d30d9fccc96f1c37b48724f8e26f7a04549a0b"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":2603,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":1423,"ok":true,"resemblance":0.847457,"problem_id":2695,"solution_spec_hash":"ca297ef59c1e2927239ba20ebf5756419a10b216"}
{"solution_size":712,"ok":true,"resemblance":0.555555,"problem_id":2801,"solution_spec_hash":"53eb0a680e2be619238773a28d9bf507a5b3b2ac"}
{"solution_size":2642,"ok":true,"resemblance":0.872241,"problem_id":2935,"solution_spec_hash":"07acdbf64831b4b64ef242eb9ef0a50c61c76a08"}
{"solution_size":360,"ok":true,"resemblance":0.9375,"problem_id":3724,"solution_spec_hash":"d45b6792ab1cd0dee88efb5c459428dd201d0b33"}
{"solution_size":1816,"ok":true,"resemblance":1.0,"problem_id":3924,"solution_spec_hash":"0473bed508fb2fab06b4ac177cc0be23ec4e0fde"}
{"solution_size":3748,"ok":true,"resemblance":0.719852,"problem_id":4043,"solution_spec_hash":"eabcfdcca9d695866126a23f1bf6d581d7b3b6f3"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4322,"solution_spec_hash":"fff7d491233e9884cd4701b437d45e2904e2635d"}
{"solution_size":3371,"ok":true,"resemblance":0.369059,"problem_id":4395,"solution_spec_hash":"95cafd45e6bf74fbef439c9ca9e30073bac18f67"}
{"ok":false,"error":"Invalid solution spec: Solution size limit exceeded."}
{"solution_size":316,"ok":true,"resemblance":1.0,"problem_id":4451,"solution_spec_hash":"a18934ef9e31402bcac89d39f82318b3ca80b1f4"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4492,"solution_spec_hash":"0a400af14e969b55a93dc6ad20dbfc22811cff45"}
{"solution_size":413,"ok":true,"resemblance":1.0,"problem_id":4583,"solution_spec_hash":"b35150e82d4bbca7398e3eea2e077f088ffc12f4"}
{"solution_size":3778,"ok":true,"resemblance":0.5,"problem_id":4618,"solution_spec_hash":"3dab98374e1e88290b53a8c56acde82351608666"}
{"solution_size":1554,"ok":true,"resemblance":0.75,"problem_id":4682,"solution_spec_hash":"285398b97e6d4dea01d2d366eb6366e0deaaa526"}
{"solution_size":3899,"ok":true,"resemblance":0.852173,"problem_id":4702,"solution_spec_hash":"69a5fd3e081270621c4e1190cf225c395dff2027"}
{"solution_size":676,"ok":true,"resemblance":0.873271,"problem_id":4719,"solution_spec_hash":"9807341fb494bf7617e75c86d4a8eda4827083ad"}
{"solution_size":2332,"ok":true,"resemblance":0.980114,"problem_id":4829,"solution_spec_hash":"50e1c2527ad1f487b12e580719d35abaa32341cb"}
{"solution_size":1624,"ok":true,"resemblance":1.0,"problem_id":4856,"solution_spec_hash":"b5e6768d68eddb51826d5f7db882c71e67dec431"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":4957,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":2526,"ok":true,"resemblance":0.783481,"problem_id":4981,"solution_spec_hash":"2149f78a3c99157f0f09f796eb07acbb1ee5729d"}
{"solution_size":201,"ok":true,"resemblance":0.833333,"problem_id":5002,"solution_spec_hash":"69a64e5a9fb337e76319b0072e6ec4e85717bf12"}
{"solution_size":3541,"ok":true,"resemblance":0.432446,"problem_id":5053,"solution_spec_hash":"fcff6da71a785520937fa479465b31b213b35999"}
{"solution_size":3299,"ok":true,"resemblance":0.753996,"problem_id":5084,"solution_spec_hash":"148d20acdcd9161ad2874b94ec692013abb41b79"}
{"solution_size":1922,"ok":true,"resemblance":0.461125,"problem_id":5097,"solution_spec_hash":"b35098a0047cac4d2aec932287b022df1fa06a53"}
{"solution_size":2181,"ok":true,"resemblance":0.656389,"problem_id":5121,"solution_spec_hash":"3a881b50829437f6223f9b112edfdb21ad0318c4"}
{"solution_size":2686,"ok":true,"resemblance":0.196952,"problem_id":5135,"solution_spec_hash":"1824d9fa45dcfea5d5d49e9d1b9ad29c478747b3"}
{"solution_size":1209,"ok":true,"resemblance":0.260599,"problem_id":5159,"solution_spec_hash":"4072b7b483e69823f92c9d7acec9e07dfc218cc0"}
{"solution_size":1148,"ok":true,"resemblance":1.0,"problem_id":5174,"solution_spec_hash":"4857110ca8cf3bcf9f3f9cb29ba5a103bc23b5fa"}
{"solution_size":1784,"ok":true,"resemblance":0.90566,"problem_id":5178,"solution_spec_hash":"697a76b08245bbe9277561d207bf204943bd2659"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":5212,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":420,"ok":true,"resemblance":1.0,"problem_id":5231,"solution_spec_hash":"2330ff33f6644daf53efc7a64415bcaf8df77a43"}
{"solution_size":1681,"ok":true,"resemblance":0.484076,"problem_id":5252,"solution_spec_hash":"e843be5157b8c1966b532cde246d3cfa0aea983e"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":5290,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":254,"ok":true,"resemblance":1.0,"problem_id":5308,"solution_spec_hash":"7d7a3d6fac69f92c0ce283af9510c7892301b360"}
{"solution_size":109,"ok":true,"resemblance":0.833333,"problem_id":5321,"solution_spec_hash":"fb6ef23983f4fc2ea6847e449584f6f27cdf8a57"}
{"solution_size":1628,"ok":true,"resemblance":0.653692,"problem_id":5348,"solution_spec_hash":"2df62698fcc971ff0ef38e8a5a70f305dbaff003"}
{"solution_size":1651,"ok":true,"resemblance":0.866666,"problem_id":5360,"solution_spec_hash":"2d25e63e160ca4641cccfb6cfee38c079ae7ff71"}
{"solution_size":2761,"ok":true,"resemblance":0.773249,"problem_id":5377,"solution_spec_hash":"453d06b735835959369dc9480f62a3fca3047058"}
{"solution_size":113,"ok":true,"resemblance":0.6,"problem_id":5404,"solution_spec_hash":"d0695091b3e68054622aa38949ac7e95b97ccae0"}
{"solution_size":2639,"ok":true,"resemblance":0.738532,"problem_id":5420,"solution_spec_hash":"8dbeaa3ad1559c6500658bbfbd422da8a2e63dcc"}
{"solution_size":4819,"ok":true,"resemblance":1.0,"problem_id":5444,"solution_spec_hash":"d2d683b54b33a81146157909b8de5ae02eb52aff"}
{"solution_size":555,"ok":true,"resemblance":0.782312,"problem_id":5483,"solution_spec_hash":"fa04dbb9179c6a43ff6e69aec0640ad14aed40cf"}
{"solution_size":2767,"ok":true,"resemblance":0.872974,"problem_id":5494,"solution_spec_hash":"050c3214be89fede8c02187c944764e7dec56a9c"}
{"solution_size":306,"ok":true,"resemblance":0.65,"problem_id":5507,"solution_spec_hash":"fdeb3dec64bfa3b9b495ba283745ad6a009a997c"}
{"solution_size":630,"ok":true,"resemblance":0.911411,"problem_id":5509,"solution_spec_hash":"3094cfeaacd2ad479e62492a519aaab27b1aa93a"}
{"solution_size":517,"ok":true,"resemblance":0.925079,"problem_id":5527,"solution_spec_hash":"68b08455953e192694094fa7a824b127a90f7eac"}
{"solution_size":2173,"ok":true,"resemblance":1.0,"problem_id":5546,"solution_spec_hash":"251c8976e80c38e9d117af840ecd4b90af6c883e"}
{"solution_size":802,"ok":true,"resemblance":1.0,"problem_id":5563,"solution_spec_hash":"170775f293def382b8df3aa0905011c5358e0c38"}
{"solution_size":3217,"ok":true,"resemblance":0.96999,"problem_id":5576,"solution_spec_hash":"2bfae24bb6f785c61c93d2e0a17e50f0cbdba06c"}
{"solution_size":2923,"ok":true,"resemblance":0.794786,"problem_id":5602,"solution_spec_hash":"feb20616fb0b4c3574bf1e00aad630b2e5424588"}
{"solution_size":822,"ok":true,"resemblance":0.782051,"problem_id":5603,"solution_spec_hash":"d2c0c89dcff3d24cc46eb3731c3b7fc3b6aaef9a"}
{"solution_size":2600,"ok":true,"resemblance":0.528482,"problem_id":5613,"solution_spec_hash":"6b8c3ae486836d6fa5d32839864d59d2129fd759"}
{"solution_size":2000,"ok":true,"resemblance":0.284138,"problem_id":5617,"solution_spec_hash":"badfa05bc148cdf3cc6c368add0d92d94f49a873"}
{"solution_size":1760,"ok":true,"resemblance":0.857142,"problem_id":5635,"solution_spec_hash":"bcca133b608e764f62e78a1a43090cc1aa64a682"}
{"solution_size":165,"ok":true,"resemblance":1.0,"problem_id":5642,"solution_spec_hash":"d334221d411b1627a048f3f0c06e8da356ce3149"}
{"solution_size":500,"ok":true,"resemblance":1.0,"problem_id":5644,"solution_spec_hash":"aae3b342f324d6b7a0df13b3122c75cfdae53b82"}
{"solution_size":1849,"ok":true,"resemblance":0.335389,"problem_id":5648,"solution_spec_hash":"da1499f19cdd428d653c38ca0275bd52cf8caa5c"}
{"solution_size":502,"ok":true,"resemblance":0.907407,"problem_id":5654,"solution_spec_hash":"97395342e62e1f0c1c7707bcb33c6529af3226ed"}
{"solution_size":1808,"ok":true,"resemblance":0.494792,"problem_id":5672,"solution_spec_hash":"848f537ae202a18a1b0031f9462e604d1d8a19d5"}
{"solution_size":777,"ok":true,"resemblance":1.0,"problem_id":5685,"solution_spec_hash":"da5062d6000fc00ecaed88d675663512c00c642b"}
{"solution_size":3506,"ok":true,"resemblance":0.674348,"problem_id":5688,"solution_spec_hash":"0a901d2cb3518978e7f8a11279a4e50457bdc336"}
{"solution_size":4494,"ok":true,"resemblance":0.062343,"problem_id":5705,"solution_spec_hash":"7b54c20c9247335152bc12617fefdc5731e7f1b4"}
{"solution_size":2672,"ok":true,"resemblance":0.497513,"problem_id":5719,"solution_spec_hash":"1af2e5f85298927aea221e8e6579654bc6e340fa"}
{"solution_size":2883,"ok":true,"resemblance":0.526134,"problem_id":5737,"solution_spec_hash":"32837d8dcc70d045667234953d9cb1d236f9420f"}
{"solution_size":275,"ok":true,"resemblance":0.75,"problem_id":5742,"solution_spec_hash":"ac463b673ea4d8a04aab917d1b80f0194c9d221f"}
{"solution_size":591,"ok":true,"resemblance":0.892857,"problem_id":5746,"solution_spec_hash":"a2b6bc84a16a0a7900c1beb6087bad82e770c234"}
{"solution_size":196,"ok":true,"resemblance":1.0,"problem_id":5762,"solution_spec_hash":"46dbde3eb029c08c48666adcd843d8933a674554"}
{"solution_size":1942,"ok":true,"resemblance":0.630232,"problem_id":5770,"solution_spec_hash":"23101db3841c52df091010b23919f27bfa5223aa"}
{"solution_size":253,"ok":true,"resemblance":1.0,"problem_id":5774,"solution_spec_hash":"2d13417f7a2a9e41f28a6ef62cb011a123e11d36"}
{"solution_size":679,"ok":true,"resemblance":0.192737,"problem_id":5776,"solution_spec_hash":"88a3bc902c70f9e3086b9e2e310873f6417cd940"}
{"solution_size":3484,"ok":true,"resemblance":0.222879,"problem_id":5777,"solution_spec_hash":"9c2e35cf308c9fd4219fd3e725da29c142cd9a96"}
{"solution_size":31,"ok":true,"resemblance":1.0,"problem_id":340,"solution_spec_hash":"d9bde92839cf689785ce208549024fd460c023f6"}
{"solution_size":95,"ok":true,"resemblance":1.0,"problem_id":987,"solution_spec_hash":"8dd84af7146c5a0aa17818080ce2a930233c0555"}
{"solution_size":2758,"ok":true,"resemblance":0.372862,"problem_id":1280,"solution_spec_hash":"9616ad2d6d65657b9b42ff3229bb961a3169fb2b"}
{"solution_size":87,"ok":true,"resemblance":0.625,"problem_id":1336,"solution_spec_hash":"0c61413ff3f7603e6d44dd73e584103af0b634ba"}
{"solution_size":892,"ok":true,"resemblance":1.0,"problem_id":1435,"solution_spec_hash":"f3710e13517da3be33173afee5071e8f15f8db9f"}
{"solution_size":3073,"ok":true,"resemblance":0.935515,"problem_id":1744,"solution_spec_hash":"198a7a8117f46a76f605df2f394f1bf2cf0d9536"}
{"solution_size":252,"ok":true,"resemblance":1.0,"problem_id":2055,"solution_spec_hash":"abb07dcb2a77500ec5a739015f7e2a01c2e24281"}
{"solution_size":599,"ok":true,"resemblance":0.705014,"problem_id":2300,"solution_spec_hash":"16d30d9fccc96f1c37b48724f8e26f7a04549a0b"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":2604,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":1423,"ok":true,"resemblance":0.847457,"problem_id":2696,"solution_spec_hash":"ca297ef59c1e2927239ba20ebf5756419a10b216"}
{"solution_size":756,"ok":true,"resemblance":0.555555,"problem_id":2800,"solution_spec_hash":"b238ab9cbb726f0b170f032940c68ca6a4a991b3"}
{"solution_size":1407,"ok":true,"resemblance":0.925079,"problem_id":2936,"solution_spec_hash":"256818affb5cf5f111b01318385fbacece624836"}
{"solution_size":329,"ok":true,"resemblance":0.9375,"problem_id":3725,"solution_spec_hash":"6f4a35e3e933e84493feee27b3ae5ebcd63fb0ba"}
{"solution_size":2023,"ok":true,"resemblance":1.0,"problem_id":3925,"solution_spec_hash":"ccb941956721619493cca60ca9d54e506531fc48"}
{"solution_size":1771,"ok":true,"resemblance":0.967775,"problem_id":4044,"solution_spec_hash":"ab40016e620f6b90f1c9e920471c8b57116a2fd3"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4321,"solution_spec_hash":"fff7d491233e9884cd4701b437d45e2904e2635d"}
{"solution_size":2238,"ok":true,"resemblance":0.143663,"problem_id":4396,"solution_spec_hash":"254829d84364cc813cbdb8a1091a3a6974a74d71"}
{"ok":false,"error":"Invalid solution spec: Solution size limit exceeded."}
{"solution_size":302,"ok":true,"resemblance":1.0,"problem_id":4458,"solution_spec_hash":"d31d3eca27b64d594a2dbcc237e7c1f88c05d2a2"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4493,"solution_spec_hash":"446922a7eff4a382131eed7f4b28d7d87bb270d7"}
{"solution_size":129,"ok":true,"resemblance":1.0,"problem_id":4518,"solution_spec_hash":"97f9e0505eac34bef7737966084afc1acaab144a"}
{"solution_size":3778,"ok":true,"resemblance":0.5,"problem_id":4619,"solution_spec_hash":"3dab98374e1e88290b53a8c56acde82351608666"}
{"solution_size":2534,"ok":true,"resemblance":0.835403,"problem_id":4704,"solution_spec_hash":"713005145506bab3b4cee741ac2f7d4a495d02de"}
{"solution_size":1342,"ok":true,"resemblance":0.75,"problem_id":4713,"solution_spec_hash":"8f3271c5378e2a2ee5ec17e4b05e86e890dc9a15"}
{"solution_size":1750,"ok":true,"resemblance":0.883265,"problem_id":4722,"solution_spec_hash":"a14d34f80733e7d5e5423b5b69b93b369e9f8867"}
{"solution_size":4569,"ok":true,"resemblance":0.644959,"problem_id":4800,"solution_spec_hash":"7936674422f849cd7badc4b175822c431bff82ff"}
{"solution_size":2935,"ok":true,"resemblance":0.962363,"problem_id":4830,"solution_spec_hash":"b127af8b01f06dfd9ab3b33b7aa151a16da86e12"}
{"solution_size":1624,"ok":true,"resemblance":1.0,"problem_id":4858,"solution_spec_hash":"b5e6768d68eddb51826d5f7db882c71e67dec431"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":4956,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":2092,"ok":true,"resemblance":0.782688,"problem_id":4986,"solution_spec_hash":"9eb91d887c056a887bc5c8401800e156e5d1599d"}
{"solution_size":207,"ok":true,"resemblance":0.833333,"problem_id":5003,"solution_spec_hash":"33e5698a9b79e9e576699e5ea4d85c76e98849d5"}
{"solution_size":2892,"ok":true,"resemblance":0.56873,"problem_id":5054,"solution_spec_hash":"8a8826cb1c4d311c3439d6b1ab1703b52a625735"}
{"solution_size":1764,"ok":true,"resemblance":0.364939,"problem_id":5085,"solution_spec_hash":"4e9e7d8bf3b7412d5f16de768de71f58cb5114c0"}
{"solution_size":2634,"ok":true,"resemblance":0.791639,"problem_id":5102,"solution_spec_hash":"328ad7056e4acd1f50d3b9a0bd1270ca5e3640c9"}
{"solution_size":2172,"ok":true,"resemblance":0.256821,"problem_id":5132,"solution_spec_hash":"ce0674d4188b7594df2f4979a58c00200af87439"}
{"solution_size":2966,"ok":true,"resemblance":0.382064,"problem_id":5160,"solution_spec_hash":"4b6390cea4cb88a532309e70b6761b9f00d32e90"}
{"solution_size":4465,"ok":true,"resemblance":0.614503,"problem_id":5180,"solution_spec_hash":"98a4a5e3de3974130d7b8b31ce7ec965c8e276be"}
{"solution_size":392,"ok":true,"resemblance":0.9,"problem_id":5189,"solution_spec_hash":"3c1b8edceee35be38a1c3ebb66c27ebd0a70bdac"}
{"solution_size":4419,"ok":true,"resemblance":0.552717,"problem_id":5191,"solution_spec_hash":"3874566ff0ce3665d3d280e300a17c064dc76bf6"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":5224,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":235,"ok":true,"resemblance":1.0,"problem_id":5238,"solution_spec_hash":"6fd244f11512624bafe42f96852e86a1b6e5d6b9"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":5291,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":254,"ok":true,"resemblance":1.0,"problem_id":5309,"solution_spec_hash":"4095bddbb99063a24b3e6261f04840405903be00"}
{"solution_size":109,"ok":true,"resemblance":0.833333,"problem_id":5322,"solution_spec_hash":"fb6ef23983f4fc2ea6847e449584f6f27cdf8a57"}
{"solution_size":715,"ok":true,"resemblance":0.670886,"problem_id":5351,"solution_spec_hash":"510caf37dfba86fcaf1f0bcaed85aecd3db68ca9"}
{"solution_size":2164,"ok":true,"resemblance":0.866666,"problem_id":5361,"solution_spec_hash":"4aa08ac37fcee0fff80b724936088a6dcde4c7c6"}
{"solution_size":3551,"ok":true,"resemblance":0.79221,"problem_id":5378,"solution_spec_hash":"0a1626a0217c409829a0b243124cf49eebcdafb7"}
{"solution_size":113,"ok":true,"resemblance":0.6,"problem_id":5403,"solution_spec_hash":"d0695091b3e68054622aa38949ac7e95b97ccae0"}
{"solution_size":2639,"ok":true,"resemblance":0.738532,"problem_id":5421,"solution_spec_hash":"8dbeaa3ad1559c6500658bbfbd422da8a2e63dcc"}
{"solution_size":117,"ok":true,"resemblance":0.984615,"problem_id":5445,"solution_spec_hash":"426b9393da0918bc9d56e08ad227de650ecf3fd7"}
{"solution_size":611,"ok":true,"resemblance":0.782312,"problem_id":5484,"solution_spec_hash":"2ef59939ac6cc703b258ec9aed236f4a6ba25136"}
{"solution_size":738,"ok":true,"resemblance":0.874366,"problem_id":5495,"solution_spec_hash":"baac8d2fd885953d9023787af94c5a7646f8f738"}
{"solution_size":402,"ok":true,"resemblance":0.911411,"problem_id":5510,"solution_spec_hash":"00a5f00bf5b5c3d90982829bd44e528f8c56fa1c"}
{"solution_size":254,"ok":true,"resemblance":0.65,"problem_id":5514,"solution_spec_hash":"5c3f05ffe85d0d538b43246ed64c003d038f691b"}
{"solution_size":4698,"ok":true,"resemblance":0.999082,"problem_id":5565,"solution_spec_hash":"39fff8ef31a683a0d3c0a2c705fe6efb5f967a35"}
{"solution_size":2825,"ok":true,"resemblance":0.444676,"problem_id":5573,"solution_spec_hash":"ce7279f864493798fde063a8482d9c54db68044c"}
{"solution_size":2186,"ok":true,"resemblance":0.575266,"problem_id":5578,"solution_spec_hash":"d5a8bbc3ad866af899f86a4cb22996170d7aa327"}
{"solution_size":78,"ok":true,"resemblance":0.833333,"problem_id":5598,"solution_spec_hash":"20d02bc01d64b4aede106f7f6a6b933c85930114"}
{"solution_size":2923,"ok":true,"resemblance":0.794786,"problem_id":5604,"solution_spec_hash":"feb20616fb0b4c3574bf1e00aad630b2e5424588"}
{"solution_size":1437,"ok":true,"resemblance":0.88304,"problem_id":5607,"solution_spec_hash":"3b027022861212cc0a0c6e8d00166995edf10874"}
{"solution_size":2272,"ok":true,"resemblance":0.715289,"problem_id":5614,"solution_spec_hash":"f9d206f15bfb2d3e9100100efcf303193d712597"}
{"solution_size":2079,"ok":true,"resemblance":0.281776,"problem_id":5619,"solution_spec_hash":"1b6fbb3b2dc5ef91587e6c14ffa6771e630ea98f"}
{"solution_size":1937,"ok":true,"resemblance":0.515077,"problem_id":5636,"solution_spec_hash":"49692978208b4d835bceaa1d9f58a58d9458fca9"}
{"solution_size":1673,"ok":true,"resemblance":0.857142,"problem_id":5637,"solution_spec_hash":"c6ebd2929a51963d4142419c48973ff443977717"}
{"solution_size":3829,"ok":true,"resemblance":0.526536,"problem_id":5693,"solution_spec_hash":"4751936e03ba0b4868142c07e75c36f548a66031"}
{"solution_size":324,"ok":true,"resemblance":0.85,"problem_id":5723,"solution_spec_hash":"0f6c3ea2981bb3cbfb2adc0e805293186e757bba"}
{"solution_size":4398,"ok":true,"resemblance":0.248266,"problem_id":5724,"solution_spec_hash":"8c0c8020d445ffc1b3b40228bd097b1c51143656"}
{"solution_size":371,"ok":true,"resemblance":0.75,"problem_id":5745,"solution_spec_hash":"2f8493bac01c68b560e42dd2a5c2cfa58f6cc17d"}
{"solution_size":979,"ok":true,"resemblance":0.8111,"problem_id":5780,"solution_spec_hash":"2a1e8fa73dcf4db5d30b6b1078b29a4e3a0035d8"}
{"solution_size":3945,"ok":true,"resemblance":0.845129,"problem_id":5781,"solution_spec_hash":"006e9a7494763ec99f58617a2f733a422aec3ebc"}
{"solution_size":3634,"ok":true,"resemblance":0.75546,"problem_id":5786,"solution_spec_hash":"06fd8a0e7ac47e43ea85dec2fef2fe07ab414031"}
{"solution_size":490,"ok":true,"resemblance":0.983606,"problem_id":5789,"solution_spec_hash":"0139de1f9189ae7628173a5b6ed2c39c8af7b464"}
{"solution_size":666,"ok":true,"resemblance":0.183879,"problem_id":5794,"solution_spec_hash":"adbe0c8f09647e58d833ee10b0017033b632b5e6"}
{"solution_size":591,"ok":true,"resemblance":0.892857,"problem_id":5797,"solution_spec_hash":"a2b6bc84a16a0a7900c1beb6087bad82e770c234"}
{"solution_size":3353,"ok":true,"resemblance":0.449165,"problem_id":5798,"solution_spec_hash":"5cf6f1def00d79c4f43a7abab3a33198264e34c9"}
{"solution_size":1821,"ok":true,"resemblance":0.35583,"problem_id":5799,"solution_spec_hash":"e84be15f893524bc94c0f0baa78e871bef3587ea"}
{"solution_size":31,"ok":true,"resemblance":1.0,"problem_id":5808,"solution_spec_hash":"2b8d74268557efd81bd2e93e1237e8c6eb3c400a"}
{"solution_size":497,"ok":true,"resemblance":1.0,"problem_id":5809,"solution_spec_hash":"50d41bd222519158c3570e770b77d5d897c91fd1"}
{"solution_size":185,"ok":true,"resemblance":1.0,"problem_id":5810,"solution_spec_hash":"d9db345b1f0b5c4362da2e609fe06b056558061e"}
{"solution_size":4427,"ok":true,"resemblance":0.190394,"problem_id":5811,"solution_spec_hash":"16e62b8825b0d454259efe0ca1f8da287c89b137"}
{"solution_size":1004,"ok":true,"resemblance":0.691439,"problem_id":5813,"solution_spec_hash":"23b053b7bf4a4586a7dcce6d6a4b6dbf16b48532"}
{"solution_size":268,"ok":true,"resemblance":0.888888,"problem_id":5816,"solution_spec_hash":"dd8986185f623aeb37d4e66feca1f5a429676f53"}
{"solution_size":197,"ok":true,"resemblance":0.721726,"problem_id":5819,"solution_spec_hash":"178f7c56e7691611ad159a7bfce2540339ea51d8"}
{"solution_size":340,"ok":true,"resemblance":1.0,"problem_id":5820,"solution_spec_hash":"ab1afe57a421054fa55cdd4c0ce662cfaed7143e"}
{"solution_size":3258,"ok":true,"resemblance":0.842105,"problem_id":5824,"solution_spec_hash":"caa634160298906b96828fe41c28d67f268c0ac6"}
{"solution_size":2792,"ok":true,"resemblance":0.57985,"problem_id":5830,"solution_spec_hash":"2689eff8ec4330d0d28226b326c638cf8f492354"}
{"solution_size":31,"ok":true,"resemblance":1.0,"problem_id":341,"solution_spec_hash":"d9bde92839cf689785ce208549024fd460c023f6"}
{"solution_size":75,"ok":true,"resemblance":1.0,"problem_id":988,"solution_spec_hash":"555f7cb81d36ee00a46a2ca524eefb0841b7676d"}
{"solution_size":2758,"ok":true,"resemblance":0.372862,"problem_id":1281,"solution_spec_hash":"9616ad2d6d65657b9b42ff3229bb961a3169fb2b"}
{"solution_size":87,"ok":true,"resemblance":0.625,"problem_id":1337,"solution_spec_hash":"0c61413ff3f7603e6d44dd73e584103af0b634ba"}
{"solution_size":892,"ok":true,"resemblance":1.0,"problem_id":1392,"solution_spec_hash":"fe71c0b7e8e6122899715a9075182a1ce161e314"}
{"solution_size":275,"ok":true,"resemblance":1.0,"problem_id":1745,"solution_spec_hash":"7f04c8fa5b5f170231daefa85f0b21cc973e203b"}
{"solution_size":252,"ok":true,"resemblance":1.0,"problem_id":2056,"solution_spec_hash":"968659827a33956f27f3635b9f415411d2d89baa"}
{"solution_size":599,"ok":true,"resemblance":0.705014,"problem_id":2301,"solution_spec_hash":"16d30d9fccc96f1c37b48724f8e26f7a04549a0b"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":2605,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":1423,"ok":true,"resemblance":0.847457,"problem_id":2697,"solution_spec_hash":"ca297ef59c1e2927239ba20ebf5756419a10b216"}
{"solution_size":756,"ok":true,"resemblance":0.555555,"problem_id":2799,"solution_spec_hash":"b238ab9cbb726f0b170f032940c68ca6a4a991b3"}
{"solution_size":1069,"ok":true,"resemblance":1.0,"problem_id":2937,"solution_spec_hash":"9e5495fe75aa349714231f3a8c554eed97f5dce9"}
{"solution_size":360,"ok":true,"resemblance":0.9375,"problem_id":3726,"solution_spec_hash":"a6664098e9ba6fdc355edc5fa01524382a3c22ae"}
{"solution_size":1795,"ok":true,"resemblance":1.0,"problem_id":3928,"solution_spec_hash":"52cc56011b478adb323f1aae14aff53892ad0cdc"}
{"solution_size":2459,"ok":true,"resemblance":0.699222,"problem_id":4046,"solution_spec_hash":"abdfa536c83a0bf637d97d0cd153120532800ab2"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4320,"solution_spec_hash":"fff7d491233e9884cd4701b437d45e2904e2635d"}
{"solution_size":2152,"ok":true,"resemblance":0.349246,"problem_id":4398,"solution_spec_hash":"3d6115be2b34709dc80c2a50690e2d683f6fee7e"}
{"solution_size":2198,"ok":true,"resemblance":0.707317,"problem_id":4415,"solution_spec_hash":"bc3b9cc5c280ede2f64efddeaef6ebf97d3752f4"}
{"solution_size":331,"ok":true,"resemblance":1.0,"problem_id":4460,"solution_spec_hash":"6b3d0611f03dae7eabb31649ac516ef9123f6845"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4494,"solution_spec_hash":"9661df6ec60ef66e9b0b878c4d864845944796bb"}
{"solution_size":123,"ok":true,"resemblance":1.0,"problem_id":4561,"solution_spec_hash":"d6680a479ec22a6c8e529a5939208a2d2795037d"}
{"solution_size":3778,"ok":true,"resemblance":0.5,"problem_id":4620,"solution_spec_hash":"3dab98374e1e88290b53a8c56acde82351608666"}
{"solution_size":1135,"ok":true,"resemblance":0.868932,"problem_id":4706,"solution_spec_hash":"2844d1a1ec5eeadf20a732b8ee4eebd2cd5f5b14"}
{"solution_size":1446,"ok":true,"resemblance":0.75,"problem_id":4720,"solution_spec_hash":"d839136fb0cfb6983df3fe4ceb5bd84c2bd7c215"}
{"solution_size":1215,"ok":true,"resemblance":0.889879,"problem_id":4724,"solution_spec_hash":"ae0e866ad2630bcba84f12f95e8a6ffd5746d684"}
{"ok":false,"error":"Invalid solution spec: Solution size limit exceeded."}
{"solution_size":1775,"ok":true,"resemblance":0.992709,"problem_id":4833,"solution_spec_hash":"49bfb64d38e4512dda02eea8d653d2b66265ab41"}
{"solution_size":1624,"ok":true,"resemblance":1.0,"problem_id":4859,"solution_spec_hash":"b5e6768d68eddb51826d5f7db882c71e67dec431"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":4955,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":2008,"ok":true,"resemblance":0.589489,"problem_id":4992,"solution_spec_hash":"4aa7ff2705c73f43c200816f549dd81c13497e1c"}
{"solution_size":211,"ok":true,"resemblance":0.833333,"problem_id":5004,"solution_spec_hash":"250f47e8b33c2f6757769858ff399c40536bed32"}
{"solution_size":3729,"ok":true,"resemblance":0.778537,"problem_id":5055,"solution_spec_hash":"9a2865076bdacfd9a5bcbca5f481d89342841202"}
{"solution_size":2394,"ok":true,"resemblance":0.709351,"problem_id":5086,"solution_spec_hash":"03e94373687595ad90629a8f284ea9cc5254dcbf"}
{"solution_size":1965,"ok":true,"resemblance":0.442043,"problem_id":5134,"solution_spec_hash":"967267fbc94fc89c00bbc89de2d365d0b6650752"}
{"solution_size":2597,"ok":true,"resemblance":0.33514,"problem_id":5161,"solution_spec_hash":"5a0a985fb4e2370f7445a6a64c92db55eb1c7375"}
{"solution_size":922,"ok":true,"resemblance":0.961538,"problem_id":5190,"solution_spec_hash":"bf12a597c2a9dc045bd60e7b3b65761ab1f318be"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":5222,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":220,"ok":true,"resemblance":1.0,"problem_id":5237,"solution_spec_hash":"d57b343e4e3893843a26f063f53b32be649c6881"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":5292,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":254,"ok":true,"resemblance":1.0,"problem_id":5310,"solution_spec_hash":"99094ed7904414cc0327356296c4aac903ecc3c1"}
{"solution_size":109,"ok":true,"resemblance":0.833333,"problem_id":5323,"solution_spec_hash":"fb6ef23983f4fc2ea6847e449584f6f27cdf8a57"}
{"solution_size":2269,"ok":true,"resemblance":0.941176,"problem_id":5341,"solution_spec_hash":"86d37043a0186ba26284ef8d49c4fd62b94c9528"}
{"solution_size":2594,"ok":true,"resemblance":0.68952,"problem_id":5352,"solution_spec_hash":"662c80b3e418380c8e5e4a74a9e132f01211c65f"}
{"solution_size":1991,"ok":true,"resemblance":0.866666,"problem_id":5362,"solution_spec_hash":"cbe3b8bce8c28906cccd5c9dc2445bd86fa68fc0"}
{"solution_size":3080,"ok":true,"resemblance":0.794345,"problem_id":5379,"solution_spec_hash":"b057c17293b513732e78e6b8f4b137f061ebb47c"}
{"solution_size":113,"ok":true,"resemblance":0.6,"problem_id":5402,"solution_spec_hash":"d0695091b3e68054622aa38949ac7e95b97ccae0"}
{"solution_size":2639,"ok":true,"resemblance":0.738532,"problem_id":5422,"solution_spec_hash":"8dbeaa3ad1559c6500658bbfbd422da8a2e63dcc"}
{"solution_size":159,"ok":true,"resemblance":1.0,"problem_id":5447,"solution_spec_hash":"61cef923a8d446fc698718fad6b17c55122cfb66"}
{"solution_size":643,"ok":true,"resemblance":0.782312,"problem_id":5485,"solution_spec_hash":"40d2f70e2722a04b9c3ea06e712ff73cf32a751a"}
{"solution_size":1302,"ok":true,"resemblance":0.999036,"problem_id":5496,"solution_spec_hash":"ec04ec47fffdd1568f600845eee348f56b692e79"}
{"solution_size":520,"ok":true,"resemblance":0.911411,"problem_id":5512,"solution_spec_hash":"fdcbee6d33b75988dbc38c9366f5c58624c2c688"}
{"solution_size":217,"ok":true,"resemblance":0.65,"problem_id":5532,"solution_spec_hash":"ea869171f86b5d1bb061d0ade057838d2007ecf3"}
{"solution_size":1270,"ok":true,"resemblance":0.794295,"problem_id":5580,"solution_spec_hash":"6bfadb9d31657bb0d61d64040cebdd68f6773938"}
{"solution_size":2923,"ok":true,"resemblance":0.794786,"problem_id":5605,"solution_spec_hash":"feb20616fb0b4c3574bf1e00aad630b2e5424588"}
{"solution_size":1000,"ok":true,"resemblance":0.770491,"problem_id":5610,"solution_spec_hash":"0b6947f74c733c2979e04cc816e9b89368ee1751"}
{"solution_size":2454,"ok":true,"resemblance":0.764809,"problem_id":5615,"solution_spec_hash":"d362452af3bbf964b5eb62c3d6b30e9720fb5ccc"}
{"solution_size":2986,"ok":true,"resemblance":0.429626,"problem_id":5620,"solution_spec_hash":"f49d5baf5c3502ac199f6e19091126149f056d1d"}
{"solution_size":3211,"ok":true,"resemblance":0.663531,"problem_id":5640,"solution_spec_hash":"1abfaf1fd80c2072f673489b2b05f286233a6527"}
{"solution_size":706,"ok":true,"resemblance":1.0,"problem_id":5643,"solution_spec_hash":"832de71583fcf85314537fe35a50043176dd878a"}
{"solution_size":2493,"ok":true,"resemblance":0.634686,"problem_id":5671,"solution_spec_hash":"a13abd7afb088adc031a73777a2607a13db7270a"}
{"solution_size":2856,"ok":true,"resemblance":0.409601,"problem_id":5696,"solution_spec_hash":"d6e3584cc7d759932731497223a0b1ab8f944c27"}
{"solution_size":4494,"ok":true,"resemblance":0.062343,"problem_id":5725,"solution_spec_hash":"7b54c20c9247335152bc12617fefdc5731e7f1b4"}
{"solution_size":876,"ok":true,"resemblance":0.867106,"problem_id":5782,"solution_spec_hash":"facb5a7587726353e9f3f064117a1bcbc6d45352"}
{"solution_size":4684,"ok":true,"resemblance":0.950207,"problem_id":5783,"solution_spec_hash":"d79947171d8d2660ccf32752a25127ce94bffe92"}
{"solution_size":1817,"ok":true,"resemblance":0.343851,"problem_id":5805,"solution_spec_hash":"c41f0e3ccc960c288841bd36ae463cd0a52ce60b"}
{"solution_size":187,"ok":true,"resemblance":1.0,"problem_id":5812,"solution_spec_hash":"9258053b9ad253d5abccc1c1e33f0d8f4f37bd0a"}
{"solution_size":1004,"ok":true,"resemblance":0.691439,"problem_id":5832,"solution_spec_hash":"23b053b7bf4a4586a7dcce6d6a4b6dbf16b48532"}
{"solution_size":3138,"ok":true,"resemblance":0.869918,"problem_id":5833,"solution_spec_hash":"a0ab559652e96c5bca065091b4c8b9a7de27175b"}
{"solution_size":477,"ok":true,"resemblance":1.0,"problem_id":5837,"solution_spec_hash":"fe3b86845c8f9474ce5e2f8c61af600d5447549b"}
{"solution_size":251,"ok":true,"resemblance":0.954545,"problem_id":5838,"solution_spec_hash":"ba17360a69ca386b566aec60b418729427f6651e"}
{"solution_size":31,"ok":true,"resemblance":1.0,"problem_id":5839,"solution_spec_hash":"d9bde92839cf689785ce208549024fd460c023f6"}
{"solution_size":583,"ok":true,"resemblance":0.175799,"problem_id":5851,"solution_spec_hash":"7277e48fefb29f6255bc3d670f3072634f0639e9"}
{"solution_size":728,"ok":true,"resemblance":0.96422,"problem_id":5856,"solution_spec_hash":"8c090eaed4ed0b690f614eeb14cb7584b85f8b45"}
{"solution_size":591,"ok":true,"resemblance":0.892857,"problem_id":5857,"solution_spec_hash":"a2b6bc84a16a0a7900c1beb6087bad82e770c234"}
{"solution_size":34,"ok":true,"resemblance":1.0,"problem_id":5858,"solution_spec_hash":"51c45af1773bd37ccd07a53cc9997c62689b3cc0"}
{"solution_size":3357,"ok":true,"resemblance":0.655948,"problem_id":5864,"solution_spec_hash":"3220251c0f9103e905d9073518ba4714f71a041e"}
{"solution_size":4218,"ok":true,"resemblance":0.197517,"problem_id":5871,"solution_spec_hash":"bec60aee3c970d37a339e81355d4aa7200a1c007"}
{"solution_size":2971,"ok":true,"resemblance":0.466998,"problem_id":5874,"solution_spec_hash":"f1c269437e5cf19d3f6ca2587a2462b67eebaf0e"}
{"solution_size":2734,"ok":true,"resemblance":0.237081,"problem_id":5878,"solution_spec_hash":"a82e39de5523d169bc417ab951d882fe37d67edc"}
{"solution_size":2779,"ok":true,"resemblance":0.566997,"problem_id":5879,"solution_spec_hash":"5a81744c06343419e4ea7dfd2f4c48943929aaa6"}
{"solution_size":1276,"ok":true,"resemblance":1.0,"problem_id":5880,"solution_spec_hash":"0254765c3e0d55bf889fd4074f355613d6728b58"}
{"solution_size":315,"ok":true,"resemblance":0.75,"problem_id":5883,"solution_spec_hash":"ecf0e814bf53d4a969179613e400073990d36c8c"}
{"solution_size":209,"ok":true,"resemblance":1.0,"problem_id":5885,"solution_spec_hash":"0f3ced5385d85da56f93735bdd6c7f361f593c7b"}
{"solution_size":1519,"ok":true,"resemblance":0.866666,"problem_id":5887,"solution_spec_hash":"8e16d7e3ac732a4a6ea378569cbf74cc80a813af"}
{"solution_size":31,"ok":true,"resemblance":1.0,"problem_id":342,"solution_spec_hash":"d9bde92839cf689785ce208549024fd460c023f6"}
{"solution_size":67,"ok":true,"resemblance":1.0,"problem_id":989,"solution_spec_hash":"d8ef2750ca1cd6c323a50864ea34fba416dfe39a"}
{"solution_size":2758,"ok":true,"resemblance":0.372862,"problem_id":1282,"solution_spec_hash":"9616ad2d6d65657b9b42ff3229bb961a3169fb2b"}
{"solution_size":87,"ok":true,"resemblance":0.625,"problem_id":1338,"solution_spec_hash":"0c61413ff3f7603e6d44dd73e584103af0b634ba"}
{"solution_size":892,"ok":true,"resemblance":1.0,"problem_id":1456,"solution_spec_hash":"38fede4bdb4308e7d59ffcc421e0aae1b375a156"}
{"solution_size":2895,"ok":true,"resemblance":0.86465,"problem_id":1746,"solution_spec_hash":"6ff24e2033d6a6648bf9f31e3b6bdb53ebf196e5"}
{"solution_size":254,"ok":true,"resemblance":1.0,"problem_id":2057,"solution_spec_hash":"ac3512778ce805e7101e665cd8ba0e070f18c7d8"}
{"solution_size":599,"ok":true,"resemblance":0.705014,"problem_id":2302,"solution_spec_hash":"16d30d9fccc96f1c37b48724f8e26f7a04549a0b"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":2606,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":1423,"ok":true,"resemblance":0.847457,"problem_id":2698,"solution_spec_hash":"ca297ef59c1e2927239ba20ebf5756419a10b216"}
{"solution_size":739,"ok":true,"resemblance":0.555555,"problem_id":2798,"solution_spec_hash":"9666f538f07ddefbf4d9b68d66a6602fb72ec631"}
{"solution_size":1614,"ok":true,"resemblance":0.89929,"problem_id":2938,"solution_spec_hash":"52e4b905ba1c237a25deb1bfedc291d72eaa8ae8"}
{"solution_size":1939,"ok":true,"resemblance":1.0,"problem_id":3929,"solution_spec_hash":"a6c6d802a6fadae2505f410cfe69182a305eb9f6"}
{"solution_size":3418,"ok":true,"resemblance":0.575603,"problem_id":4047,"solution_spec_hash":"7c3b798cf4d20aa879bf371f3ee8ee78eb82ebc6"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4319,"solution_spec_hash":"fff7d491233e9884cd4701b437d45e2904e2635d"}
{"solution_size":2900,"ok":true,"resemblance":0.387467,"problem_id":4399,"solution_spec_hash":"91727d66f9d98622b6e2475f11765dc59678267d"}
{"solution_size":3253,"ok":true,"resemblance":0.795811,"problem_id":4419,"solution_spec_hash":"cb0fbc664c2650205f34786663acca79e9246039"}
{"solution_size":296,"ok":true,"resemblance":1.0,"problem_id":4461,"solution_spec_hash":"79b6573b74ee84eeed60791505cfa688f9379166"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4495,"solution_spec_hash":"4c3fd5328491542e998e138d6962d6009db58d3f"}
{"solution_size":3778,"ok":true,"resemblance":0.5,"problem_id":4621,"solution_spec_hash":"3dab98374e1e88290b53a8c56acde82351608666"}
{"solution_size":2147,"ok":true,"resemblance":0.81877,"problem_id":4710,"solution_spec_hash":"85def3a998e3ce323a8a3ef33b1e040fbb93cf9c"}
{"solution_size":1510,"ok":true,"resemblance":0.75,"problem_id":4721,"solution_spec_hash":"56a20a581e8d2c52074b36c73b6527313160953d"}
{"solution_size":2364,"ok":true,"resemblance":0.948334,"problem_id":4730,"solution_spec_hash":"82bddae46f2a5f89595a6ffde59fc428d808ff0d"}
{"ok":false,"error":"Invalid solution spec: Solution size limit exceeded."}
{"solution_size":1991,"ok":true,"resemblance":0.927327,"problem_id":4836,"solution_spec_hash":"250359fda2a8ed573f30fc8c74e2561687431f68"}
{"solution_size":1624,"ok":true,"resemblance":1.0,"problem_id":4861,"solution_spec_hash":"b5e6768d68eddb51826d5f7db882c71e67dec431"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":4954,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":2279,"ok":true,"resemblance":0.589489,"problem_id":4993,"solution_spec_hash":"efecd48fbeba13461681cf199d236374ba617447"}
{"solution_size":201,"ok":true,"resemblance":0.833333,"problem_id":5005,"solution_spec_hash":"69a64e5a9fb337e76319b0072e6ec4e85717bf12"}
{"solution_size":1947,"ok":true,"resemblance":0.533134,"problem_id":5056,"solution_spec_hash":"3ec8635079ef30e1b2102ae7fa8768acbecf4272"}
{"solution_size":1616,"ok":true,"resemblance":0.586005,"problem_id":5087,"solution_spec_hash":"b3056cf0d7de6f99e5758dfa6c00454f046f7432"}
{"solution_size":3110,"ok":true,"resemblance":0.396301,"problem_id":5144,"solution_spec_hash":"f4407667a9b6f4761ffa2aeb220fd17f17d40fc4"}
{"solution_size":1266,"ok":true,"resemblance":0.260599,"problem_id":5162,"solution_spec_hash":"b3a6b2ce0e0128000366d1417c29f9a24de01456"}
{"solution_size":153,"ok":true,"resemblance":0.9,"problem_id":5193,"solution_spec_hash":"d4e29ff2fd8f77b807d9ca94aa45278b62691ee3"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":5223,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":448,"ok":true,"resemblance":1.0,"problem_id":5245,"solution_spec_hash":"97464653d7fdf14a3525246dcea9fd0dfdc1c6f3"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":5293,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":264,"ok":true,"resemblance":1.0,"problem_id":5311,"solution_spec_hash":"612ad26bb4313ff2923fc7b345e970081c2ed42a"}
{"solution_size":109,"ok":true,"resemblance":0.833333,"problem_id":5324,"solution_spec_hash":"fb6ef23983f4fc2ea6847e449584f6f27cdf8a57"}
{"solution_size":2015,"ok":true,"resemblance":0.947368,"problem_id":5342,"solution_spec_hash":"9cba2e6b0f9aeb5435573e92ca6374c4a514ba58"}
{"solution_size":1662,"ok":true,"resemblance":0.866666,"problem_id":5363,"solution_spec_hash":"62ca72523d6a1fecf8a9f59fd1e2f7f20ae6798e"}
{"solution_size":4767,"ok":true,"resemblance":0.791666,"problem_id":5380,"solution_spec_hash":"33cc37e6231ad362d5e4dbfae2984ae050b88f09"}
{"solution_size":113,"ok":true,"resemblance":0.6,"problem_id":5401,"solution_spec_hash":"d0695091b3e68054622aa38949ac7e95b97ccae0"}
{"solution_size":159,"ok":true,"resemblance":1.0,"problem_id":5448,"solution_spec_hash":"ec6bcb6f733447c907dd0692f2c47ed7b7cce8e0"}
{"solution_size":668,"ok":true,"resemblance":0.782312,"problem_id":5488,"solution_spec_hash":"12cdd3bb04732220be0c32570b0705f3280d4d9b"}
{"solution_size":1232,"ok":true,"resemblance":0.940945,"problem_id":5497,"solution_spec_hash":"2a97cb7ccfd71e6d874c2121aefff8f32fa32913"}
{"solution_size":632,"ok":true,"resemblance":0.911411,"problem_id":5513,"solution_spec_hash":"4d163f950efe531124dffa7a6b202c2c62f8a579"}
{"solution_size":498,"ok":true,"resemblance":0.642857,"problem_id":5530,"solution_spec_hash":"d0472cb23b2ce7b0cb57deabf7c40a5a134816fd"}
{"solution_size":241,"ok":true,"resemblance":0.65,"problem_id":5535,"solution_spec_hash":"b9d2b992b43545bc73c90f176f8e4d20d826919e"}
{"solution_size":1934,"ok":true,"resemblance":0.538766,"problem_id":5582,"solution_spec_hash":"976e5ac544b0c48bac8044aa0d53d81b90380371"}
{"solution_size":1447,"ok":true,"resemblance":1.0,"problem_id":5616,"solution_spec_hash":"7c65c0a3a504d339bc7c2524ffc9f68c54433eea"}
{"solution_size":2906,"ok":true,"resemblance":0.415741,"problem_id":5621,"solution_spec_hash":"ab6cf080551796e6e9f20f37100a1e350938fe77"}
{"solution_size":354,"ok":true,"resemblance":0.844444,"problem_id":5638,"solution_spec_hash":"83b48856b0c7cbcf0ec6fc5d06620be16d0e62f8"}
{"solution_size":3808,"ok":true,"resemblance":0.889299,"problem_id":5641,"solution_spec_hash":"79ce628146cda727abb2566560eab6aa7832741f"}
{"solution_size":2922,"ok":true,"resemblance":0.679982,"problem_id":5645,"solution_spec_hash":"b9587ee2047858018b590b3683b617bb359e3bb8"}
{"solution_size":3024,"ok":true,"resemblance":0.645335,"problem_id":5703,"solution_spec_hash":"53cfddaba16687df46d837aeb0ce6a2e90ee633c"}
{"solution_size":4398,"ok":true,"resemblance":0.248266,"problem_id":5726,"solution_spec_hash":"8c0c8020d445ffc1b3b40228bd097b1c51143656"}
{"solution_size":4350,"ok":true,"resemblance":0.950207,"problem_id":5784,"solution_spec_hash":"5721a45602c21e1abe3426cac1a942f0e21daf13"}
{"solution_size":2699,"ok":true,"resemblance":0.878565,"problem_id":5785,"solution_spec_hash":"343a70e6572eaa10232abd219d999d8c26017bb8"}
{"solution_size":2129,"ok":true,"resemblance":0.701495,"problem_id":5814,"solution_spec_hash":"4ce429b713d2b2915bea6156098b67fe4a8ba5a8"}
{"solution_size":1344,"ok":true,"resemblance":0.90909,"problem_id":5817,"solution_spec_hash":"11dfe6861e3c40c9bea1bf4e9f0057bf97eb8b70"}
{"solution_size":1004,"ok":true,"resemblance":0.691439,"problem_id":5831,"solution_spec_hash":"23b053b7bf4a4586a7dcce6d6a4b6dbf16b48532"}
{"solution_size":250,"ok":true,"resemblance":0.846153,"problem_id":5843,"solution_spec_hash":"b189cac326f95c558931f9cdfa9504674412f7fb"}
{"solution_size":3622,"ok":true,"resemblance":0.86691,"problem_id":5860,"solution_spec_hash":"2a9cb0546037b82d01a313a53784c50edfd2df3c"}
{"solution_size":503,"ok":true,"resemblance":1.0,"problem_id":5876,"solution_spec_hash":"7d4a633a4cd63284427cf090c64e225457374bd1"}
{"solution_size":4741,"ok":true,"resemblance":0.865777,"problem_id":5882,"solution_spec_hash":"fb5ac2a1ecec57fad92414c5268f1dac4efc33d9"}
{"solution_size":2303,"ok":true,"resemblance":0.700872,"problem_id":5888,"solution_spec_hash":"e1f3dccfa7b014982a3246796dbdff93e0910ea4"}
{"solution_size":4270,"ok":true,"resemblance":0.1929,"problem_id":5890,"solution_spec_hash":"c0d65eeeda4402d3f7f30f9bc51dd66d655a8bd0"}
{"solution_size":189,"ok":true,"resemblance":1.0,"problem_id":5907,"solution_spec_hash":"95fb8512770be04af9d069c6516a24625991c335"}
{"solution_size":591,"ok":true,"resemblance":0.892857,"problem_id":5912,"solution_spec_hash":"a2b6bc84a16a0a7900c1beb6087bad82e770c234"}
{"solution_size":2779,"ok":true,"resemblance":0.566997,"problem_id":5914,"solution_spec_hash":"5a81744c06343419e4ea7dfd2f4c48943929aaa6"}
{"solution_size":2923,"ok":true,"resemblance":0.794786,"problem_id":5916,"solution_spec_hash":"feb20616fb0b4c3574bf1e00aad630b2e5424588"}
{"solution_size":490,"ok":true,"resemblance":0.983606,"problem_id":5917,"solution_spec_hash":"0139de1f9189ae7628173a5b6ed2c39c8af7b464"}
{"solution_size":187,"ok":true,"resemblance":1.0,"problem_id":5931,"solution_spec_hash":"ade94951729cd4f4554a7f687b9e74f9a52eeef2"}
{"solution_size":298,"ok":true,"resemblance":1.0,"problem_id":5933,"solution_spec_hash":"d68ab2f3b37f114671fa2ee93b728f457f1c50c7"}
{"solution_size":620,"ok":true,"resemblance":0.168399,"problem_id":5945,"solution_spec_hash":"921f2f4852dfb40de736afa422cfbe14bfe08394"}
{"solution_size":34,"ok":true,"resemblance":1.0,"problem_id":5949,"solution_spec_hash":"7e5cdca236099535c1de5c892915d473485342b1"}
{"solution_size":1081,"ok":true,"resemblance":0.767716,"problem_id":5957,"solution_spec_hash":"fdd7da8b3e5cf8c8d30fa3dba423f700a975b590"}
{"solution_size":1553,"ok":true,"resemblance":0.855752,"problem_id":5958,"solution_spec_hash":"6b238189100cf592d6668890a6b6dde88e0d4345"}
{"solution_size":315,"ok":true,"resemblance":0.75,"problem_id":5964,"solution_spec_hash":"ecf0e814bf53d4a969179613e400073990d36c8c"}
{"solution_size":1584,"ok":true,"resemblance":0.938357,"problem_id":5965,"solution_spec_hash":"91b8895c58e624a2dac04b1ea5a49a35fe68fc43"}
{"solution_size":728,"ok":true,"resemblance":0.96422,"problem_id":5967,"solution_spec_hash":"8c090eaed4ed0b690f614eeb14cb7584b85f8b45"}
{"solution_size":1057,"ok":true,"resemblance":0.894254,"problem_id":5968,"solution_spec_hash":"0c0804f5564ecd3c69401cc721e745f5377898d8"}
{"solution_size":31,"ok":true,"resemblance":1.0,"problem_id":345,"solution_spec_hash":"d9bde92839cf689785ce208549024fd460c023f6"}
{"solution_size":59,"ok":true,"resemblance":1.0,"problem_id":990,"solution_spec_hash":"dd5231ee5a298ad35d80289a3575e201124d1e19"}
{"solution_size":2758,"ok":true,"resemblance":0.372862,"problem_id":1283,"solution_spec_hash":"9616ad2d6d65657b9b42ff3229bb961a3169fb2b"}
{"solution_size":87,"ok":true,"resemblance":0.625,"problem_id":1339,"solution_spec_hash":"0c61413ff3f7603e6d44dd73e584103af0b634ba"}
{"solution_size":892,"ok":true,"resemblance":1.0,"problem_id":1416,"solution_spec_hash":"18fc60f30fb59e9eef67639143f82786ae418cc7"}
{"solution_size":3781,"ok":true,"resemblance":0.736562,"problem_id":1747,"solution_spec_hash":"881bc8e4d3a00aaaf964a362ac2b2f496de1bafd"}
{"solution_size":250,"ok":true,"resemblance":1.0,"problem_id":2058,"solution_spec_hash":"dc6d6f0890608f9742f9769b6d361a770b5082c7"}
{"solution_size":599,"ok":true,"resemblance":0.705014,"problem_id":2303,"solution_spec_hash":"16d30d9fccc96f1c37b48724f8e26f7a04549a0b"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":2607,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":1423,"ok":true,"resemblance":0.847457,"problem_id":2699,"solution_spec_hash":"ca297ef59c1e2927239ba20ebf5756419a10b216"}
{"solution_size":760,"ok":true,"resemblance":0.555555,"problem_id":2795,"solution_spec_hash":"483ee919d6e3941ce7f36b53e532a5d6553970fe"}
{"solution_size":3886,"ok":true,"resemblance":0.790935,"problem_id":2940,"solution_spec_hash":"adec68c922000f0362a15decfe64079138c3e041"}
{"solution_size":1847,"ok":true,"resemblance":1.0,"problem_id":3931,"solution_spec_hash":"b2816f515d027e18a788e5a6d87a0764da752277"}
{"solution_size":2196,"ok":true,"resemblance":0.841011,"problem_id":4048,"solution_spec_hash":"a46158a7d80c9e2d1cce8b500d50e2839d86409e"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4318,"solution_spec_hash":"fff7d491233e9884cd4701b437d45e2904e2635d"}
{"solution_size":3212,"ok":true,"resemblance":0.979456,"problem_id":4400,"solution_spec_hash":"0f0d9960adf5a48d1000208ef413734ba88e25d5"}
{"solution_size":768,"ok":true,"resemblance":1.0,"problem_id":4441,"solution_spec_hash":"e16a177d6098860a8540a0e9085c83c862c57d1a"}
{"solution_size":320,"ok":true,"resemblance":1.0,"problem_id":4464,"solution_spec_hash":"ca998be8cac777678390707ecade75163ecba83e"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4496,"solution_spec_hash":"823c95b3074d3488937da7c40831d15c53ef9dea"}
{"solution_size":171,"ok":true,"resemblance":1.0,"problem_id":4562,"solution_spec_hash":"5c34416594d0a26f1939c88128e29f2a39cfd120"}
{"solution_size":3778,"ok":true,"resemblance":0.5,"problem_id":4623,"solution_spec_hash":"3dab98374e1e88290b53a8c56acde82351608666"}
{"solution_size":1276,"ok":true,"resemblance":0.77539,"problem_id":4718,"solution_spec_hash":"5153c9343e77a095cd6c16f068ad22a7fc9e1db0"}
{"solution_size":1309,"ok":true,"resemblance":0.75,"problem_id":4723,"solution_spec_hash":"92095aa5499b615be7060f82aa4b0992ea8f8fee"}
{"solution_size":2830,"ok":true,"resemblance":0.882663,"problem_id":4731,"solution_spec_hash":"8e61e50cec02795a135ea6b8274d0dd647cbc64c"}
{"solution_size":3193,"ok":true,"resemblance":1.0,"problem_id":4803,"solution_spec_hash":"7cd2eb4c61538de73157f48f558f1debb375b777"}
{"solution_size":2771,"ok":true,"resemblance":0.767675,"problem_id":4838,"solution_spec_hash":"e5a31bd50078c8b2f5870fc7ffe604314649426c"}
{"solution_size":1624,"ok":true,"resemblance":1.0,"problem_id":4863,"solution_spec_hash":"b5e6768d68eddb51826d5f7db882c71e67dec431"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":4953,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":219,"ok":true,"resemblance":0.833333,"problem_id":5006,"solution_spec_hash":"a3c18d695759314b43b3a5af017854dc34ff8afc"}
{"solution_size":1866,"ok":true,"resemblance":0.850217,"problem_id":5014,"solution_spec_hash":"d97e94a71b38cc85c8958db78edcb266dd2b6f2a"}
{"solution_size":2073,"ok":true,"resemblance":0.513913,"problem_id":5058,"solution_spec_hash":"46abfa72b7e7a69da8c255108f790bc0a1c372fe"}
{"solution_size":3250,"ok":true,"resemblance":0.753996,"problem_id":5088,"solution_spec_hash":"578a5b826f913e1984b7861bf97f3e2e82cfb857"}
{"solution_size":3099,"ok":true,"resemblance":0.347636,"problem_id":5163,"solution_spec_hash":"a8c5be72be998f4c384d379f60e6ffdfe5211418"}
{"solution_size":1287,"ok":true,"resemblance":0.90566,"problem_id":5194,"solution_spec_hash":"8801269d1a9b4a39be7203f428ad50e8e6a789b3"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":5221,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":5294,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":264,"ok":true,"resemblance":1.0,"problem_id":5312,"solution_spec_hash":"c706d70d189b3a1d64001fa8f64cfe1898e997af"}
{"solution_size":1529,"ok":true,"resemblance":0.916666,"problem_id":5343,"solution_spec_hash":"8008feacbb4f7909c030ce3fc90f5057284a7f90"}
{"solution_size":1961,"ok":true,"resemblance":0.866666,"problem_id":5364,"solution_spec_hash":"982d94644bd6e0e17fe3719579365d150226d26b"}
{"solution_size":4889,"ok":true,"resemblance":0.791666,"problem_id":5381,"solution_spec_hash":"dc4f34102990310d86993c9514fa5e865aacf5e0"}
{"solution_size":153,"ok":true,"resemblance":1.0,"problem_id":5449,"solution_spec_hash":"3fb572cd185c4d83eaa8da84f54aaaa94ac03a68"}
{"solution_size":675,"ok":true,"resemblance":0.782312,"problem_id":5489,"solution_spec_hash":"2e2edb2cfa105c9139c372121e05dea329555968"}
{"solution_size":1027,"ok":true,"resemblance":0.965936,"problem_id":5498,"solution_spec_hash":"dba006dbcdc774de7eb2c3b646eb24830f742eee"}
{"solution_size":521,"ok":true,"resemblance":0.911411,"problem_id":5515,"solution_spec_hash":"01d1dab5467339b56c70fd77934df4906b3307ec"}
{"solution_size":298,"ok":true,"resemblance":0.75,"problem_id":5531,"solution_spec_hash":"637c5ae818cfa546ee3768c9b0b6f27e78566665"}
{"solution_size":3040,"ok":true,"resemblance":0.592363,"problem_id":5585,"solution_spec_hash":"f8ffed0b7bbad3d8ef613890f6d080ef3b6ecc55"}
{"solution_size":2383,"ok":true,"resemblance":0.984723,"problem_id":5618,"solution_spec_hash":"c739d75428ea15839d566973af50555015403d87"}
{"solution_size":2634,"ok":true,"resemblance":0.4394,"problem_id":5622,"solution_spec_hash":"a43993d17bf7bfc6c34ab1a15f8373f7430a9cb7"}
{"solution_size":2167,"ok":true,"resemblance":0.474703,"problem_id":5647,"solution_spec_hash":"90519ed2282f3568b6f8281ee9e91facae6f58e7"}
{"solution_size":2450,"ok":true,"resemblance":0.204913,"problem_id":5717,"solution_spec_hash":"bb32ac6fbbd795d64cedbe3c5d3caf1553b19ade"}
{"solution_size":2895,"ok":true,"resemblance":0.881486,"problem_id":5787,"solution_spec_hash":"4216b619a84a7e95d83ef3ae17defaf00889e235"}
{"solution_size":2183,"ok":true,"resemblance":0.377646,"problem_id":5793,"solution_spec_hash":"1a5e076f63883c6e78ee76e1d24b998340bc8a10"}
{"solution_size":1907,"ok":true,"resemblance":0.932591,"problem_id":5815,"solution_spec_hash":"591c39ef57003f1811278897e1a253dd3a0a5900"}
{"solution_size":1004,"ok":true,"resemblance":0.691439,"problem_id":5829,"solution_spec_hash":"23b053b7bf4a4586a7dcce6d6a4b6dbf16b48532"}
{"solution_size":2568,"ok":true,"resemblance":0.583333,"problem_id":5865,"solution_spec_hash":"4fa3b6b4b3cb6b437f86bc83325be7f709ce3029"}
{"solution_size":1563,"ok":true,"resemblance":0.86691,"problem_id":5875,"solution_spec_hash":"ae3efd2f3f1323be091dee9b7d49347a82b6d3da"}
{"solution_size":3018,"ok":true,"resemblance":0.750115,"problem_id":5884,"solution_spec_hash":"a8806c1da76224a370d4cf1eb080e4a26dd233ab"}
{"solution_size":4785,"ok":true,"resemblance":0.528623,"problem_id":5893,"solution_spec_hash":"678565b52535f298610650f17d10a83ea146a8d9"}
{"solution_size":2662,"ok":true,"resemblance":0.152232,"problem_id":5900,"solution_spec_hash":"b1ddfdfe014417a09cedd099a7ba3037791a9df0"}
{"solution_size":2653,"ok":true,"resemblance":0.869832,"problem_id":5908,"solution_spec_hash":"4331ecdd86eac19aa52de21f4dd6fc5d9529eb89"}
{"solution_size":2806,"ok":true,"resemblance":0.522972,"problem_id":5910,"solution_spec_hash":"887cfa7ae4b0bd2b2ec1dc075cffb1bc69efaa5d"}
{"solution_size":2779,"ok":true,"resemblance":0.566997,"problem_id":5915,"solution_spec_hash":"5a81744c06343419e4ea7dfd2f4c48943929aaa6"}
{"solution_size":490,"ok":true,"resemblance":0.983606,"problem_id":5919,"solution_spec_hash":"0139de1f9189ae7628173a5b6ed2c39c8af7b464"}
{"solution_size":189,"ok":true,"resemblance":1.0,"problem_id":5932,"solution_spec_hash":"88b37b8769a431bac51a3c11f1c1825cddc9f5d7"}
{"solution_size":184,"ok":true,"resemblance":1.0,"problem_id":5935,"solution_spec_hash":"1a573f0987cd678911cecdcf6ea6316d8cf24c0a"}
{"solution_size":2568,"ok":true,"resemblance":0.803323,"problem_id":5956,"solution_spec_hash":"efa0fc5d37e5e211bb3f8aa730b324b336c118d7"}
{"solution_size":241,"ok":true,"resemblance":0.811706,"problem_id":5960,"solution_spec_hash":"c34b346f3cce037342c46cbdd03cfe4d93a2474e"}
{"solution_size":591,"ok":true,"resemblance":0.892857,"problem_id":5974,"solution_spec_hash":"a2b6bc84a16a0a7900c1beb6087bad82e770c234"}
{"solution_size":892,"ok":true,"resemblance":0.866666,"problem_id":5978,"solution_spec_hash":"3aa119bc694ae8610ecb922e450a5d238ca7e570"}
{"solution_size":328,"ok":true,"resemblance":1.0,"problem_id":5979,"solution_spec_hash":"c9d85335f986c718fd406a74d8aec9f4ecbaa798"}
{"solution_size":2631,"ok":true,"resemblance":0.977112,"problem_id":5982,"solution_spec_hash":"82ccad6b85d7143923d43fb1d2baf5dfa235e00c"}
{"solution_size":179,"ok":true,"resemblance":0.8,"problem_id":5985,"solution_spec_hash":"b927a32c671e4b2921e734aa958049f6bd837cd6"}
{"solution_size":4398,"ok":true,"resemblance":0.248266,"problem_id":5987,"solution_spec_hash":"8c0c8020d445ffc1b3b40228bd097b1c51143656"}
{"solution_size":1369,"ok":true,"resemblance":0.942994,"problem_id":5989,"solution_spec_hash":"bbbac9d541df003342a47cc52c52854c197ed16d"}
{"solution_size":2344,"ok":true,"resemblance":0.943713,"problem_id":5999,"solution_spec_hash":"c9c9034b18c8cc0ba2886650d3e779d2dbb44e89"}
{"solution_size":2892,"ok":true,"resemblance":1.0,"problem_id":6001,"solution_spec_hash":"8b5b3e41c851c7a43c02b339c84566fd81d7544d"}
{"solution_size":2923,"ok":true,"resemblance":0.794786,"problem_id":6002,"solution_spec_hash":"feb20616fb0b4c3574bf1e00aad630b2e5424588"}
{"solution_size":620,"ok":true,"resemblance":0.161596,"problem_id":6011,"solution_spec_hash":"720ae639e787388d1ac1a21e9eed7358b5e7f874"}
{"solution_size":1038,"ok":true,"resemblance":0.902597,"problem_id":6012,"solution_spec_hash":"76cc840fcd61471b949aef12197f13d2bb7191ab"}
{"solution_size":422,"ok":true,"resemblance":0.75,"problem_id":6022,"solution_spec_hash":"dc69d3ebeccc1d2bdc84a5d67f5d2000e90eb3db"}
{"solution_size":34,"ok":true,"resemblance":1.0,"problem_id":6030,"solution_spec_hash":"23ed6ccfa235bc85fecda04c8d22b2feccdb7670"}
{"solution_size":1547,"ok":true,"resemblance":0.65909,"problem_id":6031,"solution_spec_hash":"06961c1c375a729c856838b4ffeabd976d8c17a6"}
{"solution_size":1535,"ok":true,"resemblance":0.880432,"problem_id":6032,"solution_spec_hash":"ea9a29e140bece3940d6693e704a30dbe01ff452"}
{"solution_size":713,"ok":true,"resemblance":0.929824,"problem_id":6035,"solution_spec_hash":"b7e01441c689df4b7e10799cb135606b466119ca"}
{"solution_size":216,"ok":true,"resemblance":1.0,"problem_id":6036,"solution_spec_hash":"24a4bb57e053b7fbf73113fce449797bcb69e5a5"}
{"solution_size":31,"ok":true,"resemblance":1.0,"problem_id":346,"solution_spec_hash":"d9bde92839cf689785ce208549024fd460c023f6"}
{"solution_size":63,"ok":true,"resemblance":1.0,"problem_id":991,"solution_spec_hash":"c712e6d3db4b988ce808fb243bdf97795de3a785"}
{"solution_size":2758,"ok":true,"resemblance":0.372862,"problem_id":1284,"solution_spec_hash":"9616ad2d6d65657b9b42ff3229bb961a3169fb2b"}
{"solution_size":87,"ok":true,"resemblance":0.625,"problem_id":1340,"solution_spec_hash":"0c61413ff3f7603e6d44dd73e584103af0b634ba"}
{"solution_size":892,"ok":true,"resemblance":1.0,"problem_id":1463,"solution_spec_hash":"047893dad7961b7975e06387ca3664eaf4b5f221"}
{"solution_size":3941,"ok":true,"resemblance":0.85626,"problem_id":1748,"solution_spec_hash":"07338be5f14f7b9bf172f78c37352f24da20f707"}
{"solution_size":237,"ok":true,"resemblance":1.0,"problem_id":2059,"solution_spec_hash":"60d7e54940375c588f5aa6f657ffc4eec1c84ae1"}
{"solution_size":599,"ok":true,"resemblance":0.705014,"problem_id":2304,"solution_spec_hash":"16d30d9fccc96f1c37b48724f8e26f7a04549a0b"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":2608,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":1423,"ok":true,"resemblance":0.847457,"problem_id":2700,"solution_spec_hash":"ca297ef59c1e2927239ba20ebf5756419a10b216"}
{"solution_size":743,"ok":true,"resemblance":0.555555,"problem_id":2793,"solution_spec_hash":"2d457fcac15d3f2c7a59cb234d8cfffb8cf9b40b"}
{"solution_size":2076,"ok":true,"resemblance":0.934359,"problem_id":2941,"solution_spec_hash":"a1f4e1f44ffab9b01832e08912106f552fdbf271"}
{"solution_size":339,"ok":true,"resemblance":0.9375,"problem_id":3729,"solution_spec_hash":"8759405ff9902788202b111a8cf61536ed6d5b3f"}
{"solution_size":2056,"ok":true,"resemblance":1.0,"problem_id":3933,"solution_spec_hash":"95c644289e48c546bc6c31c92a2eb61d2edfe996"}
{"solution_size":2663,"ok":true,"resemblance":0.578491,"problem_id":4049,"solution_spec_hash":"349df42080945b6676205b959e3b3c555f815594"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4317,"solution_spec_hash":"fff7d491233e9884cd4701b437d45e2904e2635d"}
{"solution_size":1854,"ok":true,"resemblance":0.274208,"problem_id":4402,"solution_spec_hash":"7ff8d0338c9bb9d6e027eaf773b247b95ad5ecce"}
{"solution_size":1933,"ok":true,"resemblance":0.798387,"problem_id":4442,"solution_spec_hash":"752f01994af50ee126e6aaa2b694ecd35f05805d"}
{"solution_size":292,"ok":true,"resemblance":1.0,"problem_id":4467,"solution_spec_hash":"7b7a2daa99a4a1d33e70a915ecca5916b1b61b78"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4497,"solution_spec_hash":"fe8b7b4010b5f89ba6197e323187f6e2becb03b4"}
{"solution_size":185,"ok":true,"resemblance":1.0,"problem_id":4563,"solution_spec_hash":"6e12568ca574eb55b802800ddbda9a404d274adb"}
{"solution_size":3778,"ok":true,"resemblance":0.5,"problem_id":4624,"solution_spec_hash":"3dab98374e1e88290b53a8c56acde82351608666"}
{"solution_size":1271,"ok":true,"resemblance":0.75,"problem_id":4725,"solution_spec_hash":"8a87e02567c723aa873f67f345a5e1460ec9be51"}
{"solution_size":2798,"ok":true,"resemblance":0.761904,"problem_id":4732,"solution_spec_hash":"96a2ecaba0a3ad81648ad5bd00c24747ecb691d4"}
{"solution_size":1949,"ok":true,"resemblance":0.970934,"problem_id":4749,"solution_spec_hash":"c2649e83a11d0dcc74230ae07c58a57478b3f72e"}
{"solution_size":1326,"ok":true,"resemblance":1.0,"problem_id":4804,"solution_spec_hash":"364e958495e3af98860076bbfd8a134aff514b0e"}
{"solution_size":3312,"ok":true,"resemblance":0.899408,"problem_id":4841,"solution_spec_hash":"dc58160bc6203fa18f074dfeb9575df004e18e31"}
{"solution_size":1624,"ok":true,"resemblance":1.0,"problem_id":4864,"solution_spec_hash":"b5e6768d68eddb51826d5f7db882c71e67dec431"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":4952,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":211,"ok":true,"resemblance":0.833333,"problem_id":5007,"solution_spec_hash":"250f47e8b33c2f6757769858ff399c40536bed32"}
{"solution_size":2001,"ok":true,"resemblance":0.850217,"problem_id":5015,"solution_spec_hash":"ba6aa50fd0153db0f8c4348eb3887d937617d93b"}
{"solution_size":2398,"ok":true,"resemblance":0.376541,"problem_id":5059,"solution_spec_hash":"ddb99af2ba6456c38a6d8b10c7d2dc85461cf055"}
{"solution_size":1868,"ok":true,"resemblance":0.616604,"problem_id":5089,"solution_spec_hash":"049e0d83d284c048bff3473ff36d29f870b84e51"}
{"solution_size":3348,"ok":true,"resemblance":0.483641,"problem_id":5164,"solution_spec_hash":"7c2c2cd1fde30a09877da581a2f8dec867d56e3f"}
{"solution_size":285,"ok":true,"resemblance":0.818181,"problem_id":5196,"solution_spec_hash":"aa5da578c885c168cb047f7228e0c2ba2c61bb55"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":5220,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":5295,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":248,"ok":true,"resemblance":1.0,"problem_id":5313,"solution_spec_hash":"8d5e932c97a7a7b32896bfdc546b5c0c7a8885bd"}
{"solution_size":109,"ok":true,"resemblance":0.833333,"problem_id":5326,"solution_spec_hash":"fb6ef23983f4fc2ea6847e449584f6f27cdf8a57"}
{"solution_size":1553,"ok":true,"resemblance":0.947368,"problem_id":5344,"solution_spec_hash":"0cde76fc9e9642b18e668adfc067f07e4761f1c8"}
{"solution_size":1888,"ok":true,"resemblance":0.866666,"problem_id":5365,"solution_spec_hash":"e2d4d1c7cf1d651c904acb539e9d4d6d01ddb058"}
{"solution_size":2871,"ok":true,"resemblance":0.77626,"problem_id":5382,"solution_spec_hash":"e26a59619963cf5feef4984192e2122c34b40677"}
{"solution_size":177,"ok":true,"resemblance":1.0,"problem_id":5450,"solution_spec_hash":"751be89436452b6c211d44988270792bde4cd092"}
{"solution_size":378,"ok":true,"resemblance":0.782312,"problem_id":5475,"solution_spec_hash":"91ea14b99dd780526a59668d2c0f025d1e35616e"}
{"solution_size":4614,"ok":true,"resemblance":0.874293,"problem_id":5499,"solution_spec_hash":"e835074ecf7c75517799841cc85f54362cb197d5"}
{"solution_size":623,"ok":true,"resemblance":0.911411,"problem_id":5516,"solution_spec_hash":"19a32cf4a113ead45c3a823789a01fc838fa1409"}
{"solution_size":3030,"ok":true,"resemblance":0.795025,"problem_id":5589,"solution_spec_hash":"c565ebf44b38727e128c03ef53805d5a81a87a80"}
{"solution_size":4007,"ok":true,"resemblance":0.66221,"problem_id":5623,"solution_spec_hash":"93b3ceedc30e25c259faac88a347a7ea4861c8ab"}
{"solution_size":2463,"ok":true,"resemblance":0.452576,"problem_id":5625,"solution_spec_hash":"4740b69a7c2128353d616b1dfebcb660fe852529"}
{"solution_size":1996,"ok":true,"resemblance":0.504091,"problem_id":5649,"solution_spec_hash":"128805264337ca7c58e358199112eae4a23bc49b"}
{"solution_size":4831,"ok":true,"resemblance":0.718349,"problem_id":5732,"solution_spec_hash":"46528b6b869ff19aaf8f57b847fac042f1bd6c33"}
{"solution_size":171,"ok":true,"resemblance":1.0,"problem_id":5792,"solution_spec_hash":"fd419a0e08ac9821a30b19c49e2d3c91cf7e5cc2"}
{"solution_size":3343,"ok":true,"resemblance":0.497425,"problem_id":5795,"solution_spec_hash":"5ada97a4527a706f8a0de1ca6c5972719fe1e5e7"}
{"solution_size":2869,"ok":true,"resemblance":0.466666,"problem_id":5806,"solution_spec_hash":"b0784bdf05868e15bfa96917acfe7211e7eebc28"}
{"solution_size":1004,"ok":true,"resemblance":0.691439,"problem_id":5828,"solution_spec_hash":"23b053b7bf4a4586a7dcce6d6a4b6dbf16b48532"}
{"solution_size":1497,"ok":true,"resemblance":0.842105,"problem_id":5852,"solution_spec_hash":"b1682f29eadffe60342827b759419df080706d6f"}
{"solution_size":1602,"ok":true,"resemblance":0.409567,"problem_id":5886,"solution_spec_hash":"cde1c6852eac59563f321c28064bbab9626a6021"}
{"solution_size":3027,"ok":true,"resemblance":0.829305,"problem_id":5889,"solution_spec_hash":"075d719d26b1a1543ba9aa331b01c676e532ed5e"}
{"solution_size":1527,"ok":true,"resemblance":0.676269,"problem_id":5894,"solution_spec_hash":"c4eb0362fff910d09bf3c5a348fe830ccb4f96c1"}
{"solution_size":2807,"ok":true,"resemblance":0.204524,"problem_id":5901,"solution_spec_hash":"fccd9000246afb6fb640bc1096cd0b6be114745a"}
{"solution_size":490,"ok":true,"resemblance":0.983606,"problem_id":5920,"solution_spec_hash":"0139de1f9189ae7628173a5b6ed2c39c8af7b464"}
{"solution_size":189,"ok":true,"resemblance":1.0,"problem_id":5934,"solution_spec_hash":"200bb353322698a5b429f2d22e2e899410dd548d"}
{"solution_size":3597,"ok":true,"resemblance":0.774827,"problem_id":5937,"solution_spec_hash":"216d84565d3cf0b2edf4b803c1bcf32597f627b9"}
{"solution_size":1694,"ok":true,"resemblance":0.803323,"problem_id":5962,"solution_spec_hash":"1a7b1b604d392e5ecc8d2578e155b5f7f47062e0"}
{"solution_size":1816,"ok":true,"resemblance":0.649602,"problem_id":5977,"solution_spec_hash":"5c655df1dde87dcfbebc96c2d135f27936cb39b4"}
{"solution_size":2631,"ok":true,"resemblance":0.977112,"problem_id":5983,"solution_spec_hash":"82ccad6b85d7143923d43fb1d2baf5dfa235e00c"}
{"solution_size":287,"ok":true,"resemblance":0.76,"problem_id":5986,"solution_spec_hash":"7096e81d68f1d2d8bcc87b8d06600841034e6361"}
{"solution_size":4398,"ok":true,"resemblance":0.248266,"problem_id":5988,"solution_spec_hash":"8c0c8020d445ffc1b3b40228bd097b1c51143656"}
{"solution_size":434,"ok":true,"resemblance":1.0,"problem_id":5992,"solution_spec_hash":"99eeeee6b998ded914ab8abc807c18e9ebc64a86"}
{"solution_size":2923,"ok":true,"resemblance":0.794786,"problem_id":6003,"solution_spec_hash":"feb20616fb0b4c3574bf1e00aad630b2e5424588"}
{"solution_size":316,"ok":true,"resemblance":0.75,"problem_id":6023,"solution_spec_hash":"264af014cd233cd2606f99066c59fa14a1fbd6b9"}
{"solution_size":591,"ok":true,"resemblance":0.892857,"problem_id":6033,"solution_spec_hash":"a2b6bc84a16a0a7900c1beb6087bad82e770c234"}
{"solution_size":1992,"ok":true,"resemblance":0.432624,"problem_id":6037,"solution_spec_hash":"51f1a574b955388f024eb42be7ba617a759d18ba"}
{"solution_size":787,"ok":true,"resemblance":0.987981,"problem_id":6038,"solution_spec_hash":"1bf6dcff668c4818f855a9b22143c2edb280238a"}
{"solution_size":671,"ok":true,"resemblance":0.88005,"problem_id":6039,"solution_spec_hash":"e3e5014b812d3175b77428a09e1ed011e4a23bd1"}
{"solution_size":3901,"ok":true,"resemblance":1.0,"problem_id":6040,"solution_spec_hash":"59e4f1259ce29c5c22a17c4651d11e46f3731c48"}
{"solution_size":551,"ok":true,"resemblance":0.155322,"problem_id":6046,"solution_spec_hash":"d0f9764c809e18b184c64ae263cd1178adb3108c"}
{"solution_size":169,"ok":true,"resemblance":0.869047,"problem_id":6050,"solution_spec_hash":"737b9c6b845ed848a3ea7143417959307f40ea79"}
{"solution_size":43,"ok":true,"resemblance":1.0,"problem_id":6056,"solution_spec_hash":"d3cd1829be57dec917a16e853de040f4c1d10855"}
{"solution_size":1419,"ok":true,"resemblance":0.948716,"problem_id":6060,"solution_spec_hash":"02a2865c3047fac081e968caf5d7b0379f70025b"}
{"solution_size":3814,"ok":true,"resemblance":0.914659,"problem_id":6061,"solution_spec_hash":"7579b1a694d0ac8f65ac3525659ef8c6b91ff57d"}
{"solution_size":2515,"ok":true,"resemblance":0.788527,"problem_id":6067,"solution_spec_hash":"35b12f93b3026f53870dbb72c5e357cf9d0292be"}
{"solution_size":2779,"ok":true,"resemblance":0.566997,"problem_id":6070,"solution_spec_hash":"5a81744c06343419e4ea7dfd2f4c48943929aaa6"}
{"solution_size":343,"ok":true,"resemblance":1.0,"problem_id":6072,"solution_spec_hash":"d97a10e5cfaff44e2869eea66429b6d92535e958"}
{"solution_size":207,"ok":true,"resemblance":1.0,"problem_id":6073,"solution_spec_hash":"340a56f7603fe4b94e842f74e111835727b5dd32"}
{"solution_size":31,"ok":true,"resemblance":1.0,"problem_id":347,"solution_spec_hash":"d9bde92839cf689785ce208549024fd460c023f6"}
{"solution_size":63,"ok":true,"resemblance":1.0,"problem_id":992,"solution_spec_hash":"f891d2d58746940a4b5a5b8c6c7310dd324e3745"}
{"solution_size":2758,"ok":true,"resemblance":0.372862,"problem_id":1285,"solution_spec_hash":"9616ad2d6d65657b9b42ff3229bb961a3169fb2b"}
{"solution_size":87,"ok":true,"resemblance":0.625,"problem_id":1341,"solution_spec_hash":"0c61413ff3f7603e6d44dd73e584103af0b634ba"}
{"solution_size":892,"ok":true,"resemblance":1.0,"problem_id":1441,"solution_spec_hash":"9c7bf3176d4f730a777c3b52712e97b517b28972"}
{"solution_size":2622,"ok":true,"resemblance":0.81687,"problem_id":1749,"solution_spec_hash":"b5e0eda80e79b0899b206be88c72cec103b838fa"}
{"solution_size":245,"ok":true,"resemblance":1.0,"problem_id":2060,"solution_spec_hash":"3bffe972369bb59f7d04122544fc22c93065654d"}
{"solution_size":599,"ok":true,"resemblance":0.705014,"problem_id":2305,"solution_spec_hash":"16d30d9fccc96f1c37b48724f8e26f7a04549a0b"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":2609,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":1423,"ok":true,"resemblance":0.847457,"problem_id":2701,"solution_spec_hash":"ca297ef59c1e2927239ba20ebf5756419a10b216"}
{"solution_size":318,"ok":true,"resemblance":0.555555,"problem_id":2792,"solution_spec_hash":"b0ea855671bc52df8ea72c71ea34e0e1a02f938d"}
{"solution_size":2963,"ok":true,"resemblance":0.925079,"problem_id":2943,"solution_spec_hash":"6edef55854ebb63702e8e7cde73eff6856a8e6ef"}
{"solution_size":376,"ok":true,"resemblance":0.9375,"problem_id":3730,"solution_spec_hash":"8e700b3652367051bee0507f14431657a4fbab8f"}
{"solution_size":1755,"ok":true,"resemblance":1.0,"problem_id":3935,"solution_spec_hash":"e8ffd91eaea6607d69a6d4da71aa0b28f42a2766"}
{"solution_size":2596,"ok":true,"resemblance":0.712719,"problem_id":4050,"solution_spec_hash":"7f2be2ba232cf2d783f29ecb1751072ef4e181b1"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4315,"solution_spec_hash":"fff7d491233e9884cd4701b437d45e2904e2635d"}
{"solution_size":3068,"ok":true,"resemblance":0.989881,"problem_id":4403,"solution_spec_hash":"31380b39e438322d692c37cd4cddc9faf17da2b4"}
{"ok":false,"error":"Invalid solution spec: Solution size limit exceeded."}
{"solution_size":322,"ok":true,"resemblance":1.0,"problem_id":4469,"solution_spec_hash":"6af897a0f067c31be8163ca56a80e07a95f92026"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":4498,"solution_spec_hash":"d7af568af6330d3abcf1b95f03957887127bf150"}
{"solution_size":137,"ok":true,"resemblance":1.0,"problem_id":4564,"solution_spec_hash":"c054ac841d43745a374df15e1c2f03f09b4114c2"}
{"solution_size":3778,"ok":true,"resemblance":0.5,"problem_id":4625,"solution_spec_hash":"3dab98374e1e88290b53a8c56acde82351608666"}
{"solution_size":768,"ok":true,"resemblance":0.77796,"problem_id":4752,"solution_spec_hash":"01955e2477cbb06a08c7c6a5f96ba89630fc8d2c"}
{"solution_size":2649,"ok":true,"resemblance":0.920169,"problem_id":4757,"solution_spec_hash":"9c0363eb7a486ab44d49cd3a8f7a9be42b35fc7b"}
{"solution_size":1374,"ok":true,"resemblance":0.75,"problem_id":4759,"solution_spec_hash":"3f89fdc705fe980697b4f1b6924f279a9bf2000b"}
{"solution_size":2093,"ok":true,"resemblance":0.990148,"problem_id":4805,"solution_spec_hash":"856ac62f838d215df3404dad3dce79cc1c880015"}
{"solution_size":2406,"ok":true,"resemblance":0.948831,"problem_id":4844,"solution_spec_hash":"85fa25017302ad0ddb1293f2c06d1b4ef88707a5"}
{"solution_size":1624,"ok":true,"resemblance":1.0,"problem_id":4865,"solution_spec_hash":"b5e6768d68eddb51826d5f7db882c71e67dec431"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":4951,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":196,"ok":true,"resemblance":0.833333,"problem_id":5008,"solution_spec_hash":"647419b29b06524921c3640fd79b2dc6fbf3ab5c"}
{"solution_size":1338,"ok":true,"resemblance":0.509973,"problem_id":5026,"solution_spec_hash":"6767a9680aca391008ebdb71e349f8625a81d8b4"}
{"solution_size":1791,"ok":true,"resemblance":0.592182,"problem_id":5060,"solution_spec_hash":"1d24be45d70fb0e7b85e613c036f4fb914cde9f1"}
{"solution_size":3313,"ok":true,"resemblance":0.753996,"problem_id":5090,"solution_spec_hash":"e6b323ee990a89077bd42e298cd374a5e3f0656d"}
{"solution_size":1168,"ok":true,"resemblance":0.260599,"problem_id":5166,"solution_spec_hash":"14f33f62d450e65b4d4660f9e22a586ed52b4e04"}
{"solution_size":237,"ok":true,"resemblance":0.714285,"problem_id":5200,"solution_spec_hash":"cf2f5bbef3e798210574b0865af802c2e6c16dc4"}
{"solution_size":180,"ok":true,"resemblance":0.938018,"problem_id":5219,"solution_spec_hash":"fb97af1c1b0820ca3875253bb32b73577249a2f4"}
{"solution_size":78,"ok":true,"resemblance":1.0,"problem_id":5296,"solution_spec_hash":"a4bcccca7e6a4c95e5c52c348b9effc2bd023b4e"}
{"solution_size":109,"ok":true,"resemblance":0.833333,"problem_id":5327,"solution_spec_hash":"fb6ef23983f4fc2ea6847e449584f6f27cdf8a57"}
{"solution_size":1683,"ok":true,"resemblance":0.916666,"problem_id":5345,"solution_spec_hash":"a2b8b395434731cabb535820e39e0ac9c1c07f03"}
{"solution_size":1775,"ok":true,"resemblance":0.866666,"problem_id":5366,"solution_spec_hash":"706737cd4426ac77daedbb5865eb50a9f535a817"}
{"solution_size":4374,"ok":true,"resemblance":0.791666,"problem_id":5383,"solution_spec_hash":"f00001c12220fdd42c7b01e8908024f2ad6657bd"}
{"solution_size":417,"ok":true,"resemblance":0.782312,"problem_id":5477,"solution_spec_hash":"0d7095cad12766d4063ecbb316563420d29578d4"}
{"solution_size":3583,"ok":true,"resemblance":0.840342,"problem_id":5500,"solution_spec_hash":"e163840ec3a8bad78a8f562d267e59cc93db7469"}
{"solution_size":590,"ok":true,"resemblance":0.911411,"problem_id":5517,"solution_spec_hash":"4a908b7b6b7b6321dab2cb9bf03762c6c303cdc1"}
{"solution_size":2879,"ok":true,"resemblance":0.74603,"problem_id":5590,"solution_spec_hash":"b9064e9274aed69263aa835d1a3dd5b7a147a438"}
{"solution_size":1880,"ok":true,"resemblance":0.298461,"problem_id":5624,"solution_spec_hash":"71789f99ae976324eab27d0bb68c0a1ff2850903"}
{"solution_size":738,"ok":true,"resemblance":1.0,"problem_id":5650,"solution_spec_hash":"489dd2a3f5cea463f5d0e33bdaf33d07d2d72b64"}
{"solution_size":2487,"ok":true,"resemblance":0.880445,"problem_id":5738,"solution_spec_hash":"acdb6a1aa82a93da19912130063e45b206accd1e"}
{"solution_size":3300,"ok":true,"resemblance":0.497513,"problem_id":5796,"solution_spec_hash":"0f03ad5d2de58c52b7f705162862b577d3d55bea"}
{"solution_size":1004,"ok":true,"resemblance":0.691439,"problem_id":5827,"solution_spec_hash":"23b053b7bf4a4586a7dcce6d6a4b6dbf16b48532"}
{"solution_size":1486,"ok":true,"resemblance":0.869918,"problem_id":5853,"solution_spec_hash":"8554e6d87f83ee92e56f6fc2742d3a7592ded373"}
{"solution_size":229,"ok":true,"resemblance":0.642857,"problem_id":5861,"solution_spec_hash":"192e5892a099a0abd3edc1e0b3161652ad80abcf"}
{"solution_size":2711,"ok":true,"resemblance":0.336356,"problem_id":5866,"solution_spec_hash":"e71ed08bf1a5ab452f9c2d7ae7be830edce65719"}
{"solution_size":2235,"ok":true,"resemblance":0.649701,"problem_id":5895,"solution_spec_hash":"ba2b36f2f8f126f0f8f6a448e998ebefb479eab6"}
{"solution_size":2792,"ok":true,"resemblance":0.176505,"problem_id":5902,"solution_spec_hash":"0b8eee8c1a1db090f6b718f7f9063a3e33e832ee"}
{"solution_size":490,"ok":true,"resemblance":0.983606,"problem_id":5921,"solution_spec_hash":"0139de1f9189ae7628173a5b6ed2c39c8af7b464"}
{"solution_size":176,"ok":true,"resemblance":1.0,"problem_id":5936,"solution_spec_hash":"b0bb7317dae064cac5d182c2734e51e8440eb1d5"}
{"solution_size":2789,"ok":true,"resemblance":0.826247,"problem_id":5948,"solution_spec_hash":"40f92e4bd605822de1c56e4e89247b8e7a986be1"}
{"solution_size":1721,"ok":true,"resemblance":0.785356,"problem_id":5970,"solution_spec_hash":"0864b8fd3509237281d010b1f6dbc3cb2d34d722"}
{"solution_size":2627,"ok":true,"resemblance":0.721028,"problem_id":5984,"solution_spec_hash":"0e0646714badba65bf2cdfe4c1b4b364ec6b6c63"}
{"solution_size":4398,"ok":true,"resemblance":0.248266,"problem_id":5990,"solution_spec_hash":"8c0c8020d445ffc1b3b40228bd097b1c51143656"}
{"solution_size":209,"ok":true,"resemblance":1.0,"problem_id":5996,"solution_spec_hash":"0f3ced5385d85da56f93735bdd6c7f361f593c7b"}
{"solution_size":2923,"ok":true,"resemblance":0.794786,"problem_id":6004,"solution_spec_hash":"feb20616fb0b4c3574bf1e00aad630b2e5424588"}
{"solution_size":408,"ok":true,"resemblance":0.75,"problem_id":6025,"solution_spec_hash":"9c8394a03502610fb382ffc65091766dc6c28982"}
{"solution_size":3733,"ok":true,"resemblance":1.0,"problem_id":6041,"solution_spec_hash":"ec6485d0036a825f53eec2e490ad92130da5bc47"}
{"solution_size":3716,"ok":true,"resemblance":0.708798,"problem_id":6052,"solution_spec_hash":"18be237ac5a33d121a7ac9935528679541763a7b"}
{"solution_size":591,"ok":true,"resemblance":0.892857,"problem_id":6058,"solution_spec_hash":"a2b6bc84a16a0a7900c1beb6087bad82e770c234"}
{"solution_size":1010,"ok":true,"resemblance":0.868106,"problem_id":6083,"solution_spec_hash":"ef53dffc620976850f658b34bab371863ecb1cda"}
{"solution_size":765,"ok":true,"resemblance":0.716216,"problem_id":6084,"solution_spec_hash":"007cfdb53737d5418169e66bcb6753116a9732d1"}
{"solution_size":43,"ok":true,"resemblance":1.0,"problem_id":6095,"solution_spec_hash":"b85e53a745bdd7361e87d8a1e57c2be4cc6cdf83"}
{"solution_size":243,"ok":true,"resemblance":0.869047,"problem_id":6099,"solution_spec_hash":"8f9ae2ad43d10576fedd2cd537372792183e68b7"}
{"solution_size":223,"ok":true,"resemblance":1.0,"problem_id":6112,"solution_spec_hash":"ac20116688abbaaa0f20f4e10a27d0d7ef73a1c3"}
{"solution_size":1178,"ok":true,"resemblance":0.54054,"problem_id":6115,"solution_spec_hash":"055c87d0fc7539621affca7d2ff1b59dbc1a27a9"}
{"solution_size":2451,"ok":true,"resemblance":0.908089,"problem_id":6116,"solution_spec_hash":"7b4c8c5398a1dafcee9aa5393542cfc479434594"}
{"solution_size":1955,"ok":true,"resemblance":0.866666,"problem_id":6117,"solution_spec_hash":"4ee19b95fa2235aea30fe6a1c77133f0035b1b56"}
{"solution_size":832,"ok":true,"resemblance":0.857142,"problem_id":6118,"solution_spec_hash":"99a3fb272cc2140eb47ca55c60946d26de2ee06b"}
{"solution_size":2882,"ok":true,"resemblance":0.549346,"problem_id":6119,"solution_spec_hash":"c4d5509759633c5d0064b0ee326b3b2f2a3a6d37"}
{"solution_size":2693,"ok":true,"resemblance":1.0,"problem_id":6123,"solution_spec_hash":"bff0cb0fba7a87ae32ec9fbc6ee58853d2230fef"}
{"solution_size":2779,"ok":true,"resemblance":0.566997,"problem_id":6124,"solution_spec_hash":"5a81744c06343419e4ea7dfd2f4c48943929aaa6"}
{"solution_size":3700,"ok":true,"resemblance":0.526111,"problem_id":6125,"solution_spec_hash":"a7eaab6b17898863ee4154cdfee5383e4ace8089"}
{"solution_size":2558,"ok":true,"resemblance":0.835909,"problem_id":6133,"solution_spec_hash":"8f31823866a25043ffb9b9171816d3a29cb3c4bb"}
{"solution_size":402,"ok":true,"resemblance":0.833333,"problem_id":6135,"solution_spec_hash":"b8be18c52b4d0d367cd8e5691b0290951ecf44d5"}
{"solution_size":31,"ok":true,"resemblance":1.0,"problem_id":349,"solution_spec_hash":"d9bde92839cf689785ce208549024fd460c023f6"}
{"solution_size":75,"ok":true,"resemblance":1.0,"problem_id":993,"solution_spec_hash":"8616f6720be9bb46447081903f84fd4218e81b8a"}