You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.
multirow/lifting/benchmark/orig-100/mip.yaml

2003 lines
27 KiB

cpu_time:
0: 74.38870000
1: 73.38880000
2: 75.38850000
3: 77.68820000
4: 85.78700000
5: 70.58920000
6: 74.48870000
7: 98.08510000
8: 95.08560000
9: 73.78870000
10: 219.16670000
11: 73.88880000
12: 74.18870000
13: 94.78560000
14: 70.88920000
15: 65.19010000
16: 73.78880000
17: 71.88910000
18: 89.88630000
19: 89.08650000
20: 68.38960000
21: 66.28990000
22: 64.59020000
23: 88.98640000
24: 88.38660000
25: 79.38790000
26: 83.68730000
27: 75.78850000
28: 60.49080000
29: 97.38520000
30: 80.88770000
31: 81.38760000
32: 67.08980000
33: 68.48960000
34: 80.18780000
35: 80.98770000
36: 75.48850000
37: 66.68990000
38: 68.38960000
39: 73.28890000
40: 84.98700000
41: 68.88960000
42: 93.98570000
43: 83.88720000
44: 70.18930000
45: 62.79050000
46: 65.69000000
47: 75.08860000
48: 97.78510000
49: 70.08940000
50: 65.09010000
51: 90.18630000
52: 63.39030000
53: 89.98640000
54: 127.48060000
55: 78.28810000
56: 71.38910000
57: 85.88700000
58: 74.18870000
59: 86.18690000
60: 66.48990000
61: 64.99010000
62: 80.28780000
63: 71.48910000
64: 91.38610000
65: 63.29040000
66: 69.08950000
67: 69.68940000
68: 77.88820000
69: 1029.64340000
70: 71.68910000
71: 82.28750000
72: 78.08820000
73: 94.08570000
74: 79.98780000
75: 65.09010000
76: 72.38900000
77: 62.39050000
78: 62.19060000
79: 106.58380000
80: 76.68830000
81: 61.49070000
82: 71.48910000
83: 78.78800000
84: 81.68760000
85: 88.18660000
86: 95.08550000
87: 85.48700000
88: 90.58630000
89: 91.78600000
90: 89.98630000
91: 89.48640000
92: 70.38930000
93: 70.38930000
94: 101.68460000
95: 70.28930000
96: 77.68820000
97: 81.18760000
98: 72.38900000
99: 74.68870000
100: 62.29050000
101: 90.08630000
102: 80.08780000
103: 94.28570000
104: 92.98590000
105: 77.68810000
106: 83.28740000
107: 86.08690000
108: 158.17590000
109: 70.78930000
110: 88.28660000
111: 75.48850000
112: 76.78830000
113: 86.08690000
114: 64.89020000
115: 71.18910000
116: 83.78730000
117: 69.48940000
118: 80.88770000
119: 73.18890000
120: 94.58560000
121: 67.68970000
122: 58.69110000
123: 73.88880000
124: 76.18840000
125: 78.98800000
126: 67.68970000
127: 74.58870000
128: 85.38700000
129: 68.38960000
130: 60.69080000
131: 71.18910000
132: 62.99040000
133: 83.58730000
134: 74.88860000
135: 85.08710000
136: 73.48880000
137: 191.17100000
138: 67.18980000
139: 74.78860000
140: 86.28690000
141: 148.97730000
142: 71.68910000
143: 71.38920000
144: 85.08700000
145: 138.07900000
146: 71.58920000
147: 72.38900000
148: 81.98750000
149: 72.38900000
150: 89.08640000
151: 58.59110000
152: 76.78840000
153: 70.68920000
154: 80.78770000
155: 74.28870000
156: 88.68660000
157: 81.38760000
158: 81.58760000
159: 99.98480000
160: 70.88920000
161: 88.38660000
162: 74.48870000
163: 101.78450000
164: 71.68910000
165: 67.98960000
166: 74.28870000
167: 69.38950000
168: 92.68590000
169: 90.18630000
170: 75.28860000
171: 75.48850000
172: 66.48990000
173: 65.19010000
174: 71.38910000
175: 79.28800000
176: 73.48880000
177: 73.08890000
178: 67.88960000
179: 87.28680000
180: 66.38990000
181: 74.38870000
182: 70.88920000
183: 65.99000000
184: 78.28810000
185: 74.88860000
186: 68.48960000
187: 95.28550000
188: 64.99010000
189: 70.68930000
190: 72.68890000
191: 67.58970000
192: 85.48700000
193: 95.88550000
194: 80.18780000
195: 71.78910000
196: 70.38930000
197: 62.49050000
198: 76.28840000
199: 61.89050000
200: 78.38810000
201: 72.78900000
202: 63.99020000
203: 61.79060000
204: 71.18920000
205: 120.28170000
206: 72.88900000
207: 91.58600000
208: 84.18720000
209: 69.58950000
210: 73.98870000
211: 64.89010000
212: 64.89020000
213: 69.78940000
214: 73.38880000
215: 76.48840000
216: 72.68890000
217: 74.58870000
218: 63.69030000
219: 64.79020000
220: 62.29050000
221: 79.98780000
222: 65.19010000
223: 63.99030000
224: 65.99000000
225: 67.08980000
226: 88.68650000
227: 81.58760000
228: 73.38880000
229: 94.68560000
230: 68.48960000
231: 73.38890000
232: 81.88750000
233: 85.18710000
234: 75.38850000
235: 74.28870000
236: 99.48490000
237: 104.08420000
238: 73.98870000
239: 156.37620000
240: 72.68900000
241: 74.38870000
242: 66.88980000
243: 94.18570000
244: 73.68880000
245: 71.58910000
246: 71.98910000
247: 86.08690000
248: 88.98640000
249: 81.28770000
250: 69.38940000
251: 72.48900000
252: 86.68680000
253: 81.08770000
254: 92.18600000
255: 73.58880000
256: 75.98850000
257: 69.88930000
258: 61.39070000
259: 87.78670000
260: 72.48890000
261: 85.88700000
262: 68.18960000
263: 67.78970000
264: 61.09070000
265: 72.18900000
266: 87.78670000
267: 63.19040000
268: 77.78820000
269: 68.88950000
270: 77.18820000
271: 105.68400000
272: 72.38900000
273: 71.38910000
274: 86.38690000
275: 71.58910000
276: 93.28580000
277: 69.88940000
278: 66.48990000
279: 82.98740000
280: 66.78980000
281: 65.99000000
282: 65.69000000
283: 67.38980000
284: 86.38680000
285: 75.38860000
286: 86.78680000
287: 86.98670000
288: 73.88880000
289: 67.78970000
290: 99.38490000
291: 62.19050000
292: 97.88520000
293: 80.68770000
294: 70.18930000
295: 71.58910000
296: 92.08600000
297: 81.78760000
298: 73.28890000
299: 68.98950000
300: 88.58650000
301: 69.48950000
302: 71.08910000
303: 84.28720000
304: 67.38980000
305: 71.18920000
306: 66.28990000
307: 81.88750000
308: 81.28770000
309: 93.78570000
310: 67.58970000
311: 72.18910000
312: 71.58910000
313: 73.78880000
314: 72.48900000
315: 71.78900000
316: 69.08950000
317: 86.18690000
318: 75.78850000
319: 87.18680000
320: 71.68910000
321: 71.18910000
322: 66.29000000
323: 70.28930000
324: 73.78880000
325: 91.78600000
326: 94.08570000
327: 67.98970000
328: 66.48990000
329: 94.98550000
330: 58.39110000
331: 73.48890000
332: 71.98900000
333: 74.18870000
334: 94.18570000
335: 89.98630000
336: 88.78650000
337: 74.78870000
338: 74.48870000
339: 64.19020000
340: 79.08800000
341: 79.18790000
342: 92.28600000
343: 82.78740000
344: 129.78030000
345: 84.68710000
346: 411.73740000
347: 71.78910000
348: 71.48910000
349: 72.78900000
350: 86.58680000
351: 68.48960000
352: 70.88920000
353: 78.78800000
354: 76.18840000
355: 69.98940000
356: 64.59020000
357: 61.49060000
358: 67.78970000
359: 73.38890000
360: 71.28910000
361: 80.18780000
362: 69.48950000
363: 60.79070000
364: 87.78670000
365: 63.39040000
366: 64.09020000
367: 75.88850000
368: 147.87750000
369: 75.18860000
370: 68.68950000
371: 81.08770000
372: 68.58960000
373: 75.48850000
374: 77.08830000
375: 93.78570000
376: 86.48690000
377: 68.68950000
378: 97.08530000
379: 66.18990000
380: 86.98680000
381: 92.58590000
382: 70.88920000
383: 72.88900000
384: 71.78900000
385: 92.08600000
386: 91.68610000
387: 61.69060000
388: 75.68850000
389: 68.68960000
390: 67.48970000
391: 76.68840000
392: 73.88870000
393: 61.79060000
394: 70.38930000
395: 91.08620000
396: 90.18630000
397: 89.58630000
398: 61.99060000
399: 89.58640000
400: 65.79000000
401: 82.08750000
402: 70.78930000
403: 74.18870000
404: 107.68360000
405: 65.39010000
406: 85.08700000
407: 72.18910000
408: 68.88950000
409: 62.49050000
410: 82.08750000
411: 176.97310000
412: 106.48380000
413: 78.08810000
414: 73.48890000
415: 77.68820000
416: 105.78390000
417: 73.48880000
418: 84.28720000
419: 90.28630000
420: 91.88600000
421: 80.98770000
422: 72.58900000
423: 71.28910000
424: 71.18920000
425: 66.88980000
426: 67.58980000
427: 71.48910000
428: 69.98930000
429: 64.49020000
430: 67.58980000
431: 71.58910000
432: 74.98860000
433: 68.28960000
434: 74.88860000
435: 67.38980000
436: 63.19040000
437: 73.68870000
438: 89.48640000
439: 71.38920000
440: 92.88590000
441: 75.38850000
442: 68.28960000
443: 75.18860000
444: 95.68550000
445: 78.58800000
446: 57.59120000
447: 85.38710000
448: 80.18780000
449: 93.98570000
450: 82.08750000
451: 63.59030000
452: 70.58930000
453: 92.38600000
454: 71.18910000
455: 78.88810000
456: 56.69130000
457: 70.68930000
458: 68.08960000
459: 70.78930000
460: 67.88970000
461: 93.38580000
462: 60.19080000
463: 63.29040000
464: 104.08420000
465: 83.78720000
466: 88.28660000
467: 80.78770000
468: 67.88970000
469: 67.48970000
470: 72.58900000
471: 92.98590000
472: 99.38490000
473: 73.78870000
474: 64.49020000
475: 90.38630000
476: 65.29010000
477: 68.08960000
478: 67.78970000
479: 66.68990000
480: 89.08640000
481: 69.68940000
482: 62.79050000
483: 81.18760000
484: 68.28970000
485: 63.69030000
486: 69.28940000
487: 83.78730000
488: 72.08900000
489: 80.88770000
490: 59.59100000
491: 69.38940000
492: 79.18800000
493: 62.39050000
494: 89.78640000
495: 90.78620000
496: 74.08870000
497: 70.48930000
498: 85.38700000
499: 78.58810000
500: 64.59010000
501: 84.38720000
502: 68.78960000
503: 69.68940000
504: 66.08990000
505: 75.68850000
506: 69.08950000
507: 97.78510000
508: 89.38640000
509: 64.99020000
510: 64.69010000
511: 87.78670000
512: 66.88980000
513: 69.58940000
514: 76.38840000
515: 104.38420000
516: 77.78810000
517: 60.39080000
518: 92.78590000
519: 71.78910000
520: 81.38770000
521: 75.18850000
522: 62.29060000
523: 70.78920000
524: 68.78950000
525: 78.48810000
526: 68.28960000
527: 74.08880000
528: 89.28640000
529: 100.28470000
530: 73.98880000
531: 84.78710000
532: 84.68710000
533: 79.28800000
534: 68.28960000
535: 77.98810000
536: 64.99020000
537: 121.88140000
538: 65.19010000
539: 168.87430000
540: 73.58890000
541: 65.98990000
542: 63.69030000
543: 60.69080000
544: 76.88830000
545: 65.19010000
546: 92.28600000
547: 76.68830000
548: 94.58570000
549: 88.08660000
550: 70.28930000
551: 72.88890000
552: 68.48960000
553: 70.48930000
554: 92.18600000
555: 80.48770000
556: 69.48950000
557: 78.68800000
558: 64.09020000
559: 116.98230000
560: 84.18720000
561: 67.28970000
562: 92.28600000
563: 70.08930000
564: 86.58690000
565: 73.48880000
566: 70.88920000
567: 58.89110000
568: 81.68760000
569: 64.59010000
570: 66.09000000
571: 65.79000000
572: 80.78770000
573: 135.07950000
574: 71.08920000
575: 65.89000000
576: 79.28790000
577: 152.37680000
578: 60.69080000
579: 92.68590000
580: 93.68580000
581: 71.68910000
582: 80.98770000
583: 73.18880000
584: 66.29000000
585: 119.28180000
586: 124.28110000
587: 65.99000000
588: 94.48560000
589: 77.48830000
590: 90.58620000
591: 60.19080000
592: 68.48960000
593: 136.07930000
594: 63.39040000
595: 80.88770000
596: 90.98620000
597: 78.28810000
598: 70.28930000
599: 78.78800000
600: 72.18900000
601: 86.58690000
602: 70.88920000
603: 68.08960000
604: 114.18270000
605: 70.28930000
606: 59.99090000
607: 72.38900000
608: 92.78590000
609: 71.58910000
610: 90.38620000
611: 65.89000000
612: 71.88910000
613: 87.88660000
614: 87.88670000
615: 106.48380000
616: 64.29020000
617: 71.98910000
618: 69.38940000
619: 63.29040000
620: 67.08980000
621: 59.29100000
622: 77.28820000
623: 68.88960000
624: 60.09080000
625: 73.98880000
626: 95.68540000
627: 83.88730000
628: 99.78480000
629: 85.88700000
630: 61.49060000
631: 69.38950000
632: 88.38650000
633: 98.88500000
634: 72.48900000
635: 68.68950000
636: 71.18920000
637: 79.58790000
638: 139.57880000
639: 90.98620000
640: 87.38670000
641: 74.48860000
642: 89.98640000
643: 82.68740000
644: 91.98600000
645: 88.58650000
646: 69.98940000
647: 87.48670000
648: 61.79060000
649: 83.48730000
650: 72.58900000
651: 83.48730000
652: 78.68800000
653: 71.88910000
654: 74.58870000
655: 93.08580000
656: 66.38990000
657: 91.08620000
658: 69.68940000
659: 65.69000000
660: 70.98920000
661: 117.28220000
662: 64.89010000
663: 105.68390000
664: 83.58730000
665: 91.48610000
666: 87.78670000
667: 78.48800000
668: 79.38800000
669: 72.58890000
670: 81.18770000
671: 69.08950000
672: 68.38960000
673: 62.89040000
674: 70.68930000
675: 73.58880000
676: 86.68680000
677: 68.38960000
678: 73.08890000
679: 65.09010000
680: 85.18710000
681: 70.68920000
682: 73.08890000
683: 93.78580000
684: 94.68560000
685: 83.48730000
686: 77.88810000
687: 68.48960000
688: 70.88920000
689: 97.88520000
690: 130.38010000
691: 74.48870000
692: 73.88880000
693: 73.68880000
694: 71.88910000
695: 71.28910000
696: 95.88540000
697: 67.98970000
698: 72.68900000
699: 81.78750000
700: 63.59040000
701: 90.48620000
702: 80.98770000
703: 78.18810000
704: 65.49000000
705: 80.98770000
706: 75.68850000
707: 68.58960000
708: 80.28780000
709: 63.99030000
710: 66.58980000
711: 75.08860000
712: 59.89090000
713: 1705.44080000
714: 67.08980000
715: 58.39110000
716: 72.28900000
717: 64.39020000
718: 79.38790000
719: 64.49020000
720: 72.18910000
721: 81.68750000
722: 91.88610000
723: 72.88890000
724: 64.79010000
725: 70.78930000
726: 60.29080000
727: 66.68990000
728: 65.09010000
729: 90.28620000
730: 75.58860000
731: 80.18780000
732: 77.28820000
733: 78.68810000
734: 87.68660000
735: 70.68930000
736: 71.58910000
737: 72.78890000
738: 76.28840000
739: 89.28650000
740: 73.38880000
741: 57.89120000
742: 218.46680000
743: 83.78720000
744: 75.58860000
745: 84.88710000
746: 90.28620000
747: 92.98590000
748: 91.48610000
749: 58.89100000
750: 66.29000000
751: 62.49050000
752: 72.08900000
753: 61.89060000
754: 95.58550000
755: 80.18780000
756: 79.18790000
757: 84.88710000
758: 66.09000000
759: 91.28610000
760: 75.88850000
761: 71.78900000
762: 68.88960000
763: 111.38300000
764: 88.48660000
765: 67.58970000
766: 72.88890000
767: 72.68900000
768: 109.18340000
769: 69.08950000
770: 66.88980000
771: 63.89030000
772: 71.98910000
773: 77.08820000
774: 57.99120000
775: 64.29020000
776: 63.99030000
777: 83.98720000
778: 132.08000000
779: 79.78780000
780: 67.48980000
781: 68.48960000
782: 73.08880000
783: 87.58670000
784: 78.18810000
785: 79.28800000
786: 85.78690000
787: 60.59080000
788: 62.09060000
789: 73.18890000
790: 70.58920000
791: 87.68670000
792: 73.38890000
793: 63.59030000
794: 76.88830000
795: 96.58530000
796: 65.09010000
797: 95.18550000
798: 94.18570000
799: 67.68970000
800: 73.08890000
801: 86.98680000
802: 73.88880000
803: 77.28820000
804: 69.88940000
805: 72.28900000
806: 70.88920000
807: 91.28620000
808: 71.08910000
809: 65.19010000
810: 71.18920000
811: 83.28730000
812: 69.08950000
813: 88.38660000
814: 60.69080000
815: 76.38840000
816: 65.59000000
817: 70.98920000
818: 66.38990000
819: 63.49040000
820: 82.98730000
821: 84.58720000
822: 67.98970000
823: 90.68620000
824: 62.39050000
825: 87.58670000
826: 65.29000000
827: 66.68990000
828: 66.09000000
829: 69.08940000
830: 70.78930000
831: 72.48900000
832: 66.08990000
833: 89.28640000
834: 100.18480000
835: 86.68680000
836: 69.88940000
837: 65.69000000
838: 72.88890000
839: 76.18850000
840: 68.18960000
841: 88.48650000
842: 67.98970000
843: 73.88880000
844: 64.59020000
845: 68.48950000
846: 89.08650000
847: 97.58520000
848: 90.08630000
849: 91.88600000
850: 81.08770000
851: 86.78680000
852: 61.39060000
853: 71.68920000
854: 71.28910000
855: 72.78890000
856: 68.98960000
857: 72.18900000
858: 70.48930000
859: 80.08780000
860: 83.28730000
861: 73.58880000
862: 99.58490000
863: 64.39020000
864: 94.48570000
865: 72.98890000
866: 66.58980000
867: 84.38720000
868: 89.28640000
869: 98.28510000
870: 65.19010000
871: 71.68910000
872: 65.89000000
873: 152.87670000
874: 71.28920000
875: 63.49030000
876: 77.28830000
877: 64.09020000
878: 68.78960000
879: 67.78970000
880: 72.18900000
881: 72.68900000
882: 88.38650000
883: 88.08660000
884: 72.08910000
885: 81.78750000
886: 79.98790000
887: 74.58860000
888: 77.28830000
889: 74.18870000
890: 72.18900000
891: 61.09070000
892: 64.39030000
893: 60.29080000
894: 71.78910000
895: 74.28870000
896: 75.78850000
897: 68.78950000
898: 68.48960000
899: 77.58820000
900: 76.98830000
901: 66.68990000
902: 60.69070000
903: 86.98680000
904: 89.08650000
905: 74.28870000
906: 98.48500000
907: 63.69030000
908: 66.48990000
909: 69.08950000
910: 65.39010000
911: 77.18820000
912: 63.49040000
913: 72.48900000
914: 113.38270000
915: 73.58880000
916: 71.38920000
917: 85.28700000
918: 75.48850000
919: 66.98990000
920: 69.08940000
921: 93.38590000
922: 78.18810000
923: 62.29050000
924: 78.88800000
925: 74.08870000
926: 96.28540000
927: 84.08720000
928: 82.28750000
929: 78.18810000
930: 74.18870000
931: 94.98560000
932: 78.78800000
933: 74.48870000
934: 73.28890000
935: 68.58950000
936: 88.38660000
937: 61.59060000
938: 76.18850000
939: 80.28780000
940: 94.18570000
941: 99.08490000
942: 72.38900000
943: 72.18910000
944: 88.78650000
945: 91.88600000
946: 61.59060000
947: 68.98960000
948: 93.18580000
949: 58.79100000
950: 71.68910000
951: 88.18660000
952: 70.88930000
953: 78.48800000
954: 75.88850000
955: 84.88710000
956: 70.78920000
957: 86.98680000
958: 94.38570000
959: 86.68680000
960: 76.98830000
961: 84.98710000
962: 64.19020000
963: 82.38750000
964: 58.39110000
965: 70.28930000
966: 67.88970000
967: 75.28850000
968: 711.89180000
969: 79.68790000
970: 81.68760000
971: 73.28880000
972: 90.38630000
973: 70.48930000
974: 95.28550000
975: 69.78940000
976: 73.58880000
977: 76.68830000
978: 70.08940000
979: 70.18930000
980: 75.68850000
981: 91.28610000
982: 65.49010000
983: 72.68890000
984: 74.28870000
985: 71.78910000
986: 72.78900000
987: 73.78870000
988: 71.78910000
989: 66.58990000
990: 63.49040000
991: 73.68880000
992: 67.98960000
993: 76.28840000
994: 65.19010000
995: 65.39010000
996: 130.08020000
997: 110.18320000
998: 70.38930000
999: 66.68990000
wrong_answer:
0: 0
1: 0
2: 0
3: 0
4: 0
5: 0
6: 0
7: 0
8: 0
9: 0
10: 0
11: 0
12: 0
13: 0
14: 0
15: 0
16: 0
17: 0
18: 0
19: 0
20: 0
21: 0
22: 0
23: 0
24: 0
25: 0
26: 0
27: 0
28: 0
29: 0
30: 0
31: 0
32: 0
33: 0
34: 0
35: 0
36: 0
37: 0
38: 0
39: 0
40: 0
41: 0
42: 0
43: 0
44: 0
45: 0
46: 0
47: 0
48: 0
49: 0
50: 0
51: 0
52: 0
53: 0
54: 0
55: 0
56: 0
57: 0
58: 0
59: 0
60: 0
61: 0
62: 0
63: 0
64: 0
65: 0
66: 0
67: 0
68: 0
69: 0
70: 0
71: 0
72: 0
73: 0
74: 0
75: 0
76: 0
77: 0
78: 0
79: 0
80: 0
81: 0
82: 0
83: 0
84: 0
85: 0
86: 0
87: 0
88: 0
89: 0
90: 0
91: 0
92: 0
93: 0
94: 0
95: 0
96: 0
97: 0
98: 0
99: 0
100: 0
101: 0
102: 0
103: 0
104: 0
105: 0
106: 0
107: 0
108: 0
109: 0
110: 0
111: 0
112: 0
113: 0
114: 0
115: 0
116: 0
117: 0
118: 0
119: 0
120: 0
121: 0
122: 0
123: 0
124: 0
125: 0
126: 0
127: 0
128: 0
129: 0
130: 0
131: 0
132: 0
133: 0
134: 0
135: 0
136: 0
137: 0
138: 0
139: 0
140: 0
141: 0
142: 0
143: 0
144: 0
145: 0
146: 0
147: 0
148: 0
149: 0
150: 0
151: 0
152: 0
153: 0
154: 0
155: 0
156: 0
157: 0
158: 0
159: 0
160: 0
161: 0
162: 0
163: 0
164: 0
165: 0
166: 0
167: 0
168: 0
169: 0
170: 0
171: 0
172: 0
173: 0
174: 0
175: 0
176: 0
177: 0
178: 0
179: 0
180: 0
181: 0
182: 0
183: 0
184: 0
185: 0
186: 0
187: 0
188: 0
189: 0
190: 0
191: 0
192: 0
193: 0
194: 0
195: 0
196: 0
197: 0
198: 0
199: 0
200: 0
201: 0
202: 0
203: 0
204: 0
205: 0
206: 0
207: 0
208: 0
209: 0
210: 0
211: 0
212: 0
213: 0
214: 0
215: 0
216: 0
217: 0
218: 0
219: 0
220: 0
221: 0
222: 0
223: 0
224: 0
225: 0
226: 0
227: 0
228: 0
229: 0
230: 0
231: 0
232: 0
233: 0
234: 0
235: 0
236: 0
237: 0
238: 0
239: 0
240: 0
241: 0
242: 0
243: 0
244: 0
245: 0
246: 0
247: 0
248: 0
249: 0
250: 0
251: 0
252: 0
253: 0
254: 0
255: 0
256: 0
257: 0
258: 0
259: 0
260: 0
261: 0
262: 0
263: 0
264: 0
265: 0
266: 0
267: 0
268: 0
269: 0
270: 0
271: 0
272: 0
273: 0
274: 0
275: 0
276: 0
277: 0
278: 0
279: 0
280: 0
281: 0
282: 0
283: 0
284: 0
285: 0
286: 0
287: 0
288: 0
289: 0
290: 0
291: 0
292: 0
293: 0
294: 0
295: 0
296: 0
297: 0
298: 0
299: 0
300: 0
301: 0
302: 0
303: 0
304: 0
305: 0
306: 0
307: 0
308: 0
309: 0
310: 0
311: 0
312: 0
313: 0
314: 0
315: 0
316: 0
317: 0
318: 0
319: 0
320: 0
321: 0
322: 0
323: 0
324: 0
325: 0
326: 0
327: 0
328: 0
329: 0
330: 0
331: 0
332: 0
333: 0
334: 0
335: 0
336: 0
337: 0
338: 0
339: 0
340: 0
341: 0
342: 0
343: 0
344: 0
345: 0
346: 0
347: 0
348: 0
349: 0
350: 0
351: 0
352: 0
353: 0
354: 0
355: 0
356: 0
357: 0
358: 0
359: 0
360: 0
361: 0
362: 0
363: 0
364: 0
365: 0
366: 0
367: 0
368: 0
369: 0
370: 0
371: 0
372: 0
373: 0
374: 0
375: 0
376: 0
377: 0
378: 0
379: 0
380: 0
381: 0
382: 0
383: 0
384: 0
385: 0
386: 0
387: 0
388: 0
389: 0
390: 0
391: 0
392: 0
393: 0
394: 0
395: 0
396: 0
397: 0
398: 0
399: 0
400: 0
401: 0
402: 0
403: 0
404: 0
405: 0
406: 0
407: 0
408: 0
409: 0
410: 0
411: 0
412: 0
413: 0
414: 0
415: 0
416: 0
417: 0
418: 0
419: 0
420: 0
421: 0
422: 0
423: 0
424: 0
425: 0
426: 0
427: 0
428: 0
429: 0
430: 0
431: 0
432: 0
433: 0
434: 0
435: 0
436: 0
437: 0
438: 0
439: 0
440: 0
441: 0
442: 0
443: 0
444: 0
445: 0
446: 0
447: 0
448: 0
449: 0
450: 0
451: 0
452: 0
453: 0
454: 0
455: 0
456: 0
457: 0
458: 0
459: 0
460: 0
461: 0
462: 0
463: 0
464: 0
465: 0
466: 0
467: 0
468: 0
469: 0
470: 0
471: 0
472: 0
473: 0
474: 0
475: 0
476: 0
477: 0
478: 0
479: 0
480: 0
481: 0
482: 0
483: 0
484: 0
485: 0
486: 0
487: 0
488: 0
489: 0
490: 0
491: 0
492: 0
493: 0
494: 0
495: 0
496: 0
497: 0
498: 0
499: 0
500: 0
501: 0
502: 0
503: 0
504: 0
505: 0
506: 0
507: 0
508: 0
509: 0
510: 0
511: 0
512: 0
513: 0
514: 0
515: 0
516: 0
517: 0
518: 0
519: 0
520: 0
521: 0
522: 0
523: 0
524: 0
525: 0
526: 0
527: 0
528: 0
529: 0
530: 0
531: 0
532: 0
533: 0
534: 0
535: 0
536: 0
537: 0
538: 0
539: 0
540: 0
541: 0
542: 0
543: 0
544: 0
545: 0
546: 0
547: 0
548: 0
549: 0
550: 0
551: 0
552: 0
553: 0
554: 0
555: 0
556: 0
557: 0
558: 0
559: 0
560: 0
561: 0
562: 0
563: 0
564: 0
565: 0
566: 0
567: 0
568: 0
569: 0
570: 0
571: 0
572: 0
573: 0
574: 0
575: 0
576: 0
577: 0
578: 0
579: 0
580: 0
581: 0
582: 0
583: 0
584: 0
585: 0
586: 0
587: 0
588: 0
589: 0
590: 0
591: 0
592: 0
593: 0
594: 0
595: 0
596: 0
597: 0
598: 0
599: 0
600: 0
601: 0
602: 0
603: 0
604: 0
605: 0
606: 0
607: 0
608: 0
609: 0
610: 0
611: 0
612: 0
613: 0
614: 0
615: 0
616: 0
617: 0
618: 0
619: 0
620: 0
621: 0
622: 0
623: 0
624: 0
625: 0
626: 0
627: 0
628: 0
629: 0
630: 0
631: 0
632: 0
633: 0
634: 0
635: 0
636: 0
637: 0
638: 0
639: 0
640: 0
641: 0
642: 0
643: 0
644: 0
645: 0
646: 0
647: 0
648: 0
649: 0
650: 0
651: 0
652: 0
653: 0
654: 0
655: 0
656: 0
657: 0
658: 0
659: 0
660: 0
661: 0
662: 0
663: 0
664: 0
665: 0
666: 0
667: 0
668: 0
669: 0
670: 0
671: 0
672: 0
673: 0
674: 0
675: 0
676: 0
677: 0
678: 0
679: 0
680: 0
681: 0
682: 0
683: 0
684: 0
685: 0
686: 0
687: 0
688: 0
689: 0
690: 0
691: 0
692: 0
693: 0
694: 0
695: 0
696: 0
697: 0
698: 0
699: 0
700: 0
701: 0
702: 0
703: 0
704: 0
705: 0
706: 0
707: 0
708: 0
709: 0
710: 0
711: 0
712: 0
713: 0
714: 0
715: 0
716: 0
717: 0
718: 0
719: 0
720: 0
721: 0
722: 0
723: 0
724: 0
725: 0
726: 0
727: 0
728: 0
729: 0
730: 0
731: 0
732: 0
733: 0
734: 0
735: 0
736: 0
737: 0
738: 0
739: 0
740: 0
741: 0
742: 0
743: 0
744: 0
745: 0
746: 0
747: 0
748: 0
749: 0
750: 0
751: 0
752: 0
753: 0
754: 0
755: 0
756: 0
757: 0
758: 0
759: 0
760: 0
761: 0
762: 0
763: 0
764: 0
765: 0
766: 0
767: 0
768: 0
769: 0
770: 0
771: 0
772: 0
773: 0
774: 0
775: 0
776: 0
777: 0
778: 0
779: 0
780: 0
781: 0
782: 0
783: 0
784: 0
785: 0
786: 0
787: 0
788: 0
789: 0
790: 0
791: 0
792: 0
793: 0
794: 0
795: 0
796: 0
797: 0
798: 0
799: 0
800: 0
801: 0
802: 0
803: 0
804: 0
805: 0
806: 0
807: 0
808: 0
809: 0
810: 0
811: 0
812: 0
813: 0
814: 0
815: 0
816: 0
817: 0
818: 0
819: 0
820: 0
821: 0
822: 0
823: 0
824: 0
825: 0
826: 0
827: 0
828: 0
829: 0
830: 0
831: 0
832: 0
833: 0
834: 0
835: 0
836: 0
837: 0
838: 0
839: 0
840: 0
841: 0
842: 0
843: 0
844: 0
845: 0
846: 0
847: 0
848: 0
849: 0
850: 0
851: 0
852: 0
853: 0
854: 0
855: 0
856: 0
857: 0
858: 0
859: 0
860: 0
861: 0
862: 0
863: 0
864: 0
865: 0
866: 0
867: 0
868: 0
869: 0
870: 0
871: 0
872: 0
873: 0
874: 0
875: 0
876: 0
877: 0
878: 0
879: 0
880: 0
881: 0
882: 0
883: 0
884: 0
885: 0
886: 0
887: 0
888: 0
889: 0
890: 0
891: 0
892: 0
893: 0
894: 0
895: 0
896: 0
897: 0
898: 0
899: 0
900: 0
901: 0
902: 0
903: 0
904: 0
905: 0
906: 0
907: 0
908: 0
909: 0
910: 0
911: 0
912: 0
913: 0
914: 0
915: 0
916: 0
917: 0
918: 0
919: 0
920: 0
921: 0
922: 0
923: 0
924: 0
925: 0
926: 0
927: 0
928: 0
929: 0
930: 0
931: 0
932: 0
933: 0
934: 0
935: 0
936: 0
937: 0
938: 0
939: 0
940: 0
941: 0
942: 0
943: 0
944: 0
945: 0
946: 0
947: 0
948: 0
949: 0
950: 0
951: 0
952: 0
953: 0
954: 0
955: 0
956: 0
957: 0
958: 0
959: 0
960: 0
961: 0
962: 0
963: 0
964: 0
965: 0
966: 0
967: 0
968: 0
969: 0
970: 0
971: 0
972: 0
973: 0
974: 0
975: 0
976: 0
977: 0
978: 0
979: 0
980: 0
981: 0
982: 0
983: 0
984: 0
985: 0
986: 0
987: 0
988: 0
989: 0
990: 0
991: 0
992: 0
993: 0
994: 0
995: 0
996: 0
997: 0
998: 0
999: 0