flow conservation constraint
Awaiting user inputI have a MILP problem where the optimal solution cannot be found (or at least takes a really really long time). The model is similar to the optimal network flow example described in netflow.py example details (gurobi.com) only with a few more decision variables and constraints:
My arcs contain connections between nodes for both directions, as the direction of the flow is not known beforehand. The cost of the transportation between the nodes is a linear function depending on the capacity of the arc which is a decision variable. The demand in each node is given, but the supply is a decision variable constrained by the availability of another commodity in the node. The capacity can be either zero or larger than 5.
In a simplified form:
nodes = [1, 2, 3, 4]
arcs = [(1,2),(1,3),(1,4),(2,3),(2,4),(3,4),(2,1),(3,1),(4,1),(3,2),(4,2),(4,3)]
flow = m.addVars(arcs, name="flow")
supply = m.addVars(len(nodes), name="supply")
capacity = m.addVars(arcs, name="capacity")
b = m.addVars(arcs, vtype='B', name="binary_bigM")
# Arc-capacity constraints
m.addConstrs((capacity[i, j] >= b[i, j] * 5 for i,j in arcs), name="larger5")
m.addConstrs((capacity[i, j] <= 100 * b[i, j] for i,j in arcs), name="BigM")
m.addConstrs((flow[i,j] <= capacity[i, j] for i, j in arcs), name="cap")
# Supply constraint (e is given for each node)
m.addConstrs((supply[i] <= e[i] for i in range(len(nodes))), name="supply")
# Flow-conservation constraints
m.addConstrs((flow.sum('*', j) + supply[idx] == flow.sum(j, '*') + demand[idx] for idx,j in enumerate(nodes)), name="flow")
# Objective
cost = quicksum([1.5*capacity[i,j] for i,j in arcs])
When I allow for only one flow direction, the optimization finds a solution fairly fast. But if I allow for both flow directions, the optimization doesn't find an optimal solution even after many hours.
Could the problem be the flow conservation constraint? Do you have any suggestions on how to formulate the problem so that the solution can be found?
Thank you!
-
Hi Amanda,
I'm not sure what you mean. Your example allows flow in both directions.
Could you provide a working example?
With values for \(\texttt{capacities}\), \(\texttt{e}\), and \(\texttt{demand}\).
Cheers,
David0 -
Hi David,
here is the working code:
nodes = [0, 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]
demand = [0.0, 0.0, 0.0, 0.0, 2.45, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.85, 0.0, 0.68, 0.0, 0.0, 0.0, 0.05, 0.0, 0.0, 0.0, 0.0, 0.0, 0.07, 0.05, 0.0, 0.14, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 1.7200000000000002, 0.0, 0.95, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.07, 0.0, 0.05, 0.0, 0.01, 0.01, 0.0, 0.21, 0.0, 0.09, 0.0, 0.38, 0.0, 0.38, 5.109999999999999, 0.14, 0.42, 0.02, 0.3, 0.02, 0.0, 0.14, 0.08, 0.03, 0.58, 1.8800000000000001, 0.12, 0.24, 0.36, 0.15000000000000002, 0.3, 0.07, 3.38, 0.0, 0.01, 0.34, 0.02, 0.13, 1.51, 2.66, 0.0, 0.09, 0.0, 0.47, 0.13, 0.02, 0.13, 0.13, 0.44, 0.0, 0.16, 0.0, 0.0, 0.03, 0.03, 0.0, 0.0, 0.19, 0.04, 0.0, 0.01, 0.13, 0.3, 0.4, 0.2, 0.39, 0.13, 0.0, 0.03, 0.04, 0.13, 0.03, 0.09, 0.03, 0.0, 0.0, 0.0, 0.0, 0.0, 0.01, 0.06, 0.0, 0.05, 0.0, 0.0, 0.02, 0.01, 0.02, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.01, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 4.73, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.01, 0.01, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.01, 0.02, 0.01, 0.01, 0.01, 0.0, 0.02, 0.0, 0.01, 0.0, 0.0, 0.01, 0.0, 0.01, 0.01, 0.0, 0.0, 0.0, 0.01, 0.0, 0.03, 0.0, 0.01, 0.0, 0.0, 0.0, 0.0, 0.03, 0.0, 0.02, 0.01, 0.05, 0.060000000000000005, 0.01, 0.0, 0.0, 0.01, 0.0, 0.01, 0.02, 0.01, 0.0, 0.0, 1.57, 0.01, 0.0, 0.27, 0.0, 0.0, 0.0, 0.0, 0.0, 0.02, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.1, 0.01, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.01, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.01, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.01, 0.01, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.01, 0.0, 0.01, 0.0, 0.0, 0.0, 0.0, 0.01, 0.02, 0.0, 0.0, 0.0, 0.02, 0.0, 0.0, 0.01, 0.0, 0.0, 0.01, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.060000000000000005, 0.0, 0.0, 0.04, 0.0, 0.0, 0.0, 0.0, 0.0, 0.08, 1.07, 0.0, 0.0, 0.01, 0.0, 0.06, 0.0, 0.48, 0.0, 0.0, 0.0, 0.0, 0.01, 0.0, 0.0, 0.0, 0.09, 0.01, 0.0, 0.01, 0.0, 0.0, 0.0, 0.9, 0.0, 0.0, 0.02, 0.03, 0.02, 0.0, 0.0, 0.0, 0.01, 0.01, 0.05, 0.03, 0.02, 0.11, 2.92, 0.0, 0.0, 0.0, 0.0, 0.07, 0.01, 0.01, 0.03, 0.01, 0.0, 3.26, 0.14, 0.0, 0.0, 0.0, 0.0, 0.01, 0.0, 0.0, 0.0, 0.0, 0.0, 0.03, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.01, 0.0, 0.0, 0.04, 0.0, 0.0, 0.0, 0.0, 0.02, 0.01]
e = [0.0, 0.0, 0.0, 7.88372027376198e-06, 3.051885506883603, 0.013807743079919327, 2.5752153074708746, 0.49910182393166547, 9.505451262566886e-06, 0.09353038238909783, 1.1206986956558331, 1.5455940574813203, 0.07370392246996815, 4.195778492096891, 0.00048137642679215353, 0.0, 0.0, 0.0, 0.0, 0.2991161864099228, 0.001500944023298985, 0.008421634249155572, 0.14630883779942644, 0.0051912332608131185, 0.017948024124672408, 0.01033850208452169, 0.15009492512752473, 0.003120906652267664, 0.7854982695006482, 0.056267877025452016, 0.05613445974771525, 0.007834003862698731, 0.36661599445090787, 0.005887475097300498, 0.03155839784123402, 1.3438340100490362, 0.026450116548137108, 0.13566029957635237, 0.14921301625446687, 0.12496416333876396, 0.353709031387485, 1.471058981584714, 6.074228375707443, 0.23962228724336482, 0.023178110422594957, 0.16178911223591666, 0.1078534396547274, 0.0, 3.548086786900135, 0.0, 0.0, 0.11229314147774265, 0.17808335733738373, 0.8276114450237125, 0.18613832896218815, 0.08428233467006443, 1.8086375434202722, 0.19125181583373319, 0.1899671001605876, 0.023866412621299227, 1.4429236142296633, 0.3489926649860821, 0.0, 0.040162722248143407, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.08592571376821545, 0.0, 0.0, 0.0011700052996622414, 0.0, 0.0, 0.0, 0.0, 0.00085677539255053, 0.0, 0.10589184303944099, 0.03187966005886927, 0.0, 0.0, 1.9330108920900456e-05, 0.0, 0.0, 0.0, 0.18178193598183665, 0.07366434672740836, 0.0, 1.0994107449967636, 0.09465786576108243, 0.0, 0.00041087495940484917, 0.0004825108132343897, 0.0, 0.0, 0.0, 0.0, 0.0010805884216348418, 6.677905607546569e-05, 0.0, 0.0, 0.029873486513952763, 2.90156570010032e-07, 0.05301351355292259, 0.007979219571066197, 0.0074106906491856915, 0.4270253947252926, 0.0, 0.0, 0.0, 5.009983106837137e-06, 0.0, 0.0, 0.55528135349336, 0.0, 0.028269506591927042, 0.00264404628013205, 0.006048836712124747, 3.587822591413306e-06, 0.0002775624793567461, 0.0, 0.061451140706137365, 0.0004471687709689343, 0.0004156857081174275, 0.0017106242841516978, 0.017924011096147503, 0.020080119726369007, 0.25636638308902276, 0.0, 0.0020257554290202522, 0.012449869204999076, 0.025305683954470186, 0.0349985060679628, 0.19208496279957354, 0.04774003636706272, 0.0, 0.0020594642404227776, 0.0012587906700668961, 0.05582015813791099, 0.14038994977281274, 0.1714660156345755, 0.0005588492688149033, 0.0001921719757190272, 0.02723822807920274, 0.43891258658738935, 0.0038170544068047993, 9.235929516202505e-06, 0.04354156314517595, 0.21855368784402543, 0.0704810904493386, 0.11139957320368857, 1.7394287459200493e-06, 7.20431005266475e-06, 0.00025100094396915857, 0.0, 0.0, 0.0005470076661372623, 3.1045069696035406e-05, 0.0, 0.0, 0.00026922125302310875, 0.15035063797403037, 0.002227219083816426, 0.12055218992489444, 4.9273387210022164e-05, 0.04189860865226537, 0.0845877754768572, 0.010648699494530005, 0.009776285588833504, 0.00981379879420835, 0.08077354538521055, 0.0, 0.0, 0.0, 0.031358673814584646, 1.0334658581610084e-05, 0.0, 0.0, 0.0024577370920282724, 0.006063716105594016, 0.12900592700821606, 0.12558728076874226, 0.016020260501127582, 0.015584193780005052, 7.649577007986161e-06, 0.0, 0.0015236354025148508, 0.0024102663867327026, 0.0, 0.0, 0.05295217024993075, 0.0010293566856736868, 0.0, 0.0016093712156067738, 0.0011447646359423783, 0.0010819865411081373, 0.0, 0.0028899692914007265, 0.005903911549742283, 3.865660830591416e-05, 0.002808834498203026, 0.0021680752916867904, 0.0010783095282451659, 0.0008950143831350707, 0.016900961235917056, 0.15919278272245022, 0.0010737685079752167, 0.0006474915239163169, 0.004110039784388357, 7.84564138795966e-06, 0.024319711439947538, 0.05043555003752034, 0.00015886202102659795, 0.022885478300581054, 0.026252681160636455, 0.0, 0.0, 0.00335388399748289, 0.0, 0.0040270343502794015, 0.13541410125905423, 0.015967381560730354, 0.0030338597681413867, 0.054094212525954234, 0.05816983375272948, 0.027151678420237323, 0.004680008037901475, 0.003918163904811939, 0.07181843488207403, 0.0014489501766859396, 0.034293492387301804, 1.077146145882036e-05, 0.03664872989092364, 0.011084324694301676, 0.05119106320158116, 0.0008163610868959564, 0.011470433235354337, 0.004164944526280169, 5.569086301940976e-09, 0.008652210842755704, 0.004299636432132808, 0.007107637546488738, 0.03374450417789839, 0.02613797990639171, 0.09641409275698377, 0.11105763772588943, 0.025122272945602653, 0.24418364336298745, 0.06450766227987134, 0.0599244500764071, 0.0, 0.0, 4.955035397878663e-05, 0.02234983043598242, 0.03499842131983504, 0.08413921308161325, 0.035641502136431184, 0.058181521808860326, 0.016451355405561773, 0.016373802008939318, 0.0, 0.0, 0.0, 0.0, 0.03168860384628779, 0.04485064106992674, 0.013864463989072439, 0.005371767465759205, 0.05658716955855433, 0.00010866744924154627, 0.018581772845106693, 0.012510869989634155, 0.009338938132507657, 0.0002972544637749888, 0.0, 0.0, 0.0, 3.6430890963774838e-06, 0.13965499095344738, 0.0052370909812283345, 0.00566843698075638, 3.999597366290861e-05, 0.09143747820664873, 0.019751965475535024, 0.04614494722354097, 0.0, 0.0, 0.0, 0.00030171499456629506, 0.03490909869547534, 0.015221901575651262, 0.006937442800362068, 0.039009937279207985, 0.0016478657936741027, 0.018394520040650723, 0.05623827354239345, 0.08033222723045574, 0.0, 0.0001425784673079109, 6.6144968103070385e-06, 8.376220344676371e-05, 0.05102367100635611, 0.007070378323942883, 0.05813848246733653, 0.04319556835134424, 0.0020154113993388367, 0.003107172005576158, 0.0789790610534034, 0.06485502494593838, 0.049769765984895784, 0.029659946485286755, 0.00011536031706814532, 0.0297112806352273, 0.002671956512209542, 0.0, 0.0002768752214484979, 0.03991217969139516, 0.0, 0.0, 0.017258823859760585, 0.005742200409123986, 0.0, 0.26023380445948924, 0.4645228099807885, 0.5236296360997026, 0.23828726457127863, 0.6641335352308848, 0.03137579026602578, 0.3336012601887985, 0.16696882918948114, 0.5524841969890095, 0.2712738413466838, 1.118896087760993, 0.09712256264583216, 0.4756187741015109, 1.1749737668884819, 3.3694328793010566e-07, 0.0006915035604784412, 0.0, 0.0033170531372864764, 0.05420372726275143, 0.0046275016005717035, 0.0005821549978287944, 0.0, 0.01700863307617862, 0.04984702810866168, 2.9129730337690317e-05, 0.03358315396644393, 0.0, 0.017281882474400344, 0.03095631972422569, 0.0035333718459977384, 1.1797949440425882e-06, 1.714033373935608e-05, 0.4081182728701819, 0.33976856120144266, 0.25868681659780607, 0.304207049240497, 0.1246845659958328, 0.24229817426046069, 0.2832506290798169, 0.03220086197835373, 0.28464630524226, 0.7459859598505849, 0.3229310817977233, 1.484524674049007e-06, 0.00011027809532457513, 0.0, 0.0, 2.9175226172317895e-06, 0.007559776852079881, 0.02442969828618072, 0.03297521472212065, 0.01002622550991416, 0.11038898347866448, 0.14897433693249695, 0.0012480584409679787, 0.07105563972065823, 0.19176468303714503, 0.014968058657016104, 0.00025406302439103196, 0.078838911796969, 0.0, 0.002977717776400508, 0.10937032530930499, 0.06420269260645713, 0.10156499398453005, 0.07661486293964101, 0.0016250493795689574, 0.9327905178255269, 1.5495802155097367, 0.5071980370189851, 0.278531689754208, 3.310447141927463, 1.0409331588786204]
arcs = [(258, 264), (267, 271), (191, 194), (269, 273), (247, 255), (184, 185), (245, 251), (160, 174), (376, 388), (293, 302), (246, 252), (259, 263), (199, 201), (164, 177), (326, 340), (257, 260), (294, 303), (224, 241), (159, 172), (158, 161), (268, 272), (195, 198), (270, 275), (114, 118), (161, 196), (161, 175), (281, 286), (153, 157), (102, 127), (292, 295), (70, 89), (71, 73), (280, 285), (358, 362), (167, 322), (216, 217), (51, 54), (359, 368), (90, 118), (282, 287), (100, 105), (66, 69), (281, 282), (101, 102), (374, 391), (65, 69), (282, 283), (135, 138), (89, 90), (79, 88), (223, 238), (203, 204), (158, 196), (165, 175), (69, 70), (71, 72), (65, 70), (64, 75), (304, 309), (50, 58), (103, 162), (47, 62), (283, 284), (116, 119), (72, 73), (80, 81), (305, 314), (72, 75), (72, 81), (163, 169), (103, 125), (162, 176), (158, 175), (81, 87), (158, 166), (99, 115), (377, 380), (192, 193), (175, 196), (66, 90), (73, 75), (90, 114), (100, 106), (68, 77), (90, 94), (17, 26), (103, 128), (66, 70), (39, 62), (66, 114), (160, 163), (65, 67), (101, 125), (64, 76), (73, 119), (114, 119), (304, 308), (94, 118), (97, 98), (374, 388), (222, 230), (320, 323), (101, 127), (99, 117), (70, 90), (373, 393), (49, 52), (284, 290), (171, 174), (66, 89), (320, 322), (68, 76), (171, 192), (282, 286), (283, 287), (16, 26), (319, 321), (161, 165), (166, 168), (163, 175), (35, 63), (195, 196), (104, 196), (216, 312), (318, 321), (1, 9), (66, 118), (164, 167), (284, 287), (222, 239), (142, 148), (281, 287), (116, 121), (80, 87), (69, 89), (350, 354), (282, 284), (71, 87), (281, 283), (72, 87), (318, 320), (114, 115), (18, 22), (106, 162), (307, 315), (203, 205), (0, 11), (163, 174), (47, 57), (105, 127), (69, 75), (80, 83), (16, 25), (169, 175), (115, 118), (160, 171), (115, 116), (178, 182), (311, 312), (306, 317), (97, 109), (100, 127), (168, 176), (82, 395), (67, 77), (172, 173), (161, 166), (165, 196), (71, 119), (65, 89), (276, 389), (64, 72), (65, 66), (71, 75), (48, 53), (268, 277), (54, 61), (16, 17), (374, 376), (125, 162), (66, 75), (158, 169), (178, 179), (89, 94), (228, 233), (375, 386), (222, 240), (375, 383), (64, 67), (91, 93), (178, 180), (70, 78), (269, 278), (89, 118), (64, 69), (107, 125), (71, 81), (69, 90), (327, 336), (344, 401), (163, 165), (269, 389), (165, 195), (49, 57), (3, 12), (355, 356), (274, 286), (126, 300), (101, 107), (318, 322), (274, 281), (372, 376), (325, 338), (166, 196), (142, 152), (229, 238), (161, 169), (233, 242), (273, 389), (82, 83), (345, 347), (17, 25), (115, 119), (109, 112), (372, 385), (273, 278), (283, 288), (128, 152), (103, 176), (68, 85), (78, 89), (167, 177), (128, 162), (21, 24), (286, 287), (382, 385), (179, 214), (67, 69), (106, 125), (157, 319), (65, 78), (18, 19), (168, 170), (122, 123), (193, 201), (179, 200), (86, 87), (199, 200), (118, 119), (146, 173), (75, 81), (167, 320), (66, 73), (67, 76), (294, 299), (94, 114), (67, 68), (376, 385), (232, 240), (5, 14), (161, 195), (1, 10), (360, 363), (16, 18), (158, 165), (373, 394), (64, 65), (114, 116), (171, 193), (66, 119), (161, 163), (273, 386), (144, 150), (104, 195), (299, 303), (104, 126), (292, 300), (104, 158), (48, 56), (182, 184), (53, 61), (105, 106), (60, 63), (89, 114), (266, 279), (214, 215), (375, 387), (196, 198), (175, 195), (225, 237), (104, 161), (345, 346), (372, 384), (105, 126), (169, 170), (128, 176), (73, 81), (188, 303), (165, 198), (104, 166), (227, 236), (142, 149), (305, 315), (349, 394), (103, 106), (223, 228), (96, 117), (162, 168), (159, 173), (147, 148), (73, 114), (373, 391), (100, 102), (263, 266), (344, 399), (159, 170), (228, 308), (102, 125), (127, 292), (372, 388), (64, 81), (91, 96), (189, 190), (69, 114), (272, 277), (39, 47), (235, 242), (320, 321), (204, 205), (16, 22), (146, 323), (202, 207), (72, 80), (129, 130), (74, 78), (269, 386), (64, 73), (306, 314), (308, 309), (147, 151), (224, 236), (209, 210), (70, 118), (239, 240), (231, 232), (51, 61), (290, 291), (29, 33), (193, 199), (73, 116), (298, 302), (73, 87), (289, 299), (325, 332), (143, 148), (159, 169), (12, 14), (23, 31), (22, 26), (220, 313), (75, 76), (125, 128), (223, 242), (186, 187), (180, 181), (283, 286), (160, 169), (229, 231), (385, 388), (259, 266), (275, 279), (93, 94), (158, 163), (217, 312), (200, 202), (309, 311), (166, 175), (15, 36), (223, 233), (159, 177), (163, 171), (65, 75), (192, 201), (20, 378), (283, 290), (49, 60), (277, 278), (233, 235), (8, 44), (102, 105), (388, 391), (276, 277), (164, 322), (29, 31), (8, 15), (100, 101), (67, 70), (64, 66), (234, 244), (108, 295), (379, 382), (296, 297), (71, 116), (189, 310), (170, 172), (172, 177), (192, 199), (65, 90), (270, 279), (387, 390), (70, 114), (81, 83), (3, 10), (75, 119), (343, 397), (182, 185), (324, 328), (69, 118), (225, 254), (293, 296), (166, 169), (247, 256), (101, 106), (180, 213), (79, 143), (121, 122), (148, 149), (280, 287), (76, 83), (173, 323), (145, 170), (267, 274), (310, 316), (107, 132), (204, 211), (238, 242), (384, 387), (69, 73), (200, 201), (131, 132), (165, 169), (72, 119), (271, 298), (235, 244), (99, 116), (76, 77), (132, 150), (165, 171), (145, 151), (267, 286), (76, 81), (372, 387), (80, 88), (8, 13), (20, 23), (281, 284), (207, 208), (106, 168), (147, 154), (293, 298), (106, 127), (179, 199), (38, 45), (389, 390), (101, 103), (178, 183), (17, 21), (96, 98), (295, 300), (71, 86), (105, 292), (305, 306), (94, 115), (70, 94), (182, 183), (377, 381), (88, 149), (106, 176), (149, 150), (248, 253), (250, 258), (104, 105), (246, 249), (158, 195), (271, 286), (90, 115), (66, 94), (271, 274), (77, 85), (97, 111), (79, 80), (14, 15), (291, 316), (174, 177), (239, 308), (125, 127), (386, 389), (164, 172), (103, 107), (313, 317), (345, 349), (182, 201), (350, 353), (208, 209), (223, 229), (160, 177), (267, 298), (119, 121), (169, 196), (153, 154), (91, 95), (104, 198), (1, 3), (233, 308), (255, 256), (229, 241), (64, 68), (306, 307), (159, 164), (67, 75), (102, 107), (230, 239), (144, 149), (90, 119), (270, 348), (158, 168), (377, 384), (165, 193), (231, 237), (364, 391), (390, 392), (116, 118), (274, 288), (310, 311), (250, 264), (213, 214), (267, 278), (72, 76), (282, 288), (233, 304), (271, 278), (87, 88), (115, 117), (299, 302), (100, 104), (188, 294), (53, 56), (52, 60), (84, 143), (360, 369), (117, 124), (64, 71), (17, 30), (109, 111), (180, 183), (169, 174), (235, 305), (100, 125), (231, 245), (274, 282), (108, 129), (224, 229), (166, 170), (75, 114), (137, 139), (161, 198), (167, 318), (102, 292), (391, 393), (70, 75), (153, 319), (69, 78), (107, 129), (321, 323), (25, 26), (269, 276), (242, 244), (175, 198), (57, 62), (99, 118), (281, 288), (130, 133), (207, 215), (47, 49), (219, 220), (159, 163), (181, 217), (376, 391), (106, 166), (7, 9), (145, 176), (79, 149), (160, 165), (179, 201), (378, 381), (276, 278), (39, 60), (66, 72), (209, 215), (142, 150), (102, 106), (194, 200), (75, 87), (192, 194), (295, 301), (284, 288), (319, 323), (236, 241), (127, 295), (328, 338), (3, 9), (294, 301), (181, 183), (275, 277), (244, 314), (51, 60), (177, 322), (102, 129), (254, 256), (356, 357), (191, 200), (163, 196), (297, 383), (21, 26), (360, 366), (169, 172), (69, 72), (309, 310), (28, 32), (120, 124), (260, 263), (182, 199), (86, 121), (364, 368), (64, 70), (99, 114), (287, 289), (46, 62), (228, 232), (160, 175), (257, 265), (2, 14), (296, 302), (101, 105), (155, 156), (104, 175), (141, 378), (241, 243), (132, 152), (260, 288), (159, 160), (273, 276), (218, 220), (66, 71), (364, 373), (67, 78), (126, 197), (380, 383), (205, 206), (318, 323), (179, 180), (228, 240), (76, 80), (24, 379), (280, 289), (22, 363), (71, 80), (143, 149), (355, 357), (392, 393), (249, 252), (110, 113), (322, 323), (54, 60), (349, 393), (69, 119), (71, 114), (25, 30), (383, 386), (251, 256), (145, 146), (167, 172), (257, 263), (66, 67), (73, 118), (231, 251), (154, 157), (40, 46), (100, 162), (179, 182), (191, 192), (173, 320), (381, 384), (165, 174), (355, 359), (150, 152), (216, 311), (137, 380), (262, 290), (203, 211), (218, 307), (274, 283), (101, 129), (125, 176), (364, 374), (78, 90), (275, 276), (130, 131), (146, 154), (197, 300), (187, 190), (82, 85), (33, 112), (52, 54), (186, 197), (100, 126), (248, 256), (226, 243), (393, 394), (185, 186), (135, 139), (2, 5), (227, 234), (356, 394), (259, 260), (29, 111), (358, 371), (115, 121), (108, 292), (293, 299), (50, 95), (232, 245), (185, 197), (270, 392), (128, 132), (34, 43), (272, 274), (217, 218), (101, 162), (257, 259), (98, 109), (147, 156), (164, 174), (143, 156), (257, 262), (273, 298), (66, 115), (186, 188), (28, 59), (86, 144), (51, 63), (86, 122), (174, 192), (375, 384), (58, 59), (227, 244), (207, 209), (39, 40), (220, 307), (170, 173), (160, 164), (247, 248), (65, 77), (211, 212), (296, 301), (105, 300), (286, 289), (65, 76), (209, 221), (331, 335), (204, 212), (346, 349), (248, 255), (131, 133), (287, 290), (41, 57), (130, 134), (180, 214), (99, 119), (41, 49), (31, 110), (202, 206), (24, 378), (280, 284), (158, 170), (75, 90), (318, 319), (92, 93), (262, 288), (174, 175), (188, 197), (244, 305), (269, 298), (215, 221), (200, 214), (278, 389), (137, 141), (84, 156), (381, 382), (107, 128), (102, 295), (69, 76), (306, 315), (216, 218), (326, 335), (282, 290), (184, 186), (159, 174), (380, 384), (312, 315), (213, 217), (64, 80), (181, 189), (64, 77), (65, 114), (301, 303), (168, 169), (141, 377), (82, 84), (20, 141), (145, 173), (16, 19), (86, 88), (259, 265), (170, 176), (123, 131), (319, 320), (267, 281), (348, 393), (167, 173), (18, 26), (73, 90), (233, 238), (148, 151), (171, 175), (227, 242), (151, 152), (142, 151), (218, 312), (294, 302), (67, 89), (260, 262), (75, 80), (126, 292), (145, 168), (94, 99), (65, 118), (104, 106), (189, 216), (297, 386), (8, 12), (284, 286), (69, 94), (328, 332), (276, 390), (325, 328), (66, 116), (311, 315), (181, 216), (257, 288), (329, 334), (222, 250), (3, 13), (367, 382), (158, 198), (2, 399), (245, 256), (228, 304), (91, 117), (284, 291), (41, 52), (191, 202), (373, 374), (66, 78), (166, 176), (349, 373), (275, 392), (362, 369), (75, 89), (41, 59), (39, 63), (193, 198), (306, 313), (69, 71), (88, 143), (71, 121), (271, 281), (178, 214), (157, 323), (159, 167), (110, 138), (213, 215), (4, 13), (240, 250), (161, 168), (261, 265), (75, 118), (135, 141), (228, 238), (314, 315), (260, 265), (293, 294), (165, 192), (230, 240), (330, 336), (285, 287), (81, 86), (79, 83), (134, 136), (160, 192), (178, 201), (307, 312), (99, 121), (178, 199), (100, 166), (76, 85), (305, 307), (184, 197), (30, 31), (224, 243), (2, 7), (223, 232), (72, 86), (28, 57), (378, 379), (100, 292), (285, 289), (32, 33), (167, 323), (79, 87), (52, 56), (232, 251), (64, 87), (163, 172), (28, 47), (104, 165), (52, 57), (72, 114), (275, 348), (321, 322), (194, 202), (88, 144), (73, 86), (81, 88), (85, 395), (219, 221), (391, 392), (235, 304), (105, 295), (314, 317), (126, 195), (83, 87), (293, 297), (68, 83), (103, 152), (160, 172), (107, 127), (181, 190), (103, 168), (225, 243), (255, 264), (100, 103), (163, 166), (73, 115), (248, 252), (165, 166), (210, 221), (376, 387), (113, 124), (72, 116), (110, 111), (235, 314), (163, 170), (255, 258), (46, 47), (73, 80), (183, 184), (162, 166), (280, 282), (247, 264), (230, 250), (355, 368), (351, 352), (20, 24), (286, 288), (288, 290), (247, 258), (92, 94), (70, 73), (65, 73), (278, 298), (194, 199), (268, 279), (23, 24), (84, 395), (19, 34), (228, 242), (131, 150), (276, 392), (58, 95), (126, 198), (93, 99), (359, 362), (281, 289), (87, 119), (148, 152), (325, 366), (180, 182), (383, 384), (292, 301), (231, 238), (282, 289), (40, 44), (142, 147), (193, 195), (102, 103), (263, 265), (60, 62), (86, 116), (64, 83), (249, 253), (49, 62), (304, 311), (173, 322), (379, 381), (388, 390), (374, 390), (185, 198), (189, 311), (335, 340), (367, 368), (90, 116), (223, 231), (270, 276), (120, 140), (359, 364), (210, 219), (330, 341), (246, 248), (280, 291), (386, 387), (89, 119), (270, 277), (153, 155), (120, 122), (127, 129), (20, 138), (72, 83), (105, 125), (65, 68), (237, 245), (204, 208), (78, 94), (27, 33), (387, 389), (253, 261), (376, 390), (64, 119), (29, 30), (123, 144), (79, 84), (230, 291), (18, 25), (70, 119), (94, 119), (287, 288), (73, 121), (237, 251), (229, 236), (248, 249), (191, 199), (136, 137), (168, 196), (372, 382), (166, 195), (40, 62), (160, 161), (230, 262), (57, 59), (64, 89), (268, 274), (93, 118), (32, 112), (73, 76), (75, 116), (154, 156), (9, 10), (245, 250), (47, 60), (183, 185), (157, 321), (230, 290), (375, 389), (96, 124), (106, 128), (304, 310), (274, 287), (329, 333), (37, 361), (255, 261), (17, 22), (228, 239), (20, 135), (65, 72), (208, 212), (143, 147), (184, 198), (268, 278), (181, 213), (350, 351), (202, 214), (161, 170), (362, 371), (107, 130), (348, 349), (139, 140), (387, 388), (93, 117), (111, 113), (25, 27), (108, 301), (197, 198), (169, 171), (250, 251), (19, 25), (33, 111), (172, 174), (9, 12), (365, 379), (37, 45), (163, 177), (219, 313), (345, 394), (80, 86), (21, 365), (64, 114), (2, 12), (100, 168), (42, 55), (172, 322), (68, 82), (41, 42), (76, 82), (103, 132), (89, 115), (239, 316), (107, 162), (357, 371), (5, 15), (51, 52), (189, 217), (98, 113), (8, 14), (81, 119), (327, 333), (302, 303), (79, 81), (146, 320), (374, 392), (285, 291), (23, 30), (65, 94), (141, 380), (6, 11), (90, 99), (229, 237), (236, 238), (96, 99), (171, 194), (233, 309), (297, 302), (334, 337), (174, 193), (71, 118), (374, 393), (21, 30), (39, 46), (86, 119), (13, 44), (137, 377), (240, 308), (104, 168), (126, 196), (67, 72), (264, 265), (5, 38), (348, 392), (73, 89), (15, 44), (93, 115), (191, 206), (80, 82), (347, 353), (372, 381), (101, 292), (252, 254), (0, 6), (64, 90), (125, 132), (123, 133), (83, 88), (102, 108), (374, 385), (27, 30), (103, 127), (163, 195), (164, 320), (175, 193), (235, 309), (277, 279), (146, 151), (54, 63), (194, 201), (227, 238), (43, 46), (170, 175), (68, 75), (272, 278), (35, 60), (56, 61), (164, 173), (142, 143), (99, 124), (90, 93), (253, 255), (173, 177), (367, 369), (97, 112), (101, 128), (83, 395), (372, 374), (293, 303), (35, 44), (183, 187), (192, 200), (293, 301), (300, 301), (71, 76), (218, 221), (19, 22), (97, 113), (39, 57), (76, 87), (358, 369), (160, 193), (355, 364), (65, 74), (189, 312), (377, 383), (248, 254), (35, 39), (151, 154), (136, 296), (247, 261), (258, 265), (133, 140), (129, 134), (297, 375), (333, 336), (32, 46), (220, 306), (122, 144), (53, 54), (67, 74), (39, 49), (102, 162), (126, 127), (93, 96), (364, 388), (12, 13), (178, 200), (171, 191), (21, 23), (33, 109), (168, 175), (205, 208), (158, 160), (268, 275), (105, 166), (346, 347), (280, 283), (71, 115), (93, 95), (380, 381), (114, 121), (269, 277), (237, 243), (57, 60), (69, 77), (161, 174), (127, 162), (136, 297), (332, 337), (324, 329), (66, 76), (69, 81), (10, 11), (83, 84), (67, 90), (74, 77), (163, 192), (194, 206), (217, 311), (383, 387), (191, 201), (361, 370), (237, 254), (331, 353), (284, 285), (98, 111), (27, 34), (152, 176), (163, 193), (269, 271), (188, 300), (247, 253), (262, 284), (36, 38), (146, 172), (235, 315), (126, 295), (272, 279), (91, 99), (271, 273), (179, 202), (202, 215), (213, 221), (98, 124), (28, 112), (70, 72), (105, 162), (87, 116), (116, 117), (364, 394), (78, 92), (172, 320), (332, 338), (107, 131), (108, 127), (280, 290), (184, 201), (178, 181), (365, 367), (28, 46), (106, 107), (390, 391), (83, 85), (153, 323), (138, 139), (178, 184), (146, 157), (106, 158), (145, 172), (78, 118), (135, 140), (207, 214), (149, 152), (267, 269), (161, 171), (189, 316), (183, 186), (100, 176), (12, 15), (298, 386), (381, 385), (232, 238), (48, 61), (239, 304), (273, 375), (65, 119), (127, 300), (171, 201), (66, 81), (187, 285), (18, 361), (34, 45), (67, 73), (267, 273), (384, 385), (128, 142), (206, 207), (297, 298), (68, 69), (307, 314), (50, 109), (17, 18), (169, 177), (71, 90), (193, 194), (298, 299), (222, 232), (169, 195), (26, 365), (273, 277), (277, 389), (128, 151), (27, 29), (154, 155), (31, 111), (328, 341), (148, 156), (232, 250), (262, 283), (128, 168), (159, 322), (72, 118), (301, 302), (359, 367), (152, 162), (355, 394), (75, 83), (69, 115), (96, 97), (195, 197), (125, 168), (279, 348), (94, 116), (138, 140), (289, 303), (308, 310), (172, 323), (139, 141), (120, 123), (145, 162), (229, 232), (183, 190), (309, 315), (100, 300), (213, 216), (171, 199), (138, 141), (77, 78), (178, 213), (89, 92), (237, 241), (269, 375), (70, 76), (274, 278), (151, 176), (305, 317), (179, 213), (134, 139), (100, 295), (372, 390), (22, 25), (281, 290), (180, 217), (141, 381), (335, 351), (72, 90), (3, 8), (159, 175), (24, 365), (367, 379), (64, 118), (70, 115), (177, 320), (70, 74), (10, 13), (19, 361), (373, 392), (133, 134), (163, 164), (69, 116), (111, 112), (49, 54), (234, 314), (37, 38), (310, 312), (50, 98), (28, 62), (104, 169), (18, 363), (108, 134), (188, 299), (224, 238), (125, 129), (364, 376), (145, 159), (67, 85), (377, 378), (329, 342), (182, 193), (171, 177), (375, 390), (26, 30), (280, 281), (100, 196), (68, 81), (185, 195), (246, 254), (50, 59), (185, 201), (274, 284), (158, 174), (309, 312), (101, 295), (104, 300), (191, 193), (267, 282), (36, 40), (367, 385), (222, 308), (203, 208), (116, 122), (70, 77), (266, 268), (203, 212), (79, 148), (376, 384), (65, 71), (167, 321), (67, 81), (79, 86), (338, 341), (158, 159), (307, 311), (208, 210), (100, 158), (52, 61), (162, 170), (160, 196), (16, 30), (163, 198), (289, 294), (166, 198), (178, 185), (91, 94), (170, 196), (190, 310), (263, 272), (106, 126), (117, 118), (132, 142), (389, 392), (105, 196), (50, 97), (213, 218), (75, 77), (87, 121), (54, 56), (89, 93), (79, 144), (19, 45), (36, 43), (1, 12), (376, 382), (263, 279), (106, 196), (193, 200), (271, 282), (282, 285), (148, 150), (353, 354), (70, 71), (134, 137), (128, 145), (175, 192), (129, 295), (93, 114), (146, 153), (278, 386), (238, 241), (184, 195), (338, 366), (399, 401), (16, 21), (131, 144), (358, 359), (362, 368), (375, 380), (117, 121), (247, 251), (235, 308), (75, 115), (155, 157), (64, 78), (78, 114), (220, 317), (272, 288), (179, 215), (103, 105), (307, 317), (50, 96), (363, 369), (68, 72), (171, 195), (258, 262), (125, 152), (110, 135), (101, 176), (184, 193), (66, 99), (262, 264), (233, 244), (100, 107), (94, 117), (228, 235), (130, 132), (268, 276), (113, 120), (95, 96), (154, 323), (184, 199), (27, 32), (161, 193), (3, 14), (287, 291), (153, 321), (182, 200), (50, 91), (104, 127), (142, 144), (72, 88), (159, 168), (47, 52), (280, 286), (136, 383), (263, 268), (160, 170), (364, 393), (190, 316), (228, 309), (218, 315), (163, 168), (266, 272), (159, 161), (68, 80), (36, 44), (171, 196), (307, 313), (72, 121), (351, 354), (118, 121), (363, 366), (41, 56), (239, 291), (72, 89), (193, 196), (386, 390), (74, 89), (25, 34), (339, 370), (129, 292), (23, 110), (220, 221), (146, 159), (101, 132), (271, 302), (164, 318), (232, 239), (90, 92), (223, 235), (114, 117), (222, 228), (146, 170), (276, 386), (73, 94), (283, 291), (98, 117), (71, 88), (157, 320), (347, 350), (271, 289), (67, 114), (324, 334), (75, 86), (185, 193), (81, 116), (164, 169), (158, 171), (126, 161), (8, 36), (337, 339), (283, 289), (159, 320), (359, 369), (120, 121), (267, 272), (105, 168), (268, 270), (71, 83), (1, 7), (146, 147), (267, 289), (171, 198), (58, 109), (89, 116), (4, 10), (107, 152), (240, 245), (106, 161), (65, 81), (365, 369), (272, 275), (21, 379), (391, 394), (58, 112), (40, 43), (10, 12), (126, 166), (192, 198), (66, 87), (159, 166), (358, 366), (338, 371), (339, 401), (372, 375), (251, 255), (169, 173), (259, 279), (174, 196), (126, 158), (260, 272), (223, 227), (158, 176), (2, 9), (223, 308), (229, 242), (271, 299), (5, 12), (382, 388), (105, 158), (179, 183), (237, 256), (200, 207), (75, 78), (81, 82), (49, 51), (104, 197), (228, 231), (208, 215), (242, 304), (274, 277), (104, 163), (136, 380), (101, 108), (29, 110), (50, 112), (347, 356), (222, 291), (103, 166), (285, 290), (267, 302), (75, 94), (326, 330), (284, 289), (55, 95), (128, 150), (187, 188), (71, 89), (267, 277), (330, 335), (88, 148), (231, 240), (245, 247), (51, 53), (269, 390), (384, 388), (199, 202), (271, 272), (35, 51), (132, 144), (86, 123), (199, 214), (188, 301), (185, 199), (164, 171), (379, 385), (192, 195), (374, 387), (261, 264), (62, 63), (224, 237), (100, 161), (216, 310), (250, 262), (216, 307), (79, 82), (67, 71), (341, 371), (231, 241), (108, 296), (324, 341), (225, 256), (72, 115), (385, 387), (121, 124), (169, 198), (267, 299), (205, 207), (81, 114), (84, 88), (224, 227), (67, 118), (273, 390), (239, 309), (294, 296), (23, 138), (123, 150), (168, 172), (69, 87), (102, 126), (159, 323), (21, 25), (347, 349), (70, 116), (271, 277), (23, 378), (73, 99), (106, 292), (108, 136), (68, 70), (59, 112), (87, 144), (308, 316), (267, 287), (172, 175), (22, 365), (345, 356), (286, 299), (319, 322), (236, 242), (296, 298), (133, 139), (223, 240), (283, 285), (230, 316), (385, 391), (232, 233), (259, 272), (258, 261), (102, 300), (147, 152), (121, 123), (146, 319), (135, 137), (64, 116), (117, 119), (388, 392), (267, 268), (40, 47), (190, 285), (158, 172), (17, 24), (89, 99), (331, 357), (174, 194), (108, 130), (360, 362), (20, 31), (266, 275), (64, 85), (271, 287), (158, 162), (240, 251), (87, 114), (223, 236), (104, 162), (91, 92), (7, 399), (145, 147), (91, 115), (203, 206), (73, 83), (348, 373), (242, 308), (368, 369), (159, 171), (173, 318), (67, 83), (239, 310), (145, 166), (103, 145), (300, 303), (70, 92), (358, 360), (160, 167), (49, 63), (145, 152), (170, 174), (218, 219), (91, 98), (167, 174), (5, 399), (366, 370), (106, 170), (375, 377), (304, 315), (77, 83), (107, 176), (273, 297), (332, 334), (245, 255), (270, 393), (159, 165), (88, 150), (23, 29), (299, 301), (205, 211), (228, 229), (309, 316), (102, 128), (227, 229), (382, 384), (129, 131), (308, 311), (19, 26), (187, 280), (222, 316), (165, 170), (132, 162), (69, 74), (271, 293), (105, 161), (198, 201), (105, 195), (372, 377), (268, 271), (373, 388), (170, 177), (266, 270), (356, 364), (86, 149), (164, 323), (372, 391), (259, 268), (202, 208), (68, 395), (216, 315), (100, 128), (72, 79), (200, 215), (160, 195), (286, 290), (174, 191), (80, 119), (232, 308), (294, 300), (129, 132), (66, 77), (15, 38), (125, 166), (49, 56), (251, 258), (364, 385), (272, 276), (80, 84), (165, 201), (235, 238), (76, 89), (160, 166), (14, 36), (181, 312), (282, 291), (234, 242), (182, 186), (275, 389), (233, 240), (177, 318), (224, 231), (220, 315), (378, 382), (356, 373), (60, 61), (145, 169), (166, 172), (201, 214), (180, 216), (31, 33), (66, 68), (147, 149), (101, 130), (146, 322), (96, 115), (242, 305), (29, 109), (239, 250), (92, 118), (105, 107), (161, 172), (361, 363), (267, 293), (115, 124), (363, 365), (165, 168), (47, 59), (79, 142), (251, 254), (257, 264), (227, 235), (67, 119), (251, 264), (289, 302), (267, 283), (269, 297), (347, 354), (324, 333), (105, 176), (75, 121), (347, 394), (88, 142), (268, 288), (286, 298), (154, 319), (104, 292), (182, 214), (22, 361), (146, 167), (24, 26), (41, 47), (66, 121), (65, 115), (52, 63), (210, 215), (5, 36), (376, 392), (169, 176), (245, 258), (285, 316), (148, 154), (76, 119), (67, 80), (273, 387), (260, 274), (161, 192), (77, 89), (35, 40), (158, 193), (260, 283), (351, 353), (179, 194), (362, 366), (77, 82), (281, 285), (257, 258), (185, 187), (69, 80), (257, 272), (70, 81), (52, 62), (356, 359), (366, 369), (71, 99), (260, 268), (1, 11), (349, 356), (17, 365), (218, 311), (182, 192), (214, 221), (43, 45), (269, 387), (234, 305), (174, 195), (330, 340), (262, 265), (222, 262), (335, 353), (169, 193), (46, 57), (179, 193), (201, 202), (331, 341), (304, 316), (29, 112), (271, 283), (145, 154), (315, 317), (232, 237), (179, 191), (355, 362), (52, 53), (247, 250), (100, 195), (384, 390), (184, 187), (126, 175), (233, 239), (101, 168), (157, 318), (180, 215), (210, 212), (64, 82), (384, 386), (245, 264), (346, 348), (17, 19), (68, 78), (20, 21), (189, 309), (262, 291), (39, 52), (217, 307), (125, 292), (70, 93), (26, 363), (58, 97), (153, 156), (160, 194), (225, 231), (102, 130), (290, 316), (177, 323), (102, 104), (262, 282), (2, 344), (275, 278), (181, 182), (151, 162), (272, 281), (305, 309), (80, 143), (72, 77), (206, 208), (272, 286), (326, 336), (270, 272), (188, 289), (7, 12), (90, 117), (13, 15), (223, 304), (222, 290), (127, 176), (227, 241), (102, 176), (164, 170), (71, 79), (68, 73), (179, 192), (229, 243), (71, 122), (234, 235), (104, 176), (132, 149), (338, 358), (169, 192), (76, 78), (98, 112), (274, 289), (250, 255), (36, 45), (146, 321), (104, 170), (83, 143), (66, 93), (49, 59), (22, 360), (355, 373), (276, 387), (84, 148), (330, 331), (358, 368), (127, 128), (113, 140), (2, 3), (200, 206), (238, 244), (161, 176), (119, 122), (296, 303), (245, 254), (332, 370), (81, 121), (5, 344), (65, 116), (225, 251), (159, 196), (180, 200), (76, 114), (324, 332), (278, 286), (223, 224), (58, 98), (105, 198), (298, 389), (127, 166), (260, 266), (182, 198), (145, 323), (209, 214), (246, 253), (108, 300), (31, 138), (67, 94), (103, 151), (76, 90), (92, 95), (285, 286), (165, 199), (64, 94), (151, 170), (51, 56), (275, 390), (66, 80), (97, 124), (21, 22), (229, 233), (107, 150), (160, 198), (91, 118), (24, 30), (47, 63), (153, 320), (180, 199), (163, 173), (39, 44), (160, 191), (346, 394), (373, 376), (77, 81), (377, 387), (192, 196), (276, 279), (71, 94), (144, 152), (195, 201), (73, 88), (242, 314), (168, 173), (126, 165), (225, 241), (328, 334), (287, 299), (86, 114), (151, 173), (106, 175), (240, 304), (198, 199), (166, 174), (230, 284), (173, 321), (198, 300), (209, 219), (171, 172), (129, 133), (23, 135), (68, 74), (144, 148), (225, 245), (234, 236), (280, 316), (190, 216), (180, 201), (296, 383), (223, 244), (256, 258), (90, 121), (223, 241), (101, 126), (37, 401), (30, 33), (247, 254), (87, 122), (229, 245), (365, 382), (334, 342), (388, 393), (70, 99), (87, 149), (4, 6), (252, 253), (137, 383), (154, 173), (168, 195), (195, 300), (33, 97), (126, 188), (181, 187), (127, 168), (44, 63), (257, 283), (64, 86), (84, 155), (76, 395), (270, 390), (227, 233), (35, 62), (17, 27), (305, 311), (209, 212), (103, 129), (100, 129), (304, 312), (390, 393), (233, 305), (291, 310), (387, 392), (281, 299), (378, 380), (160, 173), (353, 357), (256, 264), (116, 124), (304, 305), (204, 206), (273, 383), (202, 205), (267, 288), (80, 149), (81, 118), (21, 378), (103, 170), (58, 91), (270, 389), (179, 184), (277, 392), (105, 197), (205, 212), (101, 104), (253, 256), (197, 303), (327, 330), (17, 23), (183, 213), (248, 261), (105, 108), (274, 298), (147, 155), (69, 99), (117, 120), (244, 306), (380, 387), (3, 7), (147, 153), (20, 110), (122, 124), (235, 311), (289, 298), (135, 378), (64, 115), (48, 54), (102, 132), (107, 108), (161, 162), (20, 381), (81, 90), (275, 393), (20, 379), (280, 299), (122, 131), (186, 190), (113, 138), (230, 258), (176, 196), (174, 198), (289, 293), (82, 88), (74, 92), (165, 172), (162, 196), (67, 87), (356, 368), (175, 177), (183, 201), (179, 207), (336, 340), (86, 115), (257, 266), (311, 316), (105, 129), (42, 59), (217, 310), (79, 150), (197, 292), (100, 175), (123, 140), (35, 54), (273, 302), (296, 299), (178, 193), (24, 381), (266, 277), (109, 113), (42, 56), (294, 295), (106, 295), (146, 318), (242, 309), (324, 338), (104, 125), (340, 351), (28, 49), (171, 200), (190, 217), (357, 359), (65, 87), (27, 43), (218, 313), (151, 168), (16, 34), (293, 386), (106, 169), (325, 370), (183, 189), (252, 256), (186, 303), (16, 363), (196, 197), (14, 38), (131, 152), (32, 43), (244, 315), (230, 264), (73, 78), (123, 132), (364, 367), (260, 264), (271, 288), (86, 150), (348, 394), (357, 362), (68, 71), (132, 176), (167, 319), (254, 255), (357, 358), (326, 351), (45, 361), (269, 383), (101, 166), (383, 389), (294, 298), (97, 110), (121, 144), (202, 209), (387, 391), (106, 145), (263, 288), (126, 185), (179, 181), (230, 232), (103, 142), (273, 293), (37, 339), (72, 94), (172, 318), (257, 274), (68, 87), (18, 34), (16, 27), (58, 96), (295, 296), (374, 394), (187, 189), (68, 89), (218, 306), (87, 118), (236, 244), (297, 380), (255, 265), (360, 365), (331, 371), (96, 113), (74, 90), (268, 269), (257, 268), (230, 308), (332, 366), (269, 302), (106, 300), (28, 41), (258, 260), (149, 151), (302, 386), (82, 87), (128, 148), (65, 80), (343, 398), (83, 86), (128, 166), (181, 214), (235, 306), (229, 251), (96, 109), (100, 198), (165, 185), (143, 151), (82, 143), (173, 319), (15, 40), (190, 280), (3, 4), (40, 63), (381, 387), (185, 188), (48, 52), (69, 83), (274, 290), (180, 184), (106, 195), (355, 358), (120, 133), (355, 371), (368, 385), (165, 184), (183, 199), (107, 292), (80, 116), (55, 92), (207, 221), (173, 174), (276, 375), (93, 119), (136, 139), (24, 382), (66, 74), (128, 170), (295, 303), (372, 380), (79, 156), (217, 315), (80, 85), (207, 210), (102, 168), (105, 175), (72, 82), (165, 177), (216, 309), (81, 89), (187, 197), (262, 287), (78, 119), (78, 93), (158, 192), (13, 35), (163, 167), (204, 207), (9, 14), (238, 308), (87, 115), (285, 299), (145, 158), (151, 156), (75, 88), (32, 47), (13, 14), (269, 293), (101, 300), (184, 192), (179, 185), (157, 173), (125, 130), (167, 170), (376, 381), (305, 312), (396, 400), (93, 116), (80, 144), (66, 86), (260, 290), (372, 383), (21, 31), (125, 295), (76, 79), (268, 286), (61, 63), (84, 149), (349, 391), (80, 395), (110, 140), (238, 240), (32, 109), (28, 39), (75, 99), (324, 330), (90, 91), (76, 118), (143, 144), (16, 365), (167, 169), (213, 312), (162, 169), (142, 145), (237, 238), (368, 391), (225, 226), (180, 190), (5, 8), (103, 104), (268, 273), (195, 199), (235, 307), (28, 58), (77, 80), (385, 390), (260, 284), (345, 373), (138, 378), (231, 256), (268, 281), (226, 241), (65, 85), (160, 322), (247, 265), (282, 299), (73, 77), (174, 201), (42, 58), (143, 150), (29, 97), (178, 215), (262, 281), (84, 147), (106, 129), (174, 322), (250, 256), (102, 166), (222, 304), (220, 312), (376, 393), (368, 374), (159, 176), (92, 114), (49, 61), (65, 92), (76, 88), (208, 211), (177, 192), (66, 92), (115, 122), (2, 15), (257, 290), (191, 207), (231, 250), (217, 221), (8, 40), (41, 60), (265, 266), (73, 122), (28, 33), (132, 133), (94, 96), (172, 196), (3, 15), (142, 176), (39, 51), (197, 294), (307, 309), (67, 82), (0, 10), (279, 392), (278, 281), (101, 152), (123, 130), (65, 83), (126, 184), (1, 13), (267, 276), (182, 197), (296, 386), (166, 171), (271, 276), (297, 301), (103, 150), (99, 122), (94, 121), (91, 124), (41, 58), (70, 87), (313, 314), (87, 90), (81, 85), (185, 192), (147, 157), (246, 256), (281, 298), (42, 95), (345, 393), (232, 242), (175, 176), (269, 272), (192, 202), (128, 131), (174, 199), (183, 214), (122, 150), (180, 189), (181, 311), (160, 168), (77, 90), (106, 152), (32, 59), (139, 380), (345, 353), (368, 388), (19, 27), (347, 357), (95, 117), (143, 395), (20, 30), (222, 310), (250, 265), (134, 140), (27, 112), (217, 309), (111, 124), (76, 94), (96, 120), (96, 111), (108, 294), (98, 120), (104, 192), (95, 99), (87, 150), (28, 40), (356, 362), (28, 52), (27, 111), (15, 45), (18, 27), (108, 303), (238, 309), (250, 260), (181, 316), (324, 337), (172, 193), (96, 112), (218, 310), (78, 87), (180, 192), (105, 152), (121, 131), (105, 303), (105, 294), (87, 117), (341, 362), (347, 351), (147, 172), (28, 111), (238, 250), (222, 260), (255, 260), (217, 313), (332, 371), (69, 395), (117, 140), (339, 397), (105, 172), (58, 113), (75, 124), (341, 353), (332, 361), (87, 152), (180, 220), (356, 369), (187, 193), (324, 331), (331, 352), (232, 248), (42, 62), (42, 96), (28, 44), (339, 363), (241, 250), (27, 57), (111, 139), (30, 46), (181, 289), (56, 95), (339, 343), (238, 317), (337, 400), (28, 55), (194, 212), (263, 289), (248, 263), (28, 53), (28, 48), (152, 395), (104, 136), (333, 400), (286, 309), (40, 361), (136, 391), (206, 220), (225, 309), (339, 398), (11, 40), (334, 398), (190, 208), (193, 211), (357, 361), (341, 400), (333, 361), (347, 380), (5, 400), (264, 258), (271, 267), (194, 191), (273, 269), (255, 247), (185, 184), (251, 245), (174, 160), (388, 376), (302, 293), (252, 246), (263, 259), (201, 199), (177, 164), (340, 326), (260, 257), (303, 294), (241, 224), (172, 159), (161, 158), (272, 268), (198, 195), (275, 270), (118, 114), (196, 161), (175, 161), (286, 281), (157, 153), (127, 102), (295, 292), (89, 70), (73, 71), (285, 280), (362, 358), (322, 167), (217, 216), (54, 51), (368, 359), (118, 90), (287, 282), (105, 100), (69, 66), (282, 281), (102, 101), (391, 374), (69, 65), (283, 282), (138, 135), (90, 89), (88, 79), (238, 223), (204, 203), (196, 158), (175, 165), (70, 69), (72, 71), (70, 65), (75, 64), (309, 304), (58, 50), (162, 103), (62, 47), (284, 283), (119, 116), (73, 72), (81, 80), (314, 305), (75, 72), (81, 72), (169, 163), (125, 103), (176, 162), (175, 158), (87, 81), (166, 158), (115, 99), (380, 377), (193, 192), (196, 175), (90, 66), (75, 73), (114, 90), (106, 100), (77, 68), (94, 90), (26, 17), (128, 103), (70, 66), (62, 39), (114, 66), (163, 160), (67, 65), (125, 101), (76, 64), (119, 73), (119, 114), (308, 304), (118, 94), (98, 97), (388, 374), (230, 222), (323, 320), (127, 101), (117, 99), (90, 70), (393, 373), (52, 49), (290, 284), (174, 171), (89, 66), (322, 320), (76, 68), (192, 171), (286, 282), (287, 283), (26, 16), (321, 319), (165, 161), (168, 166), (175, 163), (63, 35), (196, 195), (196, 104), (312, 216), (321, 318), (9, 1), (118, 66), (167, 164), (287, 284), (239, 222), (148, 142), (287, 281), (121, 116), (87, 80), (89, 69), (354, 350), (284, 282), (87, 71), (283, 281), (87, 72), (320, 318), (115, 114), (22, 18), (162, 106), (315, 307), (205, 203), (11, 0), (174, 163), (57, 47), (127, 105), (75, 69), (83, 80), (25, 16), (175, 169), (118, 115), (171, 160), (116, 115), (182, 178), (312, 311), (317, 306), (109, 97), (127, 100), (176, 168), (395, 82), (77, 67), (173, 172), (166, 161), (196, 165), (119, 71), (89, 65), (389, 276), (72, 64), (66, 65), (75, 71), (53, 48), (277, 268), (61, 54), (17, 16), (376, 374), (162, 125), (75, 66), (169, 158), (179, 178), (94, 89), (233, 228), (386, 375), (240, 222), (383, 375), (67, 64), (93, 91), (180, 178), (78, 70), (278, 269), (118, 89), (69, 64), (125, 107), (81, 71), (90, 69), (336, 327), (401, 344), (165, 163), (389, 269), (195, 165), (57, 49), (12, 3), (356, 355), (286, 274), (300, 126), (107, 101), (322, 318), (281, 274), (376, 372), (338, 325), (196, 166), (152, 142), (238, 229), (169, 161), (242, 233), (389, 273), (83, 82), (347, 345), (25, 17), (119, 115), (112, 109), (385, 372), (278, 273), (288, 283), (152, 128), (176, 103), (85, 68), (89, 78), (177, 167), (162, 128), (24, 21), (287, 286), (385, 382), (214, 179), (69, 67), (125, 106), (319, 157), (78, 65), (19, 18), (170, 168), (123, 122), (201, 193), (200, 179), (87, 86), (200, 199), (119, 118), (173, 146), (81, 75), (320, 167), (73, 66), (76, 67), (299, 294), (114, 94), (68, 67), (385, 376), (240, 232), (14, 5), (195, 161), (10, 1), (363, 360), (18, 16), (165, 158), (394, 373), (65, 64), (116, 114), (193, 171), (119, 66), (163, 161), (386, 273), (150, 144), (195, 104), (303, 299), (126, 104), (300, 292), (158, 104), (56, 48), (184, 182), (61, 53), (106, 105), (63, 60), (114, 89), (279, 266), (215, 214), (387, 375), (198, 196), (195, 175), (237, 225), (161, 104), (346, 345), (384, 372), (126, 105), (170, 169), (176, 128), (81, 73), (303, 188), (198, 165), (166, 104), (236, 227), (149, 142), (315, 305), (394, 349), (106, 103), (228, 223), (117, 96), (168, 162), (173, 159), (148, 147), (114, 73), (391, 373), (102, 100), (266, 263), (399, 344), (170, 159), (308, 228), (125, 102), (292, 127), (388, 372), (81, 64), (96, 91), (190, 189), (114, 69), (277, 272), (47, 39), (242, 235), (321, 320), (205, 204), (22, 16), (323, 146), (207, 202), (80, 72), (130, 129), (78, 74), (386, 269), (73, 64), (314, 306), (309, 308), (151, 147), (236, 224), (210, 209), (118, 70), (240, 239), (232, 231), (61, 51), (291, 290), (33, 29), (199, 193), (116, 73), (302, 298), (87, 73), (299, 289), (332, 325), (148, 143), (169, 159), (14, 12), (31, 23), (26, 22), (313, 220), (76, 75), (128, 125), (242, 223), (187, 186), (181, 180), (286, 283), (169, 160), (231, 229), (388, 385), (266, 259), (279, 275), (94, 93), (163, 158), (312, 217), (202, 200), (311, 309), (175, 166), (36, 15), (233, 223), (177, 159), (171, 163), (75, 65), (201, 192), (378, 20), (290, 283), (60, 49), (278, 277), (235, 233), (44, 8), (105, 102), (391, 388), (277, 276), (322, 164), (31, 29), (15, 8), (101, 100), (70, 67), (66, 64), (244, 234), (295, 108), (382, 379), (297, 296), (116, 71), (310, 189), (172, 170), (177, 172), (199, 192), (90, 65), (279, 270), (390, 387), (114, 70), (83, 81), (10, 3), (119, 75), (397, 343), (185, 182), (328, 324), (118, 69), (254, 225), (296, 293), (169, 166), (256, 247), (106, 101), (213, 180), (143, 79), (122, 121), (149, 148), (287, 280), (83, 76), (323, 173), (170, 145), (274, 267), (316, 310), (132, 107), (211, 204), (242, 238), (387, 384), (73, 69), (201, 200), (132, 131), (169, 165), (119, 72), (298, 271), (244, 235), (116, 99), (77, 76), (150, 132), (171, 165), (151, 145), (286, 267), (81, 76), (387, 372), (88, 80), (13, 8), (23, 20), (284, 281), (208, 207), (168, 106), (154, 147), (298, 293), (127, 106), (199, 179), (45, 38), (390, 389), (103, 101), (183, 178), (21, 17), (98, 96), (300, 295), (86, 71), (292, 105), (306, 305), (115, 94), (94, 70), (183, 182), (381, 377), (149, 88), (176, 106), (150, 149), (253, 248), (258, 250), (105, 104), (249, 246), (195, 158), (286, 271), (115, 90), (94, 66), (274, 271), (85, 77), (111, 97), (80, 79), (15, 14), (316, 291), (177, 174), (308, 239), (127, 125), (389, 386), (172, 164), (107, 103), (317, 313), (349, 345), (201, 182), (353, 350), (209, 208), (229, 223), (177, 160), (298, 267), (121, 119), (196, 169), (154, 153), (95, 91), (198, 104), (3, 1), (308, 233), (256, 255), (241, 229), (68, 64), (307, 306), (164, 159), (75, 67), (107, 102), (239, 230), (149, 144), (119, 90), (348, 270), (168, 158), (384, 377), (193, 165), (237, 231), (391, 364), (392, 390), (118, 116), (288, 274), (311, 310), (264, 250), (214, 213), (278, 267), (76, 72), (288, 282), (304, 233), (278, 271), (88, 87), (117, 115), (302, 299), (104, 100), (294, 188), (56, 53), (60, 52), (143, 84), (369, 360), (124, 117), (71, 64), (30, 17), (111, 109), (183, 180), (174, 169), (305, 235), (125, 100), (245, 231), (282, 274), (129, 108), (229, 224), (170, 166), (114, 75), (139, 137), (198, 161), (318, 167), (292, 102), (393, 391), (75, 70), (319, 153), (78, 69), (129, 107), (323, 321), (26, 25), (276, 269), (244, 242), (198, 175), (62, 57), (118, 99), (288, 281), (133, 130), (215, 207), (49, 47), (220, 219), (163, 159), (217, 181), (391, 376), (166, 106), (9, 7), (176, 145), (149, 79), (165, 160), (201, 179), (381, 378), (278, 276), (60, 39), (72, 66), (215, 209), (150, 142), (106, 102), (200, 194), (87, 75), (194, 192), (301, 295), (288, 284), (323, 319), (241, 236), (295, 127), (338, 328), (9, 3), (301, 294), (183, 181), (277, 275), (314, 244), (60, 51), (322, 177), (129, 102), (256, 254), (357, 356), (200, 191), (196, 163), (383, 297), (26, 21), (366, 360), (172, 169), (72, 69), (310, 309), (32, 28), (124, 120), (263, 260), (199, 182), (121, 86), (368, 364), (70, 64), (114, 99), (289, 287), (62, 46), (232, 228), (175, 160), (265, 257), (14, 2), (302, 296), (105, 101), (156, 155), (175, 104), (378, 141), (243, 241), (152, 132), (288, 260), (160, 159), (276, 273), (220, 218), (71, 66), (373, 364), (78, 67), (197, 126), (383, 380), (206, 205), (323, 318), (180, 179), (240, 228), (80, 76), (379, 24), (289, 280), (363, 22), (80, 71), (149, 143), (357, 355), (393, 392), (252, 249), (113, 110), (323, 322), (60, 54), (393, 349), (119, 69), (114, 71), (30, 25), (386, 383), (256, 251), (146, 145), (172, 167), (263, 257), (67, 66), (118, 73), (251, 231), (157, 154), (46, 40), (162, 100), (182, 179), (192, 191), (320, 173), (384, 381), (174, 165), (359, 355), (152, 150), (311, 216), (380, 137), (290, 262), (211, 203), (307, 218), (283, 274), (129, 101), (176, 125), (374, 364), (90, 78), (276, 275), (131, 130), (154, 146), (300, 197), (190, 187), (85, 82), (112, 33), (54, 52), (197, 186), (126, 100), (256, 248), (243, 226), (394, 393), (186, 185), (139, 135), (5, 2), (234, 227), (394, 356), (260, 259), (111, 29), (371, 358), (121, 115), (292, 108), (299, 293), (95, 50), (245, 232), (197, 185), (392, 270), (132, 128), (43, 34), (274, 272), (218, 217), (162, 101), (259, 257), (109, 98), (156, 147), (174, 164), (156, 143), (262, 257), (298, 273), (115, 66), (188, 186), (59, 28), (144, 86), (63, 51), (122, 86), (192, 174), (384, 375), (59, 58), (244, 227), (209, 207), (40, 39), (307, 220), (173, 170), (164, 160), (248, 247), (77, 65), (212, 211), (301, 296), (300, 105), (289, 286), (76, 65), (221, 209), (335, 331), (212, 204), (349, 346), (255, 248), (133, 131), (290, 287), (57, 41), (134, 130), (214, 180), (119, 99), (49, 41), (110, 31), (206, 202), (378, 24), (284, 280), (170, 158), (90, 75), (319, 318), (93, 92), (288, 262), (175, 174), (197, 188), (305, 244), (298, 269), (221, 215), (214, 200), (389, 278), (141, 137), (156, 84), (382, 381), (128, 107), (295, 102), (76, 69), (315, 306), (218, 216), (335, 326), (290, 282), (186, 184), (174, 159), (384, 380), (315, 312), (217, 213), (80, 64), (189, 181), (77, 64), (114, 65), (303, 301), (169, 168), (377, 141), (84, 82), (141, 20), (173, 145), (19, 16), (88, 86), (265, 259), (176, 170), (131, 123), (320, 319), (281, 267), (393, 348), (173, 167), (26, 18), (90, 73), (238, 233), (151, 148), (175, 171), (242, 227), (152, 151), (151, 142), (312, 218), (302, 294), (89, 67), (262, 260), (80, 75), (292, 126), (168, 145), (99, 94), (118, 65), (106, 104), (216, 189), (386, 297), (12, 8), (286, 284), (94, 69), (332, 328), (390, 276), (328, 325), (116, 66), (315, 311), (216, 181), (288, 257), (334, 329), (250, 222), (13, 3), (382, 367), (198, 158), (399, 2), (256, 245), (304, 228), (117, 91), (291, 284), (52, 41), (202, 191), (374, 373), (78, 66), (176, 166), (373, 349), (392, 275), (369, 362), (89, 75), (59, 41), (63, 39), (198, 193), (313, 306), (71, 69), (143, 88), (121, 71), (281, 271), (214, 178), (323, 157), (167, 159), (138, 110), (215, 213), (13, 4), (250, 240), (168, 161), (265, 261), (118, 75), (141, 135), (238, 228), (315, 314), (265, 260), (294, 293), (192, 165), (240, 230), (336, 330), (287, 285), (86, 81), (83, 79), (136, 134), (192, 160), (201, 178), (312, 307), (121, 99), (199, 178), (166, 100), (85, 76), (307, 305), (197, 184), (31, 30), (243, 224), (7, 2), (232, 223), (86, 72), (57, 28), (379, 378), (292, 100), (289, 285), (33, 32), (323, 167), (87, 79), (56, 52), (251, 232), (87, 64), (172, 163), (47, 28), (165, 104), (57, 52), (114, 72), (348, 275), (322, 321), (202, 194), (144, 88), (86, 73), (88, 81), (395, 85), (221, 219), (392, 391), (304, 235), (295, 105), (317, 314), (195, 126), (87, 83), (297, 293), (83, 68), (152, 103), (172, 160), (127, 107), (190, 181), (168, 103), (243, 225), (264, 255), (103, 100), (166, 163), (115, 73), (252, 248), (166, 165), (221, 210), (387, 376), (124, 113), (116, 72), (111, 110), (314, 235), (170, 163), (258, 255), (47, 46), (80, 73), (184, 183), (166, 162), (282, 280), (264, 247), (250, 230), (368, 355), (352, 351), (24, 20), (288, 286), (290, 288), (258, 247), (94, 92), (73, 70), (73, 65), (298, 278), (199, 194), (279, 268), (24, 23), (395, 84), (34, 19), (242, 228), (150, 131), (392, 276), (95, 58), (198, 126), (99, 93), (362, 359), (289, 281), (119, 87), (152, 148), (366, 325), (182, 180), (384, 383), (301, 292), (238, 231), (289, 282), (44, 40), (147, 142), (195, 193), (103, 102), (265, 263), (62, 60), (116, 86), (83, 64), (253, 249), (62, 49), (311, 304), (322, 173), (381, 379), (390, 388), (390, 374), (198, 185), (311, 189), (340, 335), (368, 367), (116, 90), (231, 223), (276, 270), (140, 120), (364, 359), (219, 210), (341, 330), (248, 246), (291, 280), (387, 386), (119, 89), (277, 270), (155, 153), (122, 120), (129, 127), (138, 20), (83, 72), (125, 105), (68, 65), (245, 237), (208, 204), (94, 78), (33, 27), (389, 387), (261, 253), (390, 376), (119, 64), (30, 29), (144, 123), (84, 79), (291, 230), (25, 18), (119, 70), (119, 94), (288, 287), (121, 73), (251, 237), (236, 229), (249, 248), (199, 191), (137, 136), (196, 168), (382, 372), (195, 166), (62, 40), (161, 160), (262, 230), (59, 57), (89, 64), (274, 268), (118, 93), (112, 32), (76, 73), (116, 75), (156, 154), (10, 9), (250, 245), (60, 47), (185, 183), (321, 157), (290, 230), (389, 375), (124, 96), (128, 106), (310, 304), (287, 274), (333, 329), (361, 37), (261, 255), (22, 17), (239, 228), (135, 20), (72, 65), (212, 208), (147, 143), (198, 184), (278, 268), (213, 181), (351, 350), (214, 202), (170, 161), (371, 362), (130, 107), (349, 348), (140, 139), (388, 387), (117, 93), (113, 111), (27, 25), (301, 108), (198, 197), (171, 169), (251, 250), (25, 19), (111, 33), (174, 172), (12, 9), (379, 365), (45, 37), (177, 163), (313, 219), (394, 345), (86, 80), (365, 21), (114, 64), (12, 2), (168, 100), (55, 42), (322, 172), (82, 68), (42, 41), (82, 76), (132, 103), (115, 89), (316, 239), (162, 107), (371, 357), (15, 5), (52, 51), (217, 189), (113, 98), (14, 8), (119, 81), (333, 327), (303, 302), (81, 79), (320, 146), (392, 374), (291, 285), (30, 23), (94, 65), (380, 141), (11, 6), (99, 90), (237, 229), (238, 236), (99, 96), (194, 171), (309, 233), (302, 297), (337, 334), (193, 174), (118, 71), (393, 374), (30, 21), (46, 39), (119, 86), (44, 13), (377, 137), (308, 240), (168, 104), (196, 126), (72, 67), (265, 264), (38, 5), (392, 348), (89, 73), (44, 15), (115, 93), (206, 191), (82, 80), (353, 347), (381, 372), (292, 101), (254, 252), (6, 0), (90, 64), (132, 125), (133, 123), (88, 83), (108, 102), (385, 374), (30, 27), (127, 103), (195, 163), (320, 164), (193, 175), (309, 235), (279, 277), (151, 146), (63, 54), (201, 194), (238, 227), (46, 43), (175, 170), (75, 68), (278, 272), (60, 35), (61, 56), (173, 164), (143, 142), (124, 99), (93, 90), (255, 253), (177, 173), (369, 367), (112, 97), (128, 101), (395, 83), (374, 372), (303, 293), (44, 35), (187, 183), (200, 192), (301, 293), (301, 300), (76, 71), (221, 218), (22, 19), (113, 97), (57, 39), (87, 76), (369, 358), (193, 160), (364, 355), (74, 65), (312, 189), (383, 377), (254, 248), (39, 35), (154, 151), (296, 136), (261, 247), (265, 258), (140, 133), (134, 129), (375, 297), (336, 333), (46, 32), (306, 220), (144, 122), (54, 53), (74, 67), (49, 39), (162, 102), (127, 126), (96, 93), (388, 364), (13, 12), (200, 178), (191, 171), (23, 21), (109, 33), (175, 168), (208, 205), (160, 158), (275, 268), (166, 105), (347, 346), (283, 280), (115, 71), (95, 93), (381, 380), (121, 114), (277, 269), (243, 237), (60, 57), (77, 69), (174, 161), (162, 127), (297, 136), (337, 332), (329, 324), (76, 66), (81, 69), (11, 10), (84, 83), (90, 67), (77, 74), (192, 163), (206, 194), (311, 217), (387, 383), (201, 191), (370, 361), (254, 237), (353, 331), (285, 284), (111, 98), (34, 27), (176, 152), (193, 163), (271, 269), (300, 188), (253, 247), (284, 262), (38, 36), (172, 146), (315, 235), (295, 126), (279, 272), (99, 91), (273, 271), (202, 179), (215, 202), (221, 213), (124, 98), (112, 28), (72, 70), (162, 105), (116, 87), (117, 116), (394, 364), (92, 78), (320, 172), (338, 332), (131, 107), (127, 108), (290, 280), (201, 184), (181, 178), (367, 365), (46, 28), (107, 106), (391, 390), (85, 83), (323, 153), (139, 138), (184, 178), (157, 146), (158, 106), (172, 145), (118, 78), (140, 135), (214, 207), (152, 149), (269, 267), (171, 161), (316, 189), (186, 183), (176, 100), (15, 12), (386, 298), (385, 381), (238, 232), (61, 48), (304, 239), (375, 273), (119, 65), (300, 127), (201, 171), (81, 66), (285, 187), (361, 18), (45, 34), (73, 67), (273, 267), (385, 384), (142, 128), (207, 206), (298, 297), (69, 68), (314, 307), (109, 50), (18, 17), (177, 169), (90, 71), (194, 193), (299, 298), (232, 222), (195, 169), (365, 26), (277, 273), (389, 277), (151, 128), (29, 27), (155, 154), (111, 31), (341, 328), (156, 148), (250, 232), (283, 262), (168, 128), (322, 159), (118, 72), (302, 301), (367, 359), (162, 152), (394, 355), (83, 75), (115, 69), (97, 96), (197, 195), (168, 125), (348, 279), (116, 94), (140, 138), (303, 289), (310, 308), (323, 172), (141, 139), (123, 120), (162, 145), (232, 229), (190, 183), (315, 309), (300, 100), (216, 213), (199, 171), (141, 138), (78, 77), (213, 178), (92, 89), (241, 237), (375, 269), (76, 70), (278, 274), (176, 151), (317, 305), (213, 179), (139, 134), (295, 100), (390, 372), (25, 22), (290, 281), (217, 180), (381, 141), (351, 335), (90, 72), (8, 3), (175, 159), (365, 24), (379, 367), (118, 64), (115, 70), (320, 177), (74, 70), (13, 10), (361, 19), (392, 373), (134, 133), (164, 163), (116, 69), (112, 111), (54, 49), (314, 234), (38, 37), (312, 310), (98, 50), (62, 28), (169, 104), (363, 18), (134, 108), (299, 188), (238, 224), (129, 125), (376, 364), (159, 145), (85, 67), (378, 377), (342, 329), (193, 182), (177, 171), (390, 375), (30, 26), (281, 280), (196, 100), (81, 68), (195, 185), (254, 246), (59, 50), (201, 185), (284, 274), (174, 158), (312, 309), (295, 101), (300, 104), (193, 191), (282, 267), (40, 36), (385, 367), (308, 222), (208, 203), (122, 116), (77, 70), (268, 266), (212, 203), (148, 79), (384, 376), (71, 65), (321, 167), (81, 67), (86, 79), (341, 338), (159, 158), (311, 307), (210, 208), (158, 100), (61, 52), (170, 162), (196, 160), (30, 16), (198, 163), (294, 289), (198, 166), (185, 178), (94, 91), (196, 170), (310, 190), (272, 263), (126, 106), (118, 117), (142, 132), (392, 389), (196, 105), (97, 50), (218, 213), (77, 75), (121, 87), (56, 54), (93, 89), (144, 79), (45, 19), (43, 36), (12, 1), (382, 376), (279, 263), (196, 106), (200, 193), (282, 271), (285, 282), (150, 148), (354, 353), (71, 70), (137, 134), (145, 128), (192, 175), (295, 129), (114, 93), (153, 146), (386, 278), (241, 238), (195, 184), (366, 338), (401, 399), (21, 16), (144, 131), (359, 358), (368, 362), (380, 375), (121, 117), (251, 247), (308, 235), (115, 75), (157, 155), (78, 64), (114, 78), (317, 220), (288, 272), (215, 179), (105, 103), (317, 307), (96, 50), (369, 363), (72, 68), (195, 171), (262, 258), (152, 125), (135, 110), (176, 101), (193, 184), (99, 66), (264, 262), (244, 233), (107, 100), (117, 94), (235, 228), (132, 130), (276, 268), (120, 113), (96, 95), (323, 154), (199, 184), (32, 27), (193, 161), (14, 3), (291, 287), (321, 153), (200, 182), (91, 50), (127, 104), (144, 142), (88, 72), (168, 159), (52, 47), (286, 280), (383, 136), (268, 263), (170, 160), (393, 364), (316, 190), (309, 228), (315, 218), (168, 163), (272, 266), (161, 159), (80, 68), (44, 36), (196, 171), (313, 307), (121, 72), (354, 351), (121, 118), (366, 363), (56, 41), (291, 239), (89, 72), (196, 193), (390, 386), (89, 74), (34, 25), (370, 339), (292, 129), (110, 23), (221, 220), (159, 146), (132, 101), (302, 271), (318, 164), (239, 232), (92, 90), (235, 223), (117, 114), (228, 222), (170, 146), (386, 276), (94, 73), (291, 283), (117, 98), (88, 71), (320, 157), (350, 347), (289, 271), (114, 67), (334, 324), (86, 75), (193, 185), (116, 81), (169, 164), (171, 158), (161, 126), (36, 8), (339, 337), (289, 283), (320, 159), (369, 359), (121, 120), (272, 267), (168, 105), (270, 268), (83, 71), (7, 1), (147, 146), (289, 267), (198, 171), (109, 58), (116, 89), (10, 4), (152, 107), (245, 240), (161, 106), (81, 65), (369, 365), (275, 272), (379, 21), (394, 391), (112, 58), (43, 40), (12, 10), (166, 126), (198, 192), (87, 66), (166, 159), (366, 358), (371, 338), (401, 339), (375, 372), (255, 251), (173, 169), (279, 259), (196, 174), (158, 126), (272, 260), (227, 223), (176, 158), (9, 2), (308, 223), (242, 229), (299, 271), (12, 5), (388, 382), (158, 105), (183, 179), (256, 237), (207, 200), (78, 75), (82, 81), (51, 49), (197, 104), (231, 228), (215, 208), (304, 242), (277, 274), (163, 104), (380, 136), (108, 101), (110, 29), (112, 50), (356, 347), (291, 222), (166, 103), (290, 285), (302, 267), (94, 75), (330, 326), (289, 284), (95, 55), (150, 128), (188, 187), (89, 71), (277, 267), (335, 330), (148, 88), (240, 231), (247, 245), (53, 51), (390, 269), (388, 384), (202, 199), (272, 271), (51, 35), (144, 132), (123, 86), (214, 199), (301, 188), (199, 185), (171, 164), (385, 379), (195, 192), (387, 374), (264, 261), (63, 62), (237, 224), (161, 100), (310, 216), (262, 250), (307, 216), (82, 79), (71, 67), (371, 341), (241, 231), (296, 108), (341, 324), (256, 225), (115, 72), (387, 385), (124, 121), (198, 169), (299, 267), (207, 205), (114, 81), (88, 84), (227, 224), (118, 67), (390, 273), (309, 239), (296, 294), (138, 23), (150, 123), (172, 168), (87, 69), (126, 102), (323, 159), (25, 21), (349, 347), (116, 70), (277, 271), (378, 23), (99, 73), (292, 106), (136, 108), (70, 68), (112, 59), (144, 87), (316, 308), (287, 267), (175, 172), (365, 22), (356, 345), (299, 286), (322, 319), (242, 236), (298, 296), (139, 133), (240, 223), (285, 283), (316, 230), (391, 385), (233, 232), (272, 259), (261, 258), (300, 102), (152, 147), (123, 121), (319, 146), (137, 135), (116, 64), (119, 117), (392, 388), (268, 267), (47, 40), (285, 190), (172, 158), (24, 17), (99, 89), (357, 331), (194, 174), (130, 108), (362, 360), (31, 20), (275, 266), (85, 64), (287, 271), (162, 158), (251, 240), (114, 87), (236, 223), (162, 104), (92, 91), (399, 7), (147, 145), (115, 91), (206, 203), (83, 73), (373, 348), (308, 242), (369, 368), (171, 159), (318, 173), (83, 67), (310, 239), (166, 145), (145, 103), (303, 300), (92, 70), (360, 358), (167, 160), (63, 49), (152, 145), (174, 170), (219, 218), (98, 91), (174, 167), (399, 5), (370, 366), (170, 106), (377, 375), (315, 304), (83, 77), (176, 107), (297, 273), (334, 332), (255, 245), (393, 270), (165, 159), (150, 88), (29, 23), (301, 299), (211, 205), (229, 228), (316, 309), (128, 102), (229, 227), (384, 382), (131, 129), (311, 308), (26, 19), (280, 187), (316, 222), (170, 165), (162, 132), (74, 69), (293, 271), (161, 105), (201, 198), (195, 105), (377, 372), (271, 268), (388, 373), (177, 170), (270, 266), (364, 356), (149, 86), (323, 164), (391, 372), (268, 259), (208, 202), (395, 68), (315, 216), (128, 100), (79, 72), (215, 200), (195, 160), (290, 286), (191, 174), (119, 80), (308, 232), (300, 294), (132, 129), (77, 66), (38, 15), (166, 125), (56, 49), (258, 251), (385, 364), (276, 272), (84, 80), (201, 165), (238, 235), (89, 76), (166, 160), (36, 14), (312, 181), (291, 282), (242, 234), (186, 182), (389, 275), (240, 233), (318, 177), (231, 224), (315, 220), (382, 378), (373, 356), (61, 60), (169, 145), (172, 166), (214, 201), (216, 180), (33, 31), (68, 66), (149, 147), (130, 101), (322, 146), (115, 96), (305, 242), (109, 29), (250, 239), (118, 92), (107, 105), (172, 161), (363, 361), (293, 267), (124, 115), (365, 363), (168, 165), (59, 47), (142, 79), (254, 251), (264, 257), (235, 227), (119, 67), (264, 251), (302, 289), (283, 267), (297, 269), (354, 347), (333, 324), (176, 105), (121, 75), (394, 347), (142, 88), (288, 268), (298, 286), (319, 154), (292, 104), (214, 182), (361, 22), (167, 146), (26, 24), (47, 41), (121, 66), (115, 65), (63, 52), (215, 210), (36, 5), (392, 376), (176, 169), (258, 245), (316, 285), (154, 148), (119, 76), (80, 67), (387, 273), (274, 260), (192, 161), (89, 77), (40, 35), (193, 158), (283, 260), (353, 351), (194, 179), (366, 362), (82, 77), (285, 281), (258, 257), (187, 185), (80, 69), (272, 257), (81, 70), (62, 52), (359, 356), (369, 366), (99, 71), (268, 260), (11, 1), (356, 349), (365, 17), (311, 218), (192, 182), (221, 214), (45, 43), (387, 269), (305, 234), (195, 174), (340, 330), (265, 262), (262, 222), (353, 335), (193, 169), (57, 46), (193, 179), (202, 201), (341, 331), (316, 304), (112, 29), (283, 271), (154, 145), (317, 315), (237, 232), (191, 179), (362, 355), (53, 52), (250, 247), (195, 100), (390, 384), (187, 184), (175, 126), (239, 233), (168, 101), (318, 157), (215, 180), (212, 210), (82, 64), (386, 384), (264, 245), (348, 346), (19, 17), (78, 68), (21, 20), (309, 189), (291, 262), (52, 39), (307, 217), (292, 125), (93, 70), (363, 26), (97, 58), (156, 153), (194, 160), (231, 225), (130, 102), (316, 290), (323, 177), (104, 102), (282, 262), (344, 2), (278, 275), (182, 181), (162, 151), (281, 272), (309, 305), (143, 80), (77, 72), (208, 206), (286, 272), (336, 326), (272, 270), (289, 188), (12, 7), (117, 90), (15, 13), (304, 223), (290, 222), (176, 127), (241, 227), (176, 102), (170, 164), (79, 71), (73, 68), (192, 179), (243, 229), (122, 71), (235, 234), (176, 104), (149, 132), (358, 338), (192, 169), (78, 76), (112, 98), (289, 274), (255, 250), (45, 36), (321, 146), (170, 104), (143, 83), (93, 66), (59, 49), (360, 22), (373, 355), (387, 276), (148, 84), (331, 330), (368, 358), (128, 127), (140, 113), (3, 2), (206, 200), (244, 238), (176, 161), (122, 119), (303, 296), (254, 245), (370, 332), (121, 81), (344, 5), (116, 65), (251, 225), (196, 159), (200, 180), (114, 76), (332, 324), (286, 278), (224, 223), (98, 58), (198, 105), (389, 298), (166, 127), (266, 260), (198, 182), (323, 145), (214, 209), (253, 246), (300, 108), (138, 31), (94, 67), (151, 103), (90, 76), (95, 92), (286, 285), (199, 165), (94, 64), (170, 151), (56, 51), (390, 275), (80, 66), (124, 97), (22, 21), (233, 229), (150, 107), (198, 160), (118, 91), (30, 24), (63, 47), (320, 153), (199, 180), (173, 163), (44, 39), (191, 160), (394, 346), (376, 373), (81, 77), (387, 377), (196, 192), (279, 276), (94, 71), (152, 144), (201, 195), (88, 73), (314, 242), (173, 168), (165, 126), (241, 225), (334, 328), (299, 287), (114, 86), (173, 151), (175, 106), (304, 240), (199, 198), (174, 166), (284, 230), (321, 173), (300, 198), (219, 209), (172, 171), (133, 129), (135, 23), (74, 68), (148, 144), (245, 225), (236, 234), (316, 280), (216, 190), (201, 180), (383, 296), (244, 223), (258, 256), (121, 90), (241, 223), (126, 101), (401, 37), (33, 30), (254, 247), (122, 87), (245, 229), (382, 365), (342, 334), (393, 388), (99, 70), (149, 87), (6, 4), (253, 252), (383, 137), (173, 154), (195, 168), (300, 195), (97, 33), (188, 126), (187, 181), (168, 127), (63, 44), (283, 257), (86, 64), (155, 84), (395, 76), (390, 270), (233, 227), (62, 35), (27, 17), (311, 305), (212, 209), (129, 103), (129, 100), (312, 304), (393, 390), (305, 233), (310, 291), (392, 387), (299, 281), (380, 378), (173, 160), (357, 353), (264, 256), (124, 116), (305, 304), (206, 204), (383, 273), (205, 202), (288, 267), (149, 80), (118, 81), (378, 21), (170, 103), (91, 58), (389, 270), (184, 179), (392, 277), (197, 105), (212, 205), (104, 101), (256, 253), (303, 197), (330, 327), (23, 17), (213, 183), (261, 248), (108, 105), (298, 274), (155, 147), (99, 69), (120, 117), (306, 244), (387, 380), (7, 3), (153, 147), (110, 20), (124, 122), (311, 235), (298, 289), (378, 135), (115, 64), (54, 48), (132, 102), (108, 107), (162, 161), (381, 20), (90, 81), (393, 275), (379, 20), (299, 280), (131, 122), (190, 186), (138, 113), (258, 230), (196, 176), (198, 174), (293, 289), (88, 82), (92, 74), (172, 165), (196, 162), (87, 67), (368, 356), (177, 175), (201, 183), (207, 179), (340, 336), (115, 86), (266, 257), (316, 311), (129, 105), (59, 42), (310, 217), (150, 79), (292, 197), (175, 100), (140, 123), (54, 35), (302, 273), (299, 296), (193, 178), (381, 24), (277, 266), (113, 109), (56, 42), (295, 294), (295, 106), (318, 146), (309, 242), (338, 324), (125, 104), (351, 340), (49, 28), (200, 171), (217, 190), (359, 357), (87, 65), (43, 27), (313, 218), (168, 151), (34, 16), (386, 293), (169, 106), (370, 325), (189, 183), (256, 252), (303, 186), (363, 16), (197, 196), (38, 14), (152, 131), (43, 32), (315, 244), (264, 230), (78, 73), (132, 123), (367, 364), (264, 260), (288, 271), (150, 86), (394, 348), (362, 357), (71, 68), (176, 132), (319, 167), (255, 254), (358, 357), (351, 326), (361, 45), (383, 269), (166, 101), (389, 383), (298, 294), (110, 97), (144, 121), (209, 202), (391, 387), (145, 106), (288, 263), (185, 126), (181, 179), (232, 230), (142, 103), (293, 273), (339, 37), (94, 72), (318, 172), (274, 257), (87, 68), (34, 18), (27, 16), (96, 58), (296, 295), (394, 374), (189, 187), (89, 68), (306, 218), (118, 87), (244, 236), (380, 297), (265, 255), (365, 360), (371, 331), (113, 96), (90, 74), (269, 268), (268, 257), (308, 230), (366, 332), (302, 269), (300, 106), (41, 28), (260, 258), (151, 149), (386, 302), (87, 82), (148, 128), (80, 65), (398, 343), (86, 83), (166, 128), (214, 181), (306, 235), (251, 229), (109, 96), (198, 100), (185, 165), (151, 143), (143, 82), (319, 173), (40, 15), (280, 190), (4, 3), (63, 40), (387, 381), (188, 185), (52, 48), (83, 69), (290, 274), (184, 180), (195, 106), (358, 355), (133, 120), (371, 355), (385, 368), (184, 165), (199, 183), (292, 107), (116, 80), (92, 55), (221, 207), (174, 173), (375, 276), (119, 93), (139, 136), (382, 24), (74, 66), (170, 128), (303, 295), (380, 372), (156, 79), (315, 217), (85, 80), (210, 207), (168, 102), (175, 105), (82, 72), (177, 165), (309, 216), (89, 81), (197, 187), (287, 262), (119, 78), (93, 78), (192, 158), (35, 13), (167, 163), (207, 204), (14, 9), (308, 238), (115, 87), (299, 285), (158, 145), (156, 151), (88, 75), (47, 32), (14, 13), (293, 269), (300, 101), (192, 184), (185, 179), (173, 157), (130, 125), (170, 167), (381, 376), (312, 305), (400, 396), (116, 93), (144, 80), (86, 66), (290, 260), (383, 372), (31, 21), (295, 125), (79, 76), (286, 268), (63, 61), (149, 84), (391, 349), (395, 80), (140, 110), (240, 238), (109, 32), (39, 28), (99, 75), (330, 324), (91, 90), (118, 76), (144, 143), (365, 16), (169, 167), (312, 213), (169, 162), (145, 142), (238, 237), (391, 368), (226, 225), (190, 180), (8, 5), (104, 103), (273, 268), (199, 195), (307, 235), (58, 28), (80, 77), (390, 385), (284, 260), (373, 345), (378, 138), (256, 231), (281, 268), (241, 226), (85, 65), (322, 160), (265, 247), (299, 282), (77, 73), (201, 174), (58, 42), (150, 143), (97, 29), (215, 178), (281, 262), (147, 84), (129, 106), (322, 174), (256, 250), (166, 102), (304, 222), (312, 220), (393, 376), (374, 368), (176, 159), (114, 92), (61, 49), (92, 65), (88, 76), (211, 208), (192, 177), (92, 66), (122, 115), (15, 2), (290, 257), (207, 191), (250, 231), (221, 217), (40, 8), (60, 41), (266, 265), (122, 73), (33, 28), (133, 132), (96, 94), (196, 172), (15, 3), (176, 142), (51, 39), (294, 197), (309, 307), (82, 67), (10, 0), (392, 279), (281, 278), (152, 101), (130, 123), (83, 65), (184, 126), (13, 1), (276, 267), (197, 182), (386, 296), (171, 166), (276, 271), (301, 297), (150, 103), (122, 99), (121, 94), (124, 91), (58, 41), (87, 70), (314, 313), (90, 87), (85, 81), (192, 185), (157, 147), (256, 246), (298, 281), (95, 42), (393, 345), (242, 232), (176, 175), (272, 269), (202, 192), (131, 128), (199, 174), (214, 183), (150, 122), (189, 180), (311, 181), (168, 160), (90, 77), (152, 106), (59, 32), (380, 139), (353, 345), (388, 368), (27, 19), (357, 347), (117, 95), (395, 143), (30, 20), (310, 222), (265, 250), (140, 134), (112, 27), (309, 217), (124, 111), (94, 76), (120, 96), (111, 96), (294, 108), (120, 98), (192, 104), (99, 95), (150, 87), (40, 28), (362, 356), (52, 28), (111, 27), (45, 15), (27, 18), (303, 108), (309, 238), (260, 250), (316, 181), (337, 324), (193, 172), (112, 96), (310, 218), (87, 78), (192, 180), (152, 105), (131, 121), (303, 105), (294, 105), (117, 87), (362, 341), (351, 347), (172, 147), (111, 28), (250, 238), (260, 222), (260, 255), (313, 217), (371, 332), (395, 69), (140, 117), (397, 339), (172, 105), (113, 58), (124, 75), (353, 341), (361, 332), (152, 87), (220, 180), (369, 356), (193, 187), (331, 324), (352, 331), (248, 232), (62, 42), (96, 42), (44, 28), (363, 339), (250, 241), (57, 27), (139, 111), (46, 30), (289, 181), (95, 56), (343, 339), (317, 238), (400, 337), (55, 28), (212, 194), (289, 263), (263, 248), (53, 28), (48, 28), (395, 152), (136, 104), (400, 333), (309, 286), (361, 40), (391, 136), (220, 206), (309, 225), (398, 339), (40, 11), (398, 334), (208, 190), (211, 193), (361, 357), (400, 341), (361, 333), (380, 347), (400, 5)]
dist = [1079.72, 1314.97, 1626.62, 1633.74, 2192.75, 2783.24, 3035.85, 3806.55, 3968.66, 4376.01, 4451.45, 4474.34, 4582.76, 4868.67, 4885.41, 5100.72, 5338.34, 5517.6, 5692.85, 6364.07, 6387.55, 6718.84, 6958.1, 7604.52, 7742.34, 7744.85, 7865.85, 7942.52, 8014.49, 8241.14, 8250.06, 8482.08, 8506.56, 8893.48, 8969.87, 9173.32, 9372.19, 9374.25, 9694.14, 9753.05, 9820.84, 9900.24, 10150.22, 10231.6, 10393.46, 10400.61, 10487.97, 10636.43, 10663.0, 10698.91, 10782.33, 10954.98, 11045.18, 11053.99, 11263.48, 11279.56, 11312.39, 11337.83, 11415.21, 11511.16, 11748.95, 11914.54, 11981.84, 12090.66, 12151.02, 12307.51, 12389.73, 12518.17, 12676.56, 12721.31, 12727.49, 12953.84, 12960.5, 13022.73, 13146.17, 13188.19, 13193.46, 13460.71, 13684.53, 13881.23, 13972.93, 14178.95, 14195.89, 14199.77, 14527.35, 14588.42, 14615.12, 14742.73, 14813.56, 14989.19, 14996.38, 15052.26, 15084.29, 15201.76, 15217.79, 15335.53, 15368.24, 15390.85, 15708.55, 15909.01, 16008.83, 16040.73, 16056.09, 16143.51, 16199.71, 16217.87, 16331.6, 16472.25, 16646.8, 16749.75, 16798.81, 16813.01, 16826.17, 16921.45, 16938.26, 16981.17, 17081.1, 17164.48, 17176.05, 17256.47, 17279.49, 17494.4, 17516.55, 17524.08, 17562.39, 17565.26, 17601.39, 17615.18, 17652.6, 17702.32, 17707.66, 17719.88, 17770.59, 17774.56, 17801.29, 17816.24, 17829.4, 17892.08, 17930.06, 17945.37, 18067.88, 18098.86, 18146.07, 18155.78, 18171.43, 18325.89, 18468.28, 18482.46, 18489.58, 18515.59, 18548.25, 18604.51, 18616.46, 18616.58, 18634.06, 18672.08, 18756.93, 18790.02, 18798.39, 18798.6, 18807.12, 18815.75, 18917.12, 18996.23, 19005.48, 19293.85, 19325.78, 19447.6, 19533.52, 19537.37, 19547.52, 19642.85, 19648.93, 19651.2, 19667.83, 19751.47, 19758.92, 19779.0, 19845.68, 19869.02, 19954.91, 19963.67, 19982.92, 20001.99, 20011.53, 20030.98, 20069.33, 20147.44, 20196.9, 20203.17, 20204.01, 20299.81, 20354.9, 20357.13, 20402.46, 20525.84, 20536.83, 20553.45, 20554.52, 20574.93, 20584.98, 20605.32, 20615.26, 20634.65, 20647.11, 20651.59, 20673.65, 20717.75, 20736.07, 20740.19, 20879.05, 20908.02, 20923.34, 20978.4, 20997.97, 21006.9, 21024.07, 21089.35, 21224.91, 21393.42, 21479.27, 21491.64, 21549.8, 21576.68, 21584.72, 21592.11, 21669.74, 21701.84, 21727.37, 21762.57, 21799.11, 21837.88, 21914.26, 21963.65, 22017.72, 22051.42, 22082.18, 22154.33, 22180.43, 22330.96, 22355.96, 22485.78, 22494.69, 22524.6, 22553.76, 22590.68, 22624.8, 22670.01, 22684.98, 22861.0, 22914.44, 22949.24, 22957.64, 22958.14, 22962.3, 22981.93, 23005.28, 23009.65, 23014.86, 23105.48, 23172.79, 23185.23, 23186.97, 23305.21, 23306.83, 23311.57, 23312.4, 23319.24, 23416.93, 23450.25, 23613.64, 23681.71, 23690.98, 23714.07, 23742.84, 23805.35, 23852.55, 23872.55, 23906.96, 23960.42, 23967.66, 23978.3, 23979.89, 23988.38, 24066.93, 24129.74, 24149.3, 24212.13, 24216.01, 24278.53, 24301.34, 24302.38, 24328.84, 24386.38, 24399.82, 24445.81, 24456.1, 24467.46, 24503.68, 24508.35, 24508.96, 24547.44, 24557.96, 24565.69, 24574.08, 24615.53, 24621.28, 24632.82, 24676.63, 24677.52, 24707.2, 24746.67, 24755.01, 24771.88, 24777.58, 24796.94, 24801.24, 24810.68, 24819.29, 24831.66, 24851.56, 24868.26, 24871.94, 24882.91, 24902.67, 24923.03, 24926.26, 24927.6, 24931.47, 24952.66, 24977.07, 24977.7, 24978.82, 24985.0, 25018.86, 25022.14, 25097.23, 25108.82, 25112.72, 25182.62, 25200.45, 25205.03, 25224.99, 25248.9, 25268.45, 25289.84, 25301.44, 25307.15, 25334.69, 25355.33, 25366.49, 25388.22, 25398.54, 25404.97, 25414.5, 25433.64, 25487.38, 25564.68, 25610.41, 25623.75, 25659.58, 25664.12, 25679.73, 25704.27, 25705.15, 25708.17, 25763.72, 25773.56, 25777.45, 25821.68, 25838.5, 25908.25, 25917.14, 25960.4, 25978.87, 25989.15, 26026.29, 26032.84, 26034.41, 26045.19, 26045.82, 26056.04, 26067.4, 26118.69, 26120.84, 26134.41, 26136.32, 26143.6, 26202.34, 26212.58, 26255.91, 26260.25, 26282.19, 26309.39, 26331.67, 26338.44, 26359.77, 26360.8, 26433.19, 26451.75, 26477.89, 26489.82, 26494.41, 26503.24, 26528.71, 26529.68, 26606.89, 26609.24, 26632.99, 26663.9, 26670.53, 26681.23, 26688.97, 26700.47, 26722.05, 26741.8, 26745.31, 26745.37, 26754.06, 26754.06, 26785.07, 26794.59, 26815.37, 26858.08, 26884.25, 26901.81, 26952.13, 26953.15, 26966.13, 27028.75, 27036.75, 27043.06, 27067.33, 27100.5, 27104.37, 27154.9, 27163.46, 27186.2, 27213.2, 27216.51, 27268.41, 27284.99, 27341.41, 27349.9, 27387.55, 27401.99, 27458.26, 27478.05, 27486.45, 27513.62, 27549.39, 27562.59, 27580.06, 27588.05, 27623.69, 27630.2, 27645.35, 27684.28, 27690.29, 27694.31, 27727.66, 27768.02, 27782.02, 27783.57, 27784.15, 27832.28, 27866.02, 27893.11, 27895.93, 27899.45, 27902.94, 27930.09, 27938.85, 27967.21, 27997.34, 28006.38, 28023.67, 28085.9, 28095.64, 28128.76, 28130.67, 28172.28, 28189.05, 28254.18, 28275.45, 28315.32, 28319.74, 28334.23, 28340.92, 28348.98, 28364.69, 28385.69, 28395.37, 28410.76, 28428.3, 28431.72, 28433.95, 28468.02, 28476.27, 28490.3, 28511.39, 28517.91, 28523.89, 28566.41, 28568.81, 28588.69, 28629.91, 28685.04, 28738.86, 28772.71, 28774.66, 28777.72, 28778.74, 28824.45, 28831.72, 28839.22, 28853.18, 28862.18, 28863.05, 28868.89, 28941.41, 28941.46, 28954.42, 28975.59, 28999.35, 29001.78, 29016.87, 29091.84, 29096.06, 29097.62, 29113.6, 29123.42, 29162.96, 29176.59, 29193.62, 29197.07, 29230.55, 29242.09, 29252.54, 29265.17, 29268.85, 29301.59, 29303.26, 29312.63, 29325.89, 29355.19, 29423.49, 29446.14, 29448.53, 29464.56, 29484.36, 29513.89, 29514.4, 29520.48, 29533.05, 29548.27, 29575.91, 29605.61, 29608.52, 29612.21, 29620.14, 29622.04, 29625.1, 29645.23, 29674.01, 29682.87, 29709.65, 29715.89, 29727.84, 29729.24, 29762.16, 29806.08, 29820.2, 29823.44, 29865.37, 29893.34, 29905.13, 29974.46, 30010.15, 30026.69, 30044.27, 30053.65, 30102.22, 30133.42, 30155.01, 30168.79, 30182.41, 30209.38, 30229.2, 30241.31, 30273.89, 30280.94, 30300.63, 30302.09, 30344.07, 30362.75, 30364.23, 30378.23, 30393.21, 30422.45, 30443.04, 30445.1, 30455.81, 30462.15, 30470.14, 30514.6, 30537.17, 30540.67, 30610.31, 30621.52, 30623.03, 30633.82, 30654.49, 30655.78, 30669.7, 30681.46, 30685.7, 30687.9, 30689.5, 30703.41, 30713.0, 30723.06, 30727.46, 30767.61, 30803.19, 30834.69, 30872.52, 30887.21, 30892.32, 30917.69, 30964.61, 30984.05, 30984.64, 30988.67, 30999.08, 31010.4, 31012.28, 31025.72, 31034.54, 31037.18, 31055.14, 31080.74, 31124.08, 31128.24, 31147.39, 31151.91, 31163.14, 31241.04, 31276.44, 31295.24, 31319.68, 31328.93, 31415.04, 31439.68, 31449.75, 31455.72, 31473.79, 31505.26, 31507.92, 31583.76, 31584.99, 31604.33, 31634.67, 31644.42, 31649.78, 31651.8, 31698.31, 31713.37, 31728.33, 31760.64, 31766.29, 31776.51, 31833.22, 31850.95, 31884.93, 31902.08, 31946.41, 31955.21, 31975.08, 31987.94, 31993.18, 31997.47, 32000.25, 32004.13, 32035.31, 32046.39, 32062.9, 32073.87, 32075.1, 32077.36, 32088.47, 32127.78, 32129.91, 32144.79, 32148.68, 32178.51, 32219.79, 32250.9, 32296.65, 32305.0, 32315.71, 32337.69, 32355.35, 32370.73, 32394.8, 32424.16, 32440.85, 32447.69, 32468.06, 32472.96, 32487.74, 32504.66, 32507.09, 32515.08, 32537.06, 32540.63, 32555.76, 32557.57, 32560.05, 32563.07, 32580.88, 32630.71, 32654.38, 32654.9, 32654.92, 32660.5, 32681.95, 32712.06, 32713.57, 32769.51, 32779.55, 32811.91, 32819.01, 32820.7, 32851.01, 32872.27, 32899.04, 32900.8, 32962.95, 33020.71, 33033.03, 33060.42, 33063.15, 33071.76, 33073.54, 33078.94, 33086.57, 33146.78, 33207.0, 33210.05, 33217.9, 33222.6, 33235.46, 33248.56, 33255.67, 33280.08, 33297.32, 33314.13, 33334.3, 33368.47, 33382.44, 33383.04, 33386.12, 33391.23, 33398.85, 33453.77, 33453.86, 33466.72, 33472.48, 33528.9, 33547.39, 33567.46, 33569.89, 33635.7, 33647.46, 33675.65, 33680.18, 33680.66, 33695.59, 33699.82, 33724.74, 33743.31, 33755.85, 33774.35, 33777.77, 33791.45, 33812.4, 33813.67, 33871.08, 33903.7, 33921.95, 33937.5, 33954.29, 33957.64, 33965.68, 33968.59, 33969.77, 33977.91, 33979.1, 33999.2, 34005.92, 34050.06, 34063.51, 34067.76, 34084.74, 34091.46, 34095.41, 34108.71, 34116.99, 34121.01, 34146.66, 34196.47, 34214.39, 34219.14, 34237.26, 34237.77, 34244.64, 34267.59, 34287.32, 34296.38, 34307.2, 34346.97, 34363.63, 34367.51, 34374.08, 34380.52, 34380.88, 34383.9, 34392.79, 34400.5, 34417.26, 34418.12, 34426.38, 34455.88, 34458.95, 34459.58, 34481.42, 34490.1, 34512.89, 34519.06, 34560.98, 34595.37, 34631.28, 34641.27, 34653.14, 34657.13, 34665.12, 34692.32, 34703.39, 34731.69, 34740.99, 34748.65, 34751.95, 34755.53, 34756.53, 34764.84, 34772.84, 34793.61, 34798.28, 34805.54, 34825.19, 34860.51, 34877.81, 34883.06, 34924.55, 34966.12, 34971.27, 34983.99, 34988.35, 34992.56, 34997.67, 34998.4, 35027.94, 35037.39, 35053.03, 35062.0, 35065.95, 35104.07, 35171.25, 35173.2, 35174.83, 35175.05, 35184.91, 35242.19, 35246.69, 35259.57, 35267.91, 35271.87, 35287.83, 35307.24, 35313.43, 35313.5, 35332.98, 35336.23, 35360.28, 35366.08, 35381.65, 35382.83, 35397.44, 35398.91, 35409.55, 35428.95, 35431.85, 35432.1, 35435.88, 35439.71, 35460.89, 35472.85, 35478.76, 35484.7, 35508.02, 35533.41, 35547.07, 35559.35, 35576.07, 35576.48, 35588.12, 35601.8, 35617.43, 35673.87, 35702.22, 35703.96, 35705.63, 35714.86, 35729.12, 35733.7, 35740.85, 35744.64, 35784.21, 35787.52, 35810.13, 35812.61, 35823.6, 35848.43, 35922.98, 35936.12, 35945.42, 35948.3, 35950.93, 35953.11, 35956.64, 35970.86, 35975.09, 35975.79, 35982.1, 36007.75, 36013.68, 36021.03, 36022.95, 36052.94, 36060.5, 36068.07, 36145.13, 36174.11, 36182.48, 36254.41, 36261.76, 36298.3, 36310.64, 36321.05, 36355.63, 36379.84, 36392.85, 36406.34, 36412.76, 36433.91, 36436.05, 36451.57, 36495.05, 36508.72, 36516.02, 36537.97, 36543.3, 36558.5, 36559.18, 36582.37, 36593.86, 36599.31, 36622.51, 36623.42, 36662.96, 36666.01, 36680.13, 36740.54, 36747.8, 36754.04, 36762.75, 36780.51, 36802.01, 36834.94, 36857.86, 36888.43, 36895.41, 36900.95, 36947.61, 36959.95, 36960.01, 36962.67, 36999.16, 37019.1, 37035.81, 37107.59, 37112.24, 37119.11, 37137.35, 37148.48, 37160.78, 37168.45, 37201.4, 37203.76, 37232.76, 37234.77, 37237.91, 37245.72, 37247.97, 37267.73, 37280.34, 37308.86, 37332.93, 37350.29, 37351.57, 37358.12, 37375.86, 37376.88, 37396.61, 37403.59, 37417.12, 37421.86, 37425.21, 37428.81, 37430.62, 37452.5, 37452.76, 37458.12, 37461.88, 37462.08, 37488.23, 37535.38, 37557.56, 37576.31, 37590.41, 37597.64, 37612.79, 37620.0, 37659.05, 37672.14, 37678.32, 37708.97, 37730.07, 37743.1, 37749.9, 37763.87, 37785.63, 37801.57, 37841.22, 37871.57, 37894.27, 37918.06, 37928.0, 37948.5, 37969.74, 37970.77, 37972.74, 37975.31, 37986.26, 37987.23, 37988.38, 37993.9, 38014.77, 38065.09, 38071.8, 38074.99, 38081.3, 38091.14, 38091.76, 38096.23, 38103.86, 38136.57, 38174.64, 38178.79, 38183.14, 38211.45, 38213.27, 38218.9, 38227.75, 38248.79, 38260.62, 38273.66, 38358.78, 38365.8, 38377.22, 38378.33, 38411.71, 38414.52, 38416.95, 38433.43, 38434.36, 38472.85, 38485.62, 38486.18, 38527.12, 38527.44, 38528.05, 38531.12, 38563.17, 38563.95, 38565.3, 38570.13, 38582.67, 38602.5, 38603.22, 38625.55, 38633.36, 38643.3, 38650.7, 38675.82, 38695.04, 38712.4, 38723.79, 38740.34, 38754.33, 38755.2, 38764.83, 38769.52, 38786.18, 38796.16, 38809.25, 38816.83, 38821.83, 38831.55, 38839.79, 38869.49, 38888.9, 38892.4, 38915.8, 38920.2, 38925.11, 38939.08, 38949.9, 38951.42, 38953.36, 38958.21, 38959.97, 38966.89, 38971.96, 39007.32, 39013.26, 39018.12, 39062.2, 39075.99, 39076.01, 39111.65, 39114.28, 39150.49, 39155.18, 39192.47, 39198.72, 39201.62, 39205.73, 39208.54, 39212.58, 39222.26, 39236.49, 39264.53, 39285.78, 39297.7, 39314.36, 39328.2, 39362.91, 39418.99, 39424.69, 39426.2, 39428.6, 39480.6, 39503.13, 39505.83, 39505.86, 39543.2, 39547.58, 39556.0, 39560.43, 39561.95, 39564.44, 39583.71, 39652.46, 39666.97, 39680.45, 39686.0, 39687.03, 39724.24, 39751.34, 39756.41, 39761.69, 39764.2, 39800.99, 39802.05, 39808.35, 39816.7, 39818.37, 39824.08, 39826.33, 39860.01, 39929.66, 39931.21, 39963.01, 39967.33, 39984.58, 40011.67, 40038.12, 40074.68, 40115.93, 40138.12, 40142.04, 40153.83, 40157.5, 40178.75, 40181.17, 40197.93, 40199.42, 40211.09, 40215.78, 40248.24, 40288.56, 40332.61, 40341.42, 40349.11, 40350.47, 40351.91, 40352.34, 40355.94, 40360.66, 40365.57, 40384.94, 40397.15, 40416.42, 40432.01, 40445.79, 40449.39, 40452.49, 40479.06, 40500.97, 40507.77, 40511.04, 40546.63, 40556.51, 40568.71, 40583.58, 40595.71, 40612.75, 40617.71, 40640.69, 40650.26, 40668.97, 40673.46, 40682.41, 40699.34, 40709.97, 40713.02, 40716.18, 40718.03, 40722.87, 40723.56, 40736.63, 40749.78, 40758.03, 40763.03, 40774.24, 40780.05, 40788.07, 40808.77, 40842.74, 40843.88, 40844.14, 40858.22, 40864.85, 40871.8, 40873.08, 40914.07, 40930.13, 40937.21, 40956.42, 40980.23, 41036.53, 41055.13, 41072.53, 41100.46, 41114.08, 41134.72, 41158.05, 41165.52, 41184.48, 41210.74, 41210.95, 41213.13, 41244.35, 41250.23, 41311.1, 41312.33, 41312.49, 41334.59, 41360.04, 41377.22, 41393.1, 41411.83, 41412.28, 41450.46, 41514.5, 41544.06, 41544.62, 41553.47, 41558.86, 41563.23, 41585.97, 41611.33, 41632.81, 41691.67, 41702.08, 41737.12, 41754.94, 41767.77, 41788.27, 41804.24, 41813.35, 41850.31, 41862.81, 41865.71, 41868.58, 41871.27, 41872.5, 41888.38, 41891.85, 41896.11, 41905.48, 41917.07, 41920.32, 41925.6, 41927.17, 41934.43, 41955.17, 41968.25, 41969.99, 41987.55, 41990.14, 41997.9, 42010.05, 42013.23, 42013.24, 42041.37, 42041.99, 42048.8, 42053.67, 42086.09, 42092.17, 42101.1, 42106.57, 42149.9, 42151.84, 42160.43, 42172.91, 42199.67, 42225.1, 42228.05, 42231.32, 42253.71, 42258.14, 42261.75, 42273.85, 42278.02, 42279.48, 42293.74, 42304.74, 42308.05, 42353.39, 42363.92, 42386.62, 42411.49, 42418.41, 42444.85, 42449.19, 42489.32, 42492.82, 42509.12, 42558.31, 42569.04, 42575.22, 42584.86, 42602.2, 42642.21, 42656.66, 42663.53, 42675.33, 42675.63, 42683.95, 42708.61, 42709.8, 42715.59, 42759.36, 42774.35, 42776.98, 42809.08, 42846.36, 42862.28, 42863.35, 42881.48, 42881.84, 42884.43, 42885.86, 42965.48, 42969.82, 42971.72, 42972.26, 42974.34, 42978.39, 43004.23, 43027.9, 43048.14, 43054.27, 43069.34, 43079.67, 43089.45, 43115.47, 43117.02, 43166.58, 43180.51, 43223.15, 43234.16, 43244.95, 43270.93, 43275.59, 43291.39, 43291.71, 43340.72, 43343.99, 43345.48, 43355.88, 43358.58, 43365.23, 43380.95, 43393.89, 43444.5, 43447.8, 43476.89, 43486.29, 43493.24, 43501.26, 43505.14, 43514.44, 43528.32, 43541.02, 43549.09, 43553.15, 43556.58, 43558.84, 43560.84, 43565.01, 43570.66, 43581.79, 43587.33, 43607.26, 43625.84, 43651.83, 43657.62, 43666.1, 43716.69, 43736.13, 43737.36, 43768.42, 43773.97, 43781.52, 43784.36, 43786.38, 43820.55, 43825.6, 43826.83, 43863.0, 43874.49, 43881.52, 43905.39, 43907.39, 43907.6, 43933.34, 43941.86, 43970.71, 44015.29, 44030.02, 44048.63, 44091.77, 44099.99, 44127.05, 44129.96, 44130.49, 44176.82, 44179.36, 44200.89, 44216.83, 44232.62, 44234.97, 44235.83, 44268.22, 44276.08, 44290.69, 44327.89, 44330.59, 44336.74, 44343.57, 44407.61, 44428.26, 44462.45, 44491.5, 44507.59, 44509.06, 44523.95, 44540.23, 44570.47, 44572.69, 44599.1, 44622.64, 44637.09, 44640.05, 44703.9, 44718.02, 44720.31, 44723.88, 44750.29, 44758.56, 44760.21, 44780.48, 44806.23, 44822.48, 44868.04, 44879.72, 44883.39, 44906.09, 44939.32, 44946.74, 44948.94, 44965.03, 44967.98, 44969.63, 44976.83, 44995.16, 45034.19, 45036.63, 45047.88, 45048.95, 45049.38, 45049.53, 45061.84, 45083.67, 45099.13, 45099.27, 45124.07, 45129.0, 45160.0, 45174.69, 45177.1, 45193.64, 45202.98, 45205.72, 45211.43, 45221.66, 45254.46, 45274.24, 45284.06, 45305.8, 45328.04, 45360.52, 45371.2, 45400.62, 45404.07, 45445.47, 45448.61, 45449.89, 45475.63, 45500.93, 45521.11, 45555.74, 45556.64, 45585.25, 45590.42, 45676.56, 45717.57, 45733.67, 45741.49, 45743.23, 45763.54, 45833.71, 45874.64, 45885.22, 45902.75, 45906.8, 45909.89, 45910.89, 45925.38, 45933.77, 45938.14, 45950.08, 45956.45, 45959.12, 45977.07, 46018.55, 46036.18, 46044.65, 46068.6, 46097.89, 46111.1, 46134.48, 46149.21, 46162.66, 46176.64, 46201.41, 46215.59, 46218.7, 46219.95, 46258.88, 46306.64, 46314.64, 46321.6, 46354.99, 46359.3, 46360.76, 46364.45, 46387.76, 46405.52, 46424.48, 46425.7, 46428.8, 46436.76, 46452.47, 46480.18, 46524.6, 46525.19, 46540.44, 46556.82, 46562.07, 46565.66, 46621.59, 46643.49, 46648.37, 46649.91, 46650.45, 46655.1, 46677.86, 46683.37, 46722.54, 46757.4, 46763.66, 46776.08, 46779.39, 46788.99, 46799.03, 46826.37, 46834.71, 46836.93, 46849.6, 46863.66, 46883.39, 46930.11, 46936.51, 46943.33, 46949.49, 46959.88, 46968.13, 46972.38, 46986.27, 46995.75, 47004.96, 47027.67, 47030.82, 47053.09, 47084.17, 47092.22, 47100.97, 47102.82, 47115.86, 47120.53, 47131.45, 47133.41, 47134.21, 47135.59, 47136.17, 47139.77, 47142.85, 47167.02, 47178.88, 47195.65, 47200.4, 47214.77, 47219.16, 47228.57, 47242.79, 47249.97, 47251.71, 47253.39, 47284.55, 47293.39, 47314.2, 47317.93, 47328.71, 47336.07, 47338.04, 47354.42, 47357.76, 47366.89, 47407.34, 47425.19, 47497.56, 47500.69, 47501.54, 47512.09, 47516.47, 47544.82, 47549.02, 47606.46, 47610.45, 47632.29, 47643.27, 47709.66, 47732.07, 47752.66, 47760.2, 47798.42, 47801.51, 47804.84, 47810.5, 47829.46, 47836.4, 47838.66, 47859.13, 47866.23, 47880.2, 47891.03, 47892.23, 47895.09, 47901.0, 47903.35, 47907.5, 47912.61, 47935.71, 47979.03, 47992.39, 48001.8, 48011.87, 48053.3, 48073.53, 48100.88, 48107.73, 48120.88, 48127.82, 48148.61, 48166.02, 48187.81, 48203.63, 48216.73, 48219.37, 48234.85, 48239.7, 48241.6, 48244.01, 48257.05, 48258.9, 48271.35, 48302.5, 48310.49, 48311.58, 48340.32, 48349.98, 48370.34, 48375.33, 48379.81, 48400.15, 48402.16, 48408.18, 48410.44, 48421.5, 48422.73, 48425.68, 48463.17, 48472.29, 48480.5, 48483.78, 48485.28, 48487.84, 48498.3, 48508.55, 48556.94, 48559.05, 48575.04, 48579.83, 48596.82, 48605.19, 48621.37, 48632.77, 48667.87, 48673.0, 48690.2, 48710.46, 48716.82, 48749.07, 48751.97, 48761.81, 48771.53, 48786.28, 48796.07, 48808.27, 48812.77, 48817.23, 48821.35, 48822.04, 48867.19, 48931.83, 48942.54, 48992.51, 48996.56, 49070.39, 49071.2, 49118.74, 49119.87, 49120.98, 49140.96, 49182.64, 49190.15, 49202.16, 49205.37, 49241.76, 49286.61, 49309.23, 49317.73, 49323.33, 49323.92, 49345.66, 49355.06, 49386.84, 49422.36, 49426.36, 49430.12, 49511.65, 49550.02, 49558.6, 49558.73, 49568.72, 49585.03, 49596.79, 49616.69, 49662.87, 49665.16, 49679.81, 49700.55, 49711.11, 49711.23, 49714.97, 49728.74, 49740.15, 49743.23, 49744.25, 49747.28, 49764.18, 49781.36, 49796.64, 49802.76, 49804.02, 49806.79, 49815.24, 49820.96, 49831.27, 49833.81, 49851.1, 49862.04, 49890.11, 49911.52, 49916.16, 49923.47, 49935.19, 49946.19, 49952.15, 49964.01, 49966.38, 49967.53, 49984.88, 50016.18, 50042.3, 50074.03, 50101.22, 50129.38, 50129.52, 50136.43, 50159.13, 50159.25, 50173.92, 50174.82, 50201.31, 50258.67, 50260.49, 50265.9, 50266.15, 50273.15, 50292.55, 50292.72, 50315.43, 50333.63, 50343.01, 50365.39, 50376.7, 50399.19, 50402.0, 50407.74, 50409.02, 50416.53, 50454.7, 50465.5, 50477.1, 50484.65, 50489.63, 50490.73, 50500.26, 50511.02, 50558.13, 50559.64, 50602.73, 50608.75, 50641.02, 50641.88, 50705.42, 50706.71, 50714.45, 50744.09, 50747.4, 50774.41, 50783.42, 50861.05, 50882.45, 50892.46, 50904.62, 50910.72, 50918.89, 50923.22, 50923.87, 50936.4, 50943.88, 50980.52, 50990.89, 50994.22, 50998.16, 51002.0, 51020.56, 51031.68, 51108.73, 51120.31, 51154.83, 51194.99, 51227.37, 51241.17, 51245.83, 51256.13, 51280.77, 51281.24, 51288.71, 51316.7, 51324.02, 51325.18, 51350.54, 51370.18, 51373.27, 51377.18, 51417.53, 51428.58, 51488.22, 51513.49, 51540.66, 51574.02, 51583.01, 51583.55, 51620.43, 51639.57, 51655.33, 51659.4, 51690.01, 51727.1, 51734.52, 51737.14, 51744.66, 51762.06, 51778.52, 51782.21, 51823.22, 51829.7, 51832.89, 51838.28, 51838.43, 51845.58, 51850.32, 51858.78, 51870.1, 51882.79, 51883.65, 51891.6, 51896.29, 51902.1, 51911.23, 51919.57, 51958.06, 51958.13, 51972.91, 51973.42, 51977.16, 51984.63, 51989.88, 52001.68, 52018.03, 52041.88, 52071.82, 52074.71, 52114.51, 52146.84, 52164.46, 52183.23, 52192.22, 52204.01, 52207.67, 52212.23, 52246.61, 52256.14, 52290.43, 52295.69, 52346.19, 52346.74, 52347.93, 52351.13, 52356.43, 52377.36, 52388.24, 52422.61, 52424.21, 52424.34, 52442.46, 52481.25, 52484.49, 52493.61, 52502.52, 52506.32, 52514.07, 52526.18, 52544.98, 52545.93, 52554.18, 52596.54, 52633.41, 52637.99, 52660.42, 52663.04, 52677.69, 52695.2, 52700.68, 52714.53, 52722.12, 52725.92, 52726.09, 52762.27, 52785.16, 52788.09, 52811.33, 52817.77, 52839.67, 52844.58, 52847.18, 52848.88, 52848.88, 52856.2, 52859.3, 52869.04, 52879.88, 52881.96, 52916.49, 52922.97, 52954.39, 52962.35, 52978.14, 52981.64, 52988.7, 53005.66, 53012.58, 53014.01, 53028.53, 53035.73, 53088.99, 53091.67, 53110.04, 53120.25, 53122.05, 53124.42, 53143.25, 53171.12, 53182.67, 53214.69, 53223.64, 53256.19, 53275.37, 53279.48, 53300.74, 53301.27, 53302.27, 53315.53, 53321.39, 53323.94, 53342.41, 53349.42, 53351.77, 53360.54, 53375.12, 53375.54, 53396.53, 53404.53, 53412.38, 53421.02, 53424.93, 53455.05, 53455.56, 53460.89, 53488.95, 53489.54, 53551.72, 53586.71, 53595.48, 53599.53, 53603.43, 53616.36, 53627.99, 53652.7, 53662.38, 53699.19, 53704.15, 53708.08, 53710.93, 53771.73, 53773.91, 53802.99, 53810.98, 53811.07, 53821.73, 53822.77, 53822.83, 53824.92, 53826.13, 53837.65, 53851.8, 53881.21, 53882.45, 53899.47, 53900.31, 53910.45, 53914.65, 53933.79, 53944.91, 53951.66, 53953.55, 53972.83, 53976.26, 53984.85, 53987.56, 53991.39, 54001.94, 54002.32, 54043.25, 54049.43, 54054.63, 54058.61, 54060.25, 54066.82, 54108.47, 54113.03, 54121.96, 54130.6, 54168.06, 54180.52, 54196.32, 54196.75, 54210.99, 54215.91, 54216.08, 54216.62, 54228.57, 54239.5, 54245.42, 54249.92, 54254.67, 54262.95, 54286.2, 54299.05, 54301.18, 54315.54, 54319.65, 54334.34, 54345.62, 54366.5, 54375.11, 54386.83, 54435.73, 54445.1, 54446.1, 54480.4, 54490.41, 54502.89, 54502.91, 54512.37, 54512.62, 54513.72, 54525.0, 54539.58, 54548.29, 54562.78, 54576.09, 54582.14, 54618.09, 54629.01, 54644.05, 54661.15, 54661.75, 54683.26, 54686.12, 54722.71, 54745.6, 54751.8, 54754.32, 54786.19, 54795.81, 54803.83, 54805.99, 54814.78, 54827.41, 54833.04, 54840.66, 54844.68, 54871.6, 54876.46, 54893.55, 54912.53, 54931.63, 54972.2, 54975.64, 54985.67, 54994.35, 55046.26, 55052.01, 55083.22, 55084.87, 55108.74, 55143.9, 55163.62, 55166.34, 55173.63, 55178.43, 55180.98, 55190.19, 55199.34, 55223.12, 55223.74, 55225.48, 55233.41, 55234.61, 55234.77, 55237.66, 55244.42, 55256.05, 55265.49, 55266.32, 55267.72, 55273.05, 55287.72, 55291.6, 55298.48, 55299.81, 55319.0, 55327.45, 55329.41, 55331.67, 55351.0, 55368.32, 55370.67, 55380.9, 55381.15, 55387.87, 55408.66, 55426.31, 55428.24, 55431.48, 55435.16, 55445.36, 55449.71, 55453.46, 55471.9, 55474.94, 55479.2, 55481.22, 55484.05, 55504.9, 55513.1, 55516.69, 55528.74, 55534.53, 55544.75, 55545.84, 55547.69, 55557.91, 55573.08, 55587.43, 55591.13, 55602.4, 55610.17, 55613.54, 55619.11, 55633.73, 55640.7, 55643.08, 55647.53, 55647.79, 55653.47, 55655.18, 55665.41, 55672.96, 55697.42, 55735.69, 55742.5, 55745.02, 55749.51, 55753.44, 55769.56, 55777.09, 55785.31, 55788.08, 55791.76, 55808.63, 55815.34, 55825.2, 55826.26, 55829.2, 55846.6, 55849.19, 55851.69, 55866.22, 55879.37, 55885.99, 55886.59, 55917.77, 55922.04, 55922.48, 55923.46, 55928.73, 55931.76, 55949.07, 55953.47, 55962.05, 55990.96, 55991.78, 55994.48, 56019.25, 56026.45, 56044.52, 56049.81, 56075.56, 56092.41, 56097.89, 56098.04, 56099.07, 56112.57, 56118.46, 56127.98, 56152.72, 56156.05, 56170.21, 56190.68, 56206.83, 56207.45, 56215.46, 56237.0, 56247.52, 56255.0, 56255.95, 56273.95, 56281.09, 56287.42, 56289.36, 56298.77, 56311.7, 56321.76, 56345.68, 56348.97, 56386.95, 56396.98, 56406.0, 56434.88, 56465.08, 56471.65, 56478.77, 56516.15, 56518.31, 56523.13, 56536.1, 56555.91, 56569.67, 56576.85, 56600.95, 56656.54, 56672.71, 56683.66, 56685.96, 56728.29, 56742.91, 56743.48, 56765.97, 56779.75, 56789.07, 56797.29, 56807.59, 56827.46, 56833.52, 56855.87, 56897.87, 56903.41, 56912.57, 56914.61, 56928.64, 56930.86, 56935.8, 56943.75, 56947.03, 56951.67, 56979.81, 56995.49, 57016.79, 57027.7, 57043.1, 57068.7, 57069.36, 57071.49, 57094.63, 57097.2, 57100.63, 57127.23, 57139.21, 57142.85, 57144.69, 57160.98, 57164.45, 57167.14, 57200.03, 57215.31, 57242.23, 57243.29, 57247.03, 57263.94, 57273.13, 57274.96, 57278.63, 57293.17, 57304.52, 57312.8, 57317.9, 57322.83, 57336.95, 57346.93, 57360.29, 57363.42, 57370.05, 57379.3, 57383.08, 57399.47, 57403.98, 57412.32, 57418.08, 57466.04, 57482.25, 57490.03, 57496.28, 57502.69, 57504.13, 57509.49, 57520.85, 57538.41, 57544.13, 57546.09, 57552.53, 57554.71, 57631.08, 57638.05, 57642.38, 57651.45, 57672.79, 57728.27, 57730.88, 57731.56, 57753.98, 57770.7, 57783.7, 57823.93, 57828.88, 57830.25, 57846.83, 57847.67, 57864.51, 57868.22, 57873.47, 57887.31, 57894.54, 57900.25, 57910.64, 57910.7, 57913.11, 57917.83, 57939.19, 57952.18, 57956.67, 57957.7, 57962.78, 57974.31, 57977.0, 57999.11, 58021.89, 58031.76, 58050.19, 58062.75, 58070.81, 58076.83, 58081.85, 58085.12, 58140.57, 58143.85, 58154.52, 58164.25, 58172.3, 58189.36, 58208.76, 58224.48, 58227.54, 58232.07, 58233.21, 58255.79, 58258.42, 58259.16, 58346.07, 58353.56, 58358.96, 58370.8, 58385.83, 58390.2, 58391.0, 58391.42, 58408.9, 58408.92, 58411.48, 58423.0, 58427.52, 58465.77, 58466.73, 58473.27, 58475.78, 58476.31, 58479.21, 58489.16, 58525.17, 58527.0, 58534.4, 58545.69, 58577.08, 58595.38, 58599.93, 58606.36, 58621.9, 58630.58, 58644.5, 58644.78, 58657.2, 58694.09, 58697.29, 58720.74, 58737.9, 58768.45, 58770.1, 58777.22, 58800.54, 58803.28, 58815.88, 58817.61, 58836.17, 58837.47, 58838.72, 58839.64, 58865.03, 58874.21, 58885.48, 58919.28, 58923.19, 58923.66, 58925.1, 58930.64, 58930.88, 58938.17, 58938.28, 58940.62, 58948.69, 58953.73, 58962.64, 58971.99, 58991.0, 59033.39, 59034.95, 59039.98, 59046.82, 59049.97, 59054.07, 59062.93, 59068.13, 59070.69, 59073.04, 59073.16, 59092.45, 59099.86, 59121.2, 59180.22, 59186.54, 59204.28, 59221.29, 59235.08, 59263.81, 59264.99, 59266.19, 59272.86, 59317.29, 59334.26, 59341.27, 59346.88, 59347.44, 59349.69, 59363.95, 59370.96, 59379.22, 59391.2, 59397.44, 59411.69, 59413.0, 59416.29, 59427.8, 59451.67, 59451.84, 59453.91, 59454.87, 59480.34, 59493.83, 59516.51, 59547.71, 59550.79, 59558.96, 59585.27, 59598.98, 59624.61, 59626.16, 59646.18, 59653.88, 59655.82, 59666.58, 59679.15, 59681.54, 59683.01, 59690.36, 59704.44, 59706.44, 59711.12, 59730.28, 59730.85, 59730.85, 59733.82, 59745.68, 59748.34, 59793.56, 59812.42, 59812.81, 59825.83, 59830.51, 59884.17, 59890.41, 59953.53, 59972.98, 59979.79, 60070.91, 60566.05, 60750.42, 60997.39, 61109.97, 62553.22, 62799.65, 63050.57, 65356.59, 65758.4, 66251.2, 66902.74, 67060.28, 67160.18, 67218.98, 68637.48, 68710.75, 69254.54, 69350.63, 69363.5, 69514.05, 69770.59, 70527.64, 70538.08, 70925.54, 71260.26, 71474.84, 71848.95, 72091.64, 72452.63, 72712.78, 73716.76, 73726.92, 74907.1, 75160.46, 75631.13, 75760.84, 77893.05, 78290.12, 80990.39, 81889.31, 82277.92, 82526.59, 82783.43, 83787.58, 83833.29, 84161.2, 84440.63, 84793.61, 85123.32, 86587.69, 86631.9, 88614.0, 89282.56, 89302.39, 90942.64, 90980.08, 92171.04, 92181.7, 93329.47, 93911.9, 95072.89, 96104.26, 96423.81, 96581.46, 98483.38, 99112.08, 99732.37, 100004.58, 101919.86, 103671.08, 106061.68, 107281.51, 107684.69, 109751.47, 110478.22, 111175.72, 114588.04, 114740.12, 116170.28, 116945.79, 117093.04, 117252.41, 118343.51, 118727.24, 120530.2, 123573.24, 123890.85, 126365.47, 131304.73, 133882.25, 143619.42, 143729.51, 144265.1, 147006.95, 147341.38, 147455.56, 153290.85, 154091.8, 156582.14, 163954.88, 171367.99, 194085.32, 197852.54, 206042.49, 211364.39, 1079.72, 1314.97, 1626.62, 1633.74, 2192.75, 2783.24, 3035.85, 3806.55, 3968.66, 4376.01, 4451.45, 4474.34, 4582.76, 4868.67, 4885.41, 5100.72, 5338.34, 5517.6, 5692.85, 6364.07, 6387.55, 6718.84, 6958.1, 7604.52, 7742.34, 7744.85, 7865.85, 7942.52, 8014.49, 8241.14, 8250.06, 8482.08, 8506.56, 8893.48, 8969.87, 9173.32, 9372.19, 9374.25, 9694.14, 9753.05, 9820.84, 9900.24, 10150.22, 10231.6, 10393.46, 10400.61, 10487.97, 10636.43, 10663.0, 10698.91, 10782.33, 10954.98, 11045.18, 11053.99, 11263.48, 11279.56, 11312.39, 11337.83, 11415.21, 11511.16, 11748.95, 11914.54, 11981.84, 12090.66, 12151.02, 12307.51, 12389.73, 12518.17, 12676.56, 12721.31, 12727.49, 12953.84, 12960.5, 13022.73, 13146.17, 13188.19, 13193.46, 13460.71, 13684.53, 13881.23, 13972.93, 14178.95, 14195.89, 14199.77, 14527.35, 14588.42, 14615.12, 14742.73, 14813.56, 14989.19, 14996.38, 15052.26, 15084.29, 15201.76, 15217.79, 15335.53, 15368.24, 15390.85, 15708.55, 15909.01, 16008.83, 16040.73, 16056.09, 16143.51, 16199.71, 16217.87, 16331.6, 16472.25, 16646.8, 16749.75, 16798.81, 16813.01, 16826.17, 16921.45, 16938.26, 16981.17, 17081.1, 17164.48, 17176.05, 17256.47, 17279.49, 17494.4, 17516.55, 17524.08, 17562.39, 17565.26, 17601.39, 17615.18, 17652.6, 17702.32, 17707.66, 17719.88, 17770.59, 17774.56, 17801.29, 17816.24, 17829.4, 17892.08, 17930.06, 17945.37, 18067.88, 18098.86, 18146.07, 18155.78, 18171.43, 18325.89, 18468.28, 18482.46, 18489.58, 18515.59, 18548.25, 18604.51, 18616.46, 18616.58, 18634.06, 18672.08, 18756.93, 18790.02, 18798.39, 18798.6, 18807.12, 18815.75, 18917.12, 18996.23, 19005.48, 19293.85, 19325.78, 19447.6, 19533.52, 19537.37, 19547.52, 19642.85, 19648.93, 19651.2, 19667.83, 19751.47, 19758.92, 19779.0, 19845.68, 19869.02, 19954.91, 19963.67, 19982.92, 20001.99, 20011.53, 20030.98, 20069.33, 20147.44, 20196.9, 20203.17, 20204.01, 20299.81, 20354.9, 20357.13, 20402.46, 20525.84, 20536.83, 20553.45, 20554.52, 20574.93, 20584.98, 20605.32, 20615.26, 20634.65, 20647.11, 20651.59, 20673.65, 20717.75, 20736.07, 20740.19, 20879.05, 20908.02, 20923.34, 20978.4, 20997.97, 21006.9, 21024.07, 21089.35, 21224.91, 21393.42, 21479.27, 21491.64, 21549.8, 21576.68, 21584.72, 21592.11, 21669.74, 21701.84, 21727.37, 21762.57, 21799.11, 21837.88, 21914.26, 21963.65, 22017.72, 22051.42, 22082.18, 22154.33, 22180.43, 22330.96, 22355.96, 22485.78, 22494.69, 22524.6, 22553.76, 22590.68, 22624.8, 22670.01, 22684.98, 22861.0, 22914.44, 22949.24, 22957.64, 22958.14, 22962.3, 22981.93, 23005.28, 23009.65, 23014.86, 23105.48, 23172.79, 23185.23, 23186.97, 23305.21, 23306.83, 23311.57, 23312.4, 23319.24, 23416.93, 23450.25, 23613.64, 23681.71, 23690.98, 23714.07, 23742.84, 23805.35, 23852.55, 23872.55, 23906.96, 23960.42, 23967.66, 23978.3, 23979.89, 23988.38, 24066.93, 24129.74, 24149.3, 24212.13, 24216.01, 24278.53, 24301.34, 24302.38, 24328.84, 24386.38, 24399.82, 24445.81, 24456.1, 24467.46, 24503.68, 24508.35, 24508.96, 24547.44, 24557.96, 24565.69, 24574.08, 24615.53, 24621.28, 24632.82, 24676.63, 24677.52, 24707.2, 24746.67, 24755.01, 24771.88, 24777.58, 24796.94, 24801.24, 24810.68, 24819.29, 24831.66, 24851.56, 24868.26, 24871.94, 24882.91, 24902.67, 24923.03, 24926.26, 24927.6, 24931.47, 24952.66, 24977.07, 24977.7, 24978.82, 24985.0, 25018.86, 25022.14, 25097.23, 25108.82, 25112.72, 25182.62, 25200.45, 25205.03, 25224.99, 25248.9, 25268.45, 25289.84, 25301.44, 25307.15, 25334.69, 25355.33, 25366.49, 25388.22, 25398.54, 25404.97, 25414.5, 25433.64, 25487.38, 25564.68, 25610.41, 25623.75, 25659.58, 25664.12, 25679.73, 25704.27, 25705.15, 25708.17, 25763.72, 25773.56, 25777.45, 25821.68, 25838.5, 25908.25, 25917.14, 25960.4, 25978.87, 25989.15, 26026.29, 26032.84, 26034.41, 26045.19, 26045.82, 26056.04, 26067.4, 26118.69, 26120.84, 26134.41, 26136.32, 26143.6, 26202.34, 26212.58, 26255.91, 26260.25, 26282.19, 26309.39, 26331.67, 26338.44, 26359.77, 26360.8, 26433.19, 26451.75, 26477.89, 26489.82, 26494.41, 26503.24, 26528.71, 26529.68, 26606.89, 26609.24, 26632.99, 26663.9, 26670.53, 26681.23, 26688.97, 26700.47, 26722.05, 26741.8, 26745.31, 26745.37, 26754.06, 26754.06, 26785.07, 26794.59, 26815.37, 26858.08, 26884.25, 26901.81, 26952.13, 26953.15, 26966.13, 27028.75, 27036.75, 27043.06, 27067.33, 27100.5, 27104.37, 27154.9, 27163.46, 27186.2, 27213.2, 27216.51, 27268.41, 27284.99, 27341.41, 27349.9, 27387.55, 27401.99, 27458.26, 27478.05, 27486.45, 27513.62, 27549.39, 27562.59, 27580.06, 27588.05, 27623.69, 27630.2, 27645.35, 27684.28, 27690.29, 27694.31, 27727.66, 27768.02, 27782.02, 27783.57, 27784.15, 27832.28, 27866.02, 27893.11, 27895.93, 27899.45, 27902.94, 27930.09, 27938.85, 27967.21, 27997.34, 28006.38, 28023.67, 28085.9, 28095.64, 28128.76, 28130.67, 28172.28, 28189.05, 28254.18, 28275.45, 28315.32, 28319.74, 28334.23, 28340.92, 28348.98, 28364.69, 28385.69, 28395.37, 28410.76, 28428.3, 28431.72, 28433.95, 28468.02, 28476.27, 28490.3, 28511.39, 28517.91, 28523.89, 28566.41, 28568.81, 28588.69, 28629.91, 28685.04, 28738.86, 28772.71, 28774.66, 28777.72, 28778.74, 28824.45, 28831.72, 28839.22, 28853.18, 28862.18, 28863.05, 28868.89, 28941.41, 28941.46, 28954.42, 28975.59, 28999.35, 29001.78, 29016.87, 29091.84, 29096.06, 29097.62, 29113.6, 29123.42, 29162.96, 29176.59, 29193.62, 29197.07, 29230.55, 29242.09, 29252.54, 29265.17, 29268.85, 29301.59, 29303.26, 29312.63, 29325.89, 29355.19, 29423.49, 29446.14, 29448.53, 29464.56, 29484.36, 29513.89, 29514.4, 29520.48, 29533.05, 29548.27, 29575.91, 29605.61, 29608.52, 29612.21, 29620.14, 29622.04, 29625.1, 29645.23, 29674.01, 29682.87, 29709.65, 29715.89, 29727.84, 29729.24, 29762.16, 29806.08, 29820.2, 29823.44, 29865.37, 29893.34, 29905.13, 29974.46, 30010.15, 30026.69, 30044.27, 30053.65, 30102.22, 30133.42, 30155.01, 30168.79, 30182.41, 30209.38, 30229.2, 30241.31, 30273.89, 30280.94, 30300.63, 30302.09, 30344.07, 30362.75, 30364.23, 30378.23, 30393.21, 30422.45, 30443.04, 30445.1, 30455.81, 30462.15, 30470.14, 30514.6, 30537.17, 30540.67, 30610.31, 30621.52, 30623.03, 30633.82, 30654.49, 30655.78, 30669.7, 30681.46, 30685.7, 30687.9, 30689.5, 30703.41, 30713.0, 30723.06, 30727.46, 30767.61, 30803.19, 30834.69, 30872.52, 30887.21, 30892.32, 30917.69, 30964.61, 30984.05, 30984.64, 30988.67, 30999.08, 31010.4, 31012.28, 31025.72, 31034.54, 31037.18, 31055.14, 31080.74, 31124.08, 31128.24, 31147.39, 31151.91, 31163.14, 31241.04, 31276.44, 31295.24, 31319.68, 31328.93, 31415.04, 31439.68, 31449.75, 31455.72, 31473.79, 31505.26, 31507.92, 31583.76, 31584.99, 31604.33, 31634.67, 31644.42, 31649.78, 31651.8, 31698.31, 31713.37, 31728.33, 31760.64, 31766.29, 31776.51, 31833.22, 31850.95, 31884.93, 31902.08, 31946.41, 31955.21, 31975.08, 31987.94, 31993.18, 31997.47, 32000.25, 32004.13, 32035.31, 32046.39, 32062.9, 32073.87, 32075.1, 32077.36, 32088.47, 32127.78, 32129.91, 32144.79, 32148.68, 32178.51, 32219.79, 32250.9, 32296.65, 32305.0, 32315.71, 32337.69, 32355.35, 32370.73, 32394.8, 32424.16, 32440.85, 32447.69, 32468.06, 32472.96, 32487.74, 32504.66, 32507.09, 32515.08, 32537.06, 32540.63, 32555.76, 32557.57, 32560.05, 32563.07, 32580.88, 32630.71, 32654.38, 32654.9, 32654.92, 32660.5, 32681.95, 32712.06, 32713.57, 32769.51, 32779.55, 32811.91, 32819.01, 32820.7, 32851.01, 32872.27, 32899.04, 32900.8, 32962.95, 33020.71, 33033.03, 33060.42, 33063.15, 33071.76, 33073.54, 33078.94, 33086.57, 33146.78, 33207.0, 33210.05, 33217.9, 33222.6, 33235.46, 33248.56, 33255.67, 33280.08, 33297.32, 33314.13, 33334.3, 33368.47, 33382.44, 33383.04, 33386.12, 33391.23, 33398.85, 33453.77, 33453.86, 33466.72, 33472.48, 33528.9, 33547.39, 33567.46, 33569.89, 33635.7, 33647.46, 33675.65, 33680.18, 33680.66, 33695.59, 33699.82, 33724.74, 33743.31, 33755.85, 33774.35, 33777.77, 33791.45, 33812.4, 33813.67, 33871.08, 33903.7, 33921.95, 33937.5, 33954.29, 33957.64, 33965.68, 33968.59, 33969.77, 33977.91, 33979.1, 33999.2, 34005.92, 34050.06, 34063.51, 34067.76, 34084.74, 34091.46, 34095.41, 34108.71, 34116.99, 34121.01, 34146.66, 34196.47, 34214.39, 34219.14, 34237.26, 34237.77, 34244.64, 34267.59, 34287.32, 34296.38, 34307.2, 34346.97, 34363.63, 34367.51, 34374.08, 34380.52, 34380.88, 34383.9, 34392.79, 34400.5, 34417.26, 34418.12, 34426.38, 34455.88, 34458.95, 34459.58, 34481.42, 34490.1, 34512.89, 34519.06, 34560.98, 34595.37, 34631.28, 34641.27, 34653.14, 34657.13, 34665.12, 34692.32, 34703.39, 34731.69, 34740.99, 34748.65, 34751.95, 34755.53, 34756.53, 34764.84, 34772.84, 34793.61, 34798.28, 34805.54, 34825.19, 34860.51, 34877.81, 34883.06, 34924.55, 34966.12, 34971.27, 34983.99, 34988.35, 34992.56, 34997.67, 34998.4, 35027.94, 35037.39, 35053.03, 35062.0, 35065.95, 35104.07, 35171.25, 35173.2, 35174.83, 35175.05, 35184.91, 35242.19, 35246.69, 35259.57, 35267.91, 35271.87, 35287.83, 35307.24, 35313.43, 35313.5, 35332.98, 35336.23, 35360.28, 35366.08, 35381.65, 35382.83, 35397.44, 35398.91, 35409.55, 35428.95, 35431.85, 35432.1, 35435.88, 35439.71, 35460.89, 35472.85, 35478.76, 35484.7, 35508.02, 35533.41, 35547.07, 35559.35, 35576.07, 35576.48, 35588.12, 35601.8, 35617.43, 35673.87, 35702.22, 35703.96, 35705.63, 35714.86, 35729.12, 35733.7, 35740.85, 35744.64, 35784.21, 35787.52, 35810.13, 35812.61, 35823.6, 35848.43, 35922.98, 35936.12, 35945.42, 35948.3, 35950.93, 35953.11, 35956.64, 35970.86, 35975.09, 35975.79, 35982.1, 36007.75, 36013.68, 36021.03, 36022.95, 36052.94, 36060.5, 36068.07, 36145.13, 36174.11, 36182.48, 36254.41, 36261.76, 36298.3, 36310.64, 36321.05, 36355.63, 36379.84, 36392.85, 36406.34, 36412.76, 36433.91, 36436.05, 36451.57, 36495.05, 36508.72, 36516.02, 36537.97, 36543.3, 36558.5, 36559.18, 36582.37, 36593.86, 36599.31, 36622.51, 36623.42, 36662.96, 36666.01, 36680.13, 36740.54, 36747.8, 36754.04, 36762.75, 36780.51, 36802.01, 36834.94, 36857.86, 36888.43, 36895.41, 36900.95, 36947.61, 36959.95, 36960.01, 36962.67, 36999.16, 37019.1, 37035.81, 37107.59, 37112.24, 37119.11, 37137.35, 37148.48, 37160.78, 37168.45, 37201.4, 37203.76, 37232.76, 37234.77, 37237.91, 37245.72, 37247.97, 37267.73, 37280.34, 37308.86, 37332.93, 37350.29, 37351.57, 37358.12, 37375.86, 37376.88, 37396.61, 37403.59, 37417.12, 37421.86, 37425.21, 37428.81, 37430.62, 37452.5, 37452.76, 37458.12, 37461.88, 37462.08, 37488.23, 37535.38, 37557.56, 37576.31, 37590.41, 37597.64, 37612.79, 37620.0, 37659.05, 37672.14, 37678.32, 37708.97, 37730.07, 37743.1, 37749.9, 37763.87, 37785.63, 37801.57, 37841.22, 37871.57, 37894.27, 37918.06, 37928.0, 37948.5, 37969.74, 37970.77, 37972.74, 37975.31, 37986.26, 37987.23, 37988.38, 37993.9, 38014.77, 38065.09, 38071.8, 38074.99, 38081.3, 38091.14, 38091.76, 38096.23, 38103.86, 38136.57, 38174.64, 38178.79, 38183.14, 38211.45, 38213.27, 38218.9, 38227.75, 38248.79, 38260.62, 38273.66, 38358.78, 38365.8, 38377.22, 38378.33, 38411.71, 38414.52, 38416.95, 38433.43, 38434.36, 38472.85, 38485.62, 38486.18, 38527.12, 38527.44, 38528.05, 38531.12, 38563.17, 38563.95, 38565.3, 38570.13, 38582.67, 38602.5, 38603.22, 38625.55, 38633.36, 38643.3, 38650.7, 38675.82, 38695.04, 38712.4, 38723.79, 38740.34, 38754.33, 38755.2, 38764.83, 38769.52, 38786.18, 38796.16, 38809.25, 38816.83, 38821.83, 38831.55, 38839.79, 38869.49, 38888.9, 38892.4, 38915.8, 38920.2, 38925.11, 38939.08, 38949.9, 38951.42, 38953.36, 38958.21, 38959.97, 38966.89, 38971.96, 39007.32, 39013.26, 39018.12, 39062.2, 39075.99, 39076.01, 39111.65, 39114.28, 39150.49, 39155.18, 39192.47, 39198.72, 39201.62, 39205.73, 39208.54, 39212.58, 39222.26, 39236.49, 39264.53, 39285.78, 39297.7, 39314.36, 39328.2, 39362.91, 39418.99, 39424.69, 39426.2, 39428.6, 39480.6, 39503.13, 39505.83, 39505.86, 39543.2, 39547.58, 39556.0, 39560.43, 39561.95, 39564.44, 39583.71, 39652.46, 39666.97, 39680.45, 39686.0, 39687.03, 39724.24, 39751.34, 39756.41, 39761.69, 39764.2, 39800.99, 39802.05, 39808.35, 39816.7, 39818.37, 39824.08, 39826.33, 39860.01, 39929.66, 39931.21, 39963.01, 39967.33, 39984.58, 40011.67, 40038.12, 40074.68, 40115.93, 40138.12, 40142.04, 40153.83, 40157.5, 40178.75, 40181.17, 40197.93, 40199.42, 40211.09, 40215.78, 40248.24, 40288.56, 40332.61, 40341.42, 40349.11, 40350.47, 40351.91, 40352.34, 40355.94, 40360.66, 40365.57, 40384.94, 40397.15, 40416.42, 40432.01, 40445.79, 40449.39, 40452.49, 40479.06, 40500.97, 40507.77, 40511.04, 40546.63, 40556.51, 40568.71, 40583.58, 40595.71, 40612.75, 40617.71, 40640.69, 40650.26, 40668.97, 40673.46, 40682.41, 40699.34, 40709.97, 40713.02, 40716.18, 40718.03, 40722.87, 40723.56, 40736.63, 40749.78, 40758.03, 40763.03, 40774.24, 40780.05, 40788.07, 40808.77, 40842.74, 40843.88, 40844.14, 40858.22, 40864.85, 40871.8, 40873.08, 40914.07, 40930.13, 40937.21, 40956.42, 40980.23, 41036.53, 41055.13, 41072.53, 41100.46, 41114.08, 41134.72, 41158.05, 41165.52, 41184.48, 41210.74, 41210.95, 41213.13, 41244.35, 41250.23, 41311.1, 41312.33, 41312.49, 41334.59, 41360.04, 41377.22, 41393.1, 41411.83, 41412.28, 41450.46, 41514.5, 41544.06, 41544.62, 41553.47, 41558.86, 41563.23, 41585.97, 41611.33, 41632.81, 41691.67, 41702.08, 41737.12, 41754.94, 41767.77, 41788.27, 41804.24, 41813.35, 41850.31, 41862.81, 41865.71, 41868.58, 41871.27, 41872.5, 41888.38, 41891.85, 41896.11, 41905.48, 41917.07, 41920.32, 41925.6, 41927.17, 41934.43, 41955.17, 41968.25, 41969.99, 41987.55, 41990.14, 41997.9, 42010.05, 42013.23, 42013.24, 42041.37, 42041.99, 42048.8, 42053.67, 42086.09, 42092.17, 42101.1, 42106.57, 42149.9, 42151.84, 42160.43, 42172.91, 42199.67, 42225.1, 42228.05, 42231.32, 42253.71, 42258.14, 42261.75, 42273.85, 42278.02, 42279.48, 42293.74, 42304.74, 42308.05, 42353.39, 42363.92, 42386.62, 42411.49, 42418.41, 42444.85, 42449.19, 42489.32, 42492.82, 42509.12, 42558.31, 42569.04, 42575.22, 42584.86, 42602.2, 42642.21, 42656.66, 42663.53, 42675.33, 42675.63, 42683.95, 42708.61, 42709.8, 42715.59, 42759.36, 42774.35, 42776.98, 42809.08, 42846.36, 42862.28, 42863.35, 42881.48, 42881.84, 42884.43, 42885.86, 42965.48, 42969.82, 42971.72, 42972.26, 42974.34, 42978.39, 43004.23, 43027.9, 43048.14, 43054.27, 43069.34, 43079.67, 43089.45, 43115.47, 43117.02, 43166.58, 43180.51, 43223.15, 43234.16, 43244.95, 43270.93, 43275.59, 43291.39, 43291.71, 43340.72, 43343.99, 43345.48, 43355.88, 43358.58, 43365.23, 43380.95, 43393.89, 43444.5, 43447.8, 43476.89, 43486.29, 43493.24, 43501.26, 43505.14, 43514.44, 43528.32, 43541.02, 43549.09, 43553.15, 43556.58, 43558.84, 43560.84, 43565.01, 43570.66, 43581.79, 43587.33, 43607.26, 43625.84, 43651.83, 43657.62, 43666.1, 43716.69, 43736.13, 43737.36, 43768.42, 43773.97, 43781.52, 43784.36, 43786.38, 43820.55, 43825.6, 43826.83, 43863.0, 43874.49, 43881.52, 43905.39, 43907.39, 43907.6, 43933.34, 43941.86, 43970.71, 44015.29, 44030.02, 44048.63, 44091.77, 44099.99, 44127.05, 44129.96, 44130.49, 44176.82, 44179.36, 44200.89, 44216.83, 44232.62, 44234.97, 44235.83, 44268.22, 44276.08, 44290.69, 44327.89, 44330.59, 44336.74, 44343.57, 44407.61, 44428.26, 44462.45, 44491.5, 44507.59, 44509.06, 44523.95, 44540.23, 44570.47, 44572.69, 44599.1, 44622.64, 44637.09, 44640.05, 44703.9, 44718.02, 44720.31, 44723.88, 44750.29, 44758.56, 44760.21, 44780.48, 44806.23, 44822.48, 44868.04, 44879.72, 44883.39, 44906.09, 44939.32, 44946.74, 44948.94, 44965.03, 44967.98, 44969.63, 44976.83, 44995.16, 45034.19, 45036.63, 45047.88, 45048.95, 45049.38, 45049.53, 45061.84, 45083.67, 45099.13, 45099.27, 45124.07, 45129.0, 45160.0, 45174.69, 45177.1, 45193.64, 45202.98, 45205.72, 45211.43, 45221.66, 45254.46, 45274.24, 45284.06, 45305.8, 45328.04, 45360.52, 45371.2, 45400.62, 45404.07, 45445.47, 45448.61, 45449.89, 45475.63, 45500.93, 45521.11, 45555.74, 45556.64, 45585.25, 45590.42, 45676.56, 45717.57, 45733.67, 45741.49, 45743.23, 45763.54, 45833.71, 45874.64, 45885.22, 45902.75, 45906.8, 45909.89, 45910.89, 45925.38, 45933.77, 45938.14, 45950.08, 45956.45, 45959.12, 45977.07, 46018.55, 46036.18, 46044.65, 46068.6, 46097.89, 46111.1, 46134.48, 46149.21, 46162.66, 46176.64, 46201.41, 46215.59, 46218.7, 46219.95, 46258.88, 46306.64, 46314.64, 46321.6, 46354.99, 46359.3, 46360.76, 46364.45, 46387.76, 46405.52, 46424.48, 46425.7, 46428.8, 46436.76, 46452.47, 46480.18, 46524.6, 46525.19, 46540.44, 46556.82, 46562.07, 46565.66, 46621.59, 46643.49, 46648.37, 46649.91, 46650.45, 46655.1, 46677.86, 46683.37, 46722.54, 46757.4, 46763.66, 46776.08, 46779.39, 46788.99, 46799.03, 46826.37, 46834.71, 46836.93, 46849.6, 46863.66, 46883.39, 46930.11, 46936.51, 46943.33, 46949.49, 46959.88, 46968.13, 46972.38, 46986.27, 46995.75, 47004.96, 47027.67, 47030.82, 47053.09, 47084.17, 47092.22, 47100.97, 47102.82, 47115.86, 47120.53, 47131.45, 47133.41, 47134.21, 47135.59, 47136.17, 47139.77, 47142.85, 47167.02, 47178.88, 47195.65, 47200.4, 47214.77, 47219.16, 47228.57, 47242.79, 47249.97, 47251.71, 47253.39, 47284.55, 47293.39, 47314.2, 47317.93, 47328.71, 47336.07, 47338.04, 47354.42, 47357.76, 47366.89, 47407.34, 47425.19, 47497.56, 47500.69, 47501.54, 47512.09, 47516.47, 47544.82, 47549.02, 47606.46, 47610.45, 47632.29, 47643.27, 47709.66, 47732.07, 47752.66, 47760.2, 47798.42, 47801.51, 47804.84, 47810.5, 47829.46, 47836.4, 47838.66, 47859.13, 47866.23, 47880.2, 47891.03, 47892.23, 47895.09, 47901.0, 47903.35, 47907.5, 47912.61, 47935.71, 47979.03, 47992.39, 48001.8, 48011.87, 48053.3, 48073.53, 48100.88, 48107.73, 48120.88, 48127.82, 48148.61, 48166.02, 48187.81, 48203.63, 48216.73, 48219.37, 48234.85, 48239.7, 48241.6, 48244.01, 48257.05, 48258.9, 48271.35, 48302.5, 48310.49, 48311.58, 48340.32, 48349.98, 48370.34, 48375.33, 48379.81, 48400.15, 48402.16, 48408.18, 48410.44, 48421.5, 48422.73, 48425.68, 48463.17, 48472.29, 48480.5, 48483.78, 48485.28, 48487.84, 48498.3, 48508.55, 48556.94, 48559.05, 48575.04, 48579.83, 48596.82, 48605.19, 48621.37, 48632.77, 48667.87, 48673.0, 48690.2, 48710.46, 48716.82, 48749.07, 48751.97, 48761.81, 48771.53, 48786.28, 48796.07, 48808.27, 48812.77, 48817.23, 48821.35, 48822.04, 48867.19, 48931.83, 48942.54, 48992.51, 48996.56, 49070.39, 49071.2, 49118.74, 49119.87, 49120.98, 49140.96, 49182.64, 49190.15, 49202.16, 49205.37, 49241.76, 49286.61, 49309.23, 49317.73, 49323.33, 49323.92, 49345.66, 49355.06, 49386.84, 49422.36, 49426.36, 49430.12, 49511.65, 49550.02, 49558.6, 49558.73, 49568.72, 49585.03, 49596.79, 49616.69, 49662.87, 49665.16, 49679.81, 49700.55, 49711.11, 49711.23, 49714.97, 49728.74, 49740.15, 49743.23, 49744.25, 49747.28, 49764.18, 49781.36, 49796.64, 49802.76, 49804.02, 49806.79, 49815.24, 49820.96, 49831.27, 49833.81, 49851.1, 49862.04, 49890.11, 49911.52, 49916.16, 49923.47, 49935.19, 49946.19, 49952.15, 49964.01, 49966.38, 49967.53, 49984.88, 50016.18, 50042.3, 50074.03, 50101.22, 50129.38, 50129.52, 50136.43, 50159.13, 50159.25, 50173.92, 50174.82, 50201.31, 50258.67, 50260.49, 50265.9, 50266.15, 50273.15, 50292.55, 50292.72, 50315.43, 50333.63, 50343.01, 50365.39, 50376.7, 50399.19, 50402.0, 50407.74, 50409.02, 50416.53, 50454.7, 50465.5, 50477.1, 50484.65, 50489.63, 50490.73, 50500.26, 50511.02, 50558.13, 50559.64, 50602.73, 50608.75, 50641.02, 50641.88, 50705.42, 50706.71, 50714.45, 50744.09, 50747.4, 50774.41, 50783.42, 50861.05, 50882.45, 50892.46, 50904.62, 50910.72, 50918.89, 50923.22, 50923.87, 50936.4, 50943.88, 50980.52, 50990.89, 50994.22, 50998.16, 51002.0, 51020.56, 51031.68, 51108.73, 51120.31, 51154.83, 51194.99, 51227.37, 51241.17, 51245.83, 51256.13, 51280.77, 51281.24, 51288.71, 51316.7, 51324.02, 51325.18, 51350.54, 51370.18, 51373.27, 51377.18, 51417.53, 51428.58, 51488.22, 51513.49, 51540.66, 51574.02, 51583.01, 51583.55, 51620.43, 51639.57, 51655.33, 51659.4, 51690.01, 51727.1, 51734.52, 51737.14, 51744.66, 51762.06, 51778.52, 51782.21, 51823.22, 51829.7, 51832.89, 51838.28, 51838.43, 51845.58, 51850.32, 51858.78, 51870.1, 51882.79, 51883.65, 51891.6, 51896.29, 51902.1, 51911.23, 51919.57, 51958.06, 51958.13, 51972.91, 51973.42, 51977.16, 51984.63, 51989.88, 52001.68, 52018.03, 52041.88, 52071.82, 52074.71, 52114.51, 52146.84, 52164.46, 52183.23, 52192.22, 52204.01, 52207.67, 52212.23, 52246.61, 52256.14, 52290.43, 52295.69, 52346.19, 52346.74, 52347.93, 52351.13, 52356.43, 52377.36, 52388.24, 52422.61, 52424.21, 52424.34, 52442.46, 52481.25, 52484.49, 52493.61, 52502.52, 52506.32, 52514.07, 52526.18, 52544.98, 52545.93, 52554.18, 52596.54, 52633.41, 52637.99, 52660.42, 52663.04, 52677.69, 52695.2, 52700.68, 52714.53, 52722.12, 52725.92, 52726.09, 52762.27, 52785.16, 52788.09, 52811.33, 52817.77, 52839.67, 52844.58, 52847.18, 52848.88, 52848.88, 52856.2, 52859.3, 52869.04, 52879.88, 52881.96, 52916.49, 52922.97, 52954.39, 52962.35, 52978.14, 52981.64, 52988.7, 53005.66, 53012.58, 53014.01, 53028.53, 53035.73, 53088.99, 53091.67, 53110.04, 53120.25, 53122.05, 53124.42, 53143.25, 53171.12, 53182.67, 53214.69, 53223.64, 53256.19, 53275.37, 53279.48, 53300.74, 53301.27, 53302.27, 53315.53, 53321.39, 53323.94, 53342.41, 53349.42, 53351.77, 53360.54, 53375.12, 53375.54, 53396.53, 53404.53, 53412.38, 53421.02, 53424.93, 53455.05, 53455.56, 53460.89, 53488.95, 53489.54, 53551.72, 53586.71, 53595.48, 53599.53, 53603.43, 53616.36, 53627.99, 53652.7, 53662.38, 53699.19, 53704.15, 53708.08, 53710.93, 53771.73, 53773.91, 53802.99, 53810.98, 53811.07, 53821.73, 53822.77, 53822.83, 53824.92, 53826.13, 53837.65, 53851.8, 53881.21, 53882.45, 53899.47, 53900.31, 53910.45, 53914.65, 53933.79, 53944.91, 53951.66, 53953.55, 53972.83, 53976.26, 53984.85, 53987.56, 53991.39, 54001.94, 54002.32, 54043.25, 54049.43, 54054.63, 54058.61, 54060.25, 54066.82, 54108.47, 54113.03, 54121.96, 54130.6, 54168.06, 54180.52, 54196.32, 54196.75, 54210.99, 54215.91, 54216.08, 54216.62, 54228.57, 54239.5, 54245.42, 54249.92, 54254.67, 54262.95, 54286.2, 54299.05, 54301.18, 54315.54, 54319.65, 54334.34, 54345.62, 54366.5, 54375.11, 54386.83, 54435.73, 54445.1, 54446.1, 54480.4, 54490.41, 54502.89, 54502.91, 54512.37, 54512.62, 54513.72, 54525.0, 54539.58, 54548.29, 54562.78, 54576.09, 54582.14, 54618.09, 54629.01, 54644.05, 54661.15, 54661.75, 54683.26, 54686.12, 54722.71, 54745.6, 54751.8, 54754.32, 54786.19, 54795.81, 54803.83, 54805.99, 54814.78, 54827.41, 54833.04, 54840.66, 54844.68, 54871.6, 54876.46, 54893.55, 54912.53, 54931.63, 54972.2, 54975.64, 54985.67, 54994.35, 55046.26, 55052.01, 55083.22, 55084.87, 55108.74, 55143.9, 55163.62, 55166.34, 55173.63, 55178.43, 55180.98, 55190.19, 55199.34, 55223.12, 55223.74, 55225.48, 55233.41, 55234.61, 55234.77, 55237.66, 55244.42, 55256.05, 55265.49, 55266.32, 55267.72, 55273.05, 55287.72, 55291.6, 55298.48, 55299.81, 55319.0, 55327.45, 55329.41, 55331.67, 55351.0, 55368.32, 55370.67, 55380.9, 55381.15, 55387.87, 55408.66, 55426.31, 55428.24, 55431.48, 55435.16, 55445.36, 55449.71, 55453.46, 55471.9, 55474.94, 55479.2, 55481.22, 55484.05, 55504.9, 55513.1, 55516.69, 55528.74, 55534.53, 55544.75, 55545.84, 55547.69, 55557.91, 55573.08, 55587.43, 55591.13, 55602.4, 55610.17, 55613.54, 55619.11, 55633.73, 55640.7, 55643.08, 55647.53, 55647.79, 55653.47, 55655.18, 55665.41, 55672.96, 55697.42, 55735.69, 55742.5, 55745.02, 55749.51, 55753.44, 55769.56, 55777.09, 55785.31, 55788.08, 55791.76, 55808.63, 55815.34, 55825.2, 55826.26, 55829.2, 55846.6, 55849.19, 55851.69, 55866.22, 55879.37, 55885.99, 55886.59, 55917.77, 55922.04, 55922.48, 55923.46, 55928.73, 55931.76, 55949.07, 55953.47, 55962.05, 55990.96, 55991.78, 55994.48, 56019.25, 56026.45, 56044.52, 56049.81, 56075.56, 56092.41, 56097.89, 56098.04, 56099.07, 56112.57, 56118.46, 56127.98, 56152.72, 56156.05, 56170.21, 56190.68, 56206.83, 56207.45, 56215.46, 56237.0, 56247.52, 56255.0, 56255.95, 56273.95, 56281.09, 56287.42, 56289.36, 56298.77, 56311.7, 56321.76, 56345.68, 56348.97, 56386.95, 56396.98, 56406.0, 56434.88, 56465.08, 56471.65, 56478.77, 56516.15, 56518.31, 56523.13, 56536.1, 56555.91, 56569.67, 56576.85, 56600.95, 56656.54, 56672.71, 56683.66, 56685.96, 56728.29, 56742.91, 56743.48, 56765.97, 56779.75, 56789.07, 56797.29, 56807.59, 56827.46, 56833.52, 56855.87, 56897.87, 56903.41, 56912.57, 56914.61, 56928.64, 56930.86, 56935.8, 56943.75, 56947.03, 56951.67, 56979.81, 56995.49, 57016.79, 57027.7, 57043.1, 57068.7, 57069.36, 57071.49, 57094.63, 57097.2, 57100.63, 57127.23, 57139.21, 57142.85, 57144.69, 57160.98, 57164.45, 57167.14, 57200.03, 57215.31, 57242.23, 57243.29, 57247.03, 57263.94, 57273.13, 57274.96, 57278.63, 57293.17, 57304.52, 57312.8, 57317.9, 57322.83, 57336.95, 57346.93, 57360.29, 57363.42, 57370.05, 57379.3, 57383.08, 57399.47, 57403.98, 57412.32, 57418.08, 57466.04, 57482.25, 57490.03, 57496.28, 57502.69, 57504.13, 57509.49, 57520.85, 57538.41, 57544.13, 57546.09, 57552.53, 57554.71, 57631.08, 57638.05, 57642.38, 57651.45, 57672.79, 57728.27, 57730.88, 57731.56, 57753.98, 57770.7, 57783.7, 57823.93, 57828.88, 57830.25, 57846.83, 57847.67, 57864.51, 57868.22, 57873.47, 57887.31, 57894.54, 57900.25, 57910.64, 57910.7, 57913.11, 57917.83, 57939.19, 57952.18, 57956.67, 57957.7, 57962.78, 57974.31, 57977.0, 57999.11, 58021.89, 58031.76, 58050.19, 58062.75, 58070.81, 58076.83, 58081.85, 58085.12, 58140.57, 58143.85, 58154.52, 58164.25, 58172.3, 58189.36, 58208.76, 58224.48, 58227.54, 58232.07, 58233.21, 58255.79, 58258.42, 58259.16, 58346.07, 58353.56, 58358.96, 58370.8, 58385.83, 58390.2, 58391.0, 58391.42, 58408.9, 58408.92, 58411.48, 58423.0, 58427.52, 58465.77, 58466.73, 58473.27, 58475.78, 58476.31, 58479.21, 58489.16, 58525.17, 58527.0, 58534.4, 58545.69, 58577.08, 58595.38, 58599.93, 58606.36, 58621.9, 58630.58, 58644.5, 58644.78, 58657.2, 58694.09, 58697.29, 58720.74, 58737.9, 58768.45, 58770.1, 58777.22, 58800.54, 58803.28, 58815.88, 58817.61, 58836.17, 58837.47, 58838.72, 58839.64, 58865.03, 58874.21, 58885.48, 58919.28, 58923.19, 58923.66, 58925.1, 58930.64, 58930.88, 58938.17, 58938.28, 58940.62, 58948.69, 58953.73, 58962.64, 58971.99, 58991.0, 59033.39, 59034.95, 59039.98, 59046.82, 59049.97, 59054.07, 59062.93, 59068.13, 59070.69, 59073.04, 59073.16, 59092.45, 59099.86, 59121.2, 59180.22, 59186.54, 59204.28, 59221.29, 59235.08, 59263.81, 59264.99, 59266.19, 59272.86, 59317.29, 59334.26, 59341.27, 59346.88, 59347.44, 59349.69, 59363.95, 59370.96, 59379.22, 59391.2, 59397.44, 59411.69, 59413.0, 59416.29, 59427.8, 59451.67, 59451.84, 59453.91, 59454.87, 59480.34, 59493.83, 59516.51, 59547.71, 59550.79, 59558.96, 59585.27, 59598.98, 59624.61, 59626.16, 59646.18, 59653.88, 59655.82, 59666.58, 59679.15, 59681.54, 59683.01, 59690.36, 59704.44, 59706.44, 59711.12, 59730.28, 59730.85, 59730.85, 59733.82, 59745.68, 59748.34, 59793.56, 59812.42, 59812.81, 59825.83, 59830.51, 59884.17, 59890.41, 59953.53, 59972.98, 59979.79, 60070.91, 60566.05, 60750.42, 60997.39, 61109.97, 62553.22, 62799.65, 63050.57, 65356.59, 65758.4, 66251.2, 66902.74, 67060.28, 67160.18, 67218.98, 68637.48, 68710.75, 69254.54, 69350.63, 69363.5, 69514.05, 69770.59, 70527.64, 70538.08, 70925.54, 71260.26, 71474.84, 71848.95, 72091.64, 72452.63, 72712.78, 73716.76, 73726.92, 74907.1, 75160.46, 75631.13, 75760.84, 77893.05, 78290.12, 80990.39, 81889.31, 82277.92, 82526.59, 82783.43, 83787.58, 83833.29, 84161.2, 84440.63, 84793.61, 85123.32, 86587.69, 86631.9, 88614.0, 89282.56, 89302.39, 90942.64, 90980.08, 92171.04, 92181.7, 93329.47, 93911.9, 95072.89, 96104.26, 96423.81, 96581.46, 98483.38, 99112.08, 99732.37, 100004.58, 101919.86, 103671.08, 106061.68, 107281.51, 107684.69, 109751.47, 110478.22, 111175.72, 114588.04, 114740.12, 116170.28, 116945.79, 117093.04, 117252.41, 118343.51, 118727.24, 120530.2, 123573.24, 123890.85, 126365.47, 131304.73, 133882.25, 143619.42, 143729.51, 144265.1, 147006.95, 147341.38, 147455.56, 153290.85, 154091.8, 156582.14, 163954.88, 171367.99, 194085.32, 197852.54, 206042.49, 211364.39]
m = gp.Model('test')
flow = m.addVars(arcs, name="flow")
supply = m.addVars(len(nodes), name="supply")
capacity = m.addVars(arcs, name="capacity")
b = m.addVars(arcs, vtype='B', name="binary_bigM")
# Arc-capacity constraints
m.addConstrs((capacity[i, j] >= b[i, j] * 5 for i,j in arcs), name="larger5")
m.addConstrs((capacity[i, j] <= 100 * b[i, j] for i,j in arcs), name="BigM")
m.addConstrs((flow[i,j] <= capacity[i, j] for i, j in arcs), name="cap")
# Supply constraint (e is given for each node)
m.addConstrs((supply[i] <= e[i] for i in nodes), name="supply")
m.addConstrs((flow.sum('*', i) + supply[i] == flow.sum(i, '*') + demand[i] for i in nodes), name="flow_conservation")
cost = quicksum([60*capacity[i,j]*dist[idx] for idx,(i,j) in enumerate(arcs)]) + quicksum(supply)*0.01298
# Optimierung
m.setObjective(cost, GRB.MINIMIZE)
m.Params.timelimit = 10000.
m.setParam(GRB.Param.Threads, 10)
m.optimize()With these parameters the optimization has not been able to find the optimal solution even after many hours.
But if I only allow one flow direction, the optimum solution can be found fairly fast. That is the reason why I suspected a problem with the flow conservation constraint in the version with both flow directions.
I need to allow for both flow directions. Do you have any suggestions on how to enhance the formulation?
Thank you,
Amanda0 -
Hi Amanda,
Thanks for the updated code.This is interesting, I think we need to find a reformulation as the number of unexplored nodes in that log doesn't inspire much confidence in actually finding the optimal solution anytime soon.
Are there any more details on the formulation you are using? Is there a paper?
Are there any valid inequalities given the problem description?
Any heuristics you can use to come up with some lower/upper bounds on the capacities? E.g. minimise (maximise) flow through then use this as a lower (upper) bound on the capacity.I have experimented with the latter and it seemed to work really fast and the bounds seem pretty harmless. Although I am not 100% sure it makes sense as the final solution is not within your bounds:
Best objective 5.479714128767e+09, best bound 5.479714128767e+09, gap 0.0000%
Cheers,
David0 -
Hi David,
thanks for your fast response.
Only that I don't just allow discrete diameters , but a continuous range. (In my case: capacity = diameter, as I assume them to be linearly dependent on each other).
I am not sure I understand your idea. With my Big-M constraint I already give a lower and upper bound for the capacity, as it can take the value 0, or something in the range of 5 to 100. This is a more or less realistic range for the problem. I guess it also makes sense to maximise the flow through each pipeline, but how can I model that and why might it help to find the final solution?
Cheers,
Amanda0 -
Hi Amanda,
Sorry for the delay and thanks for the link to the paper.
It seems that making capacity continuous is harder. Could you maybe try a discrete approach?I guess it also makes sense to maximise the flow through each pipeline, but how can I model that and why might it help to find the final solution?
I just thought it would be a quick way of obtaining an upper bound on the capacity that is feasible with respect to the supply-demand constraints.
Similarly minimising the flow to provide a lower bound. These will most likely tend to be 100 in maximisation or 0 in minimisation, and since you have some demands, it leads to some small deviations from these: min UB is 94.21, max LB is 5.622 using this approach. i.e. certain amounts of flow must go through in a certain edge to ensure demands are met.
I am really not sure of the correctness of this, probably needs some more thought. As suggested by the different objective function value, this may well be wrong. What is slightly promising is that the bounds in the final formulation are not very drastic.Below is what I meant if you decide to try it out.
Cheers,
David# ...your code...
m.setObjective(
gp.quicksum([flow[i, j] for idx, (i, j) in enumerate(arcs)]),
GRB.MAXIMIZE,
)
m.Params.timelimit = 60.0
m.optimize()
for i, j in arcs:
capacity[i, j].UB = flow[i, j].X
m.update()
m.setObjective(
gp.quicksum([flow[i, j] for idx, (i, j) in enumerate(arcs)]),
GRB.MINIMIZE,
)
m.optimize()
for i, j in arcs:
capacity[i, j].LB = flow[i, j].X
# reset objective to original
m.setObjective(cost, GRB.MINIMIZE)
m.write("finalflow.lp")
m.optimize()0 -
Hi David,
I think the problem with this approach is that any minimized flow value with
0 < flow[i, j].X < 5
leads to a lower bound on the capacity
capacity[i, j].LB == 5
since capacity values between 0 and 5 are not allowed. This leads to a higher objective function value (with the original cost function) because there exist better solutions with more capacity arcs with the value 0. I tried only setting the lower bound with minimized flow values higher 5, but then again I do not find the optimal solution.
I also tried a discrete approach, but also this approach didn't lead to the optimum.
Kind regards
Amanda0 -
Hi Amanda,
Thanks for double-checking my logic. Indeed, you are right.
It would be good to (somehow) find out which of these flow variables have to be positive in order to satisfy demand, but since you also have variable supply, this is pretty hard.I would've thought a discrete approach works much better. With capacity for example being \([0, 5, 10, \dots, 100]\), so you can change capacity to be an integer variable \([0, 1,\dots,20]\) and multiply it by 5. (Also removing the constraints to enforce that it must be between 0 and 5).
Another approach would be solving a relaxed version see model.feasRelax() to initialise capacity values and iteratively (and maybe heuristically?) come up with increasing capacity values until you hit a feasible solution.There are a few more avenues you can investigate:
- Parameter tuning for this model (I have tried grbtune to no avail).
- Finding a good heuristic to warm-start the solver.
- See if you can come up with some valid inequalities, or a reformulation altogether.
Cheers,
David0 -
Additionally, as this seems pretty tricky, you may want to consider posting your question to https://or.stackexchange.com/ to have a few more eyes on this.
Cheers,
David0 -
I would've thought a discrete approach works much better. With capacity for example being , so you can change capacity to be an integer variable and multiply it by 5. (Also removing the constraints to enforce that it must be between 0 and 5).
I have just tried this, even if you restrict the capacity to \([0,5]\) it is still super hard to solve.
I think you have to down the reformulation or heuristics way, unfortunately.
Cheers,
David0
Please sign in to leave a comment.
Comments
9 comments