7044 6940 6937 6767 6741 6654 6490 6330 6098 6089 6084 5877 5783 5752 5751 5750 5749 5739 5738 5737 5736 5735 5448 5228 5092 5056 5045 4960 4959 4954 4893 4892 4727 4717 4718 4719 4722 4723 4724 4725 4726 4707 4708 4709 4710 4711 4712 4713 4714 4715 4700 4701 4703 4704 4705 4706 4341 4338 4201 4200 4196 4195 3003 2751 2429 2364 2363 2163 1695 1679 1655 1654 1644 1643 1641 1640 1639 1638 1616 1595 1593 1589 1270 946 626 123 120 121 122 124 111 112 113 114 115 116 109 105 106 108 110 103 104 100 95 97 98 99 101 93 88 89 90 91 92 94 85 82 83 84 86 87 76 74 77 79 67 68 69 70 71 60 51 44 49 40 41 42 39 33 34 36 38 29 25 27 28 19 21 22 23 13 14 15

Execution time: 12.144760847092 seconds