Graph forms
for C4 [ 512, 85 ] = UG(ATD[512,79])
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 512, 85 ] =
UG(ATD[512,79]).
(I) Following is a form readable by MAGMA:
g:=Graph<512|{ {16, 18}, {1, 17}, {139, 154}, {139, 152}, {7, 18}, {173, 186},
{269, 282}, {320, 344}, {174, 183}, {270, 279}, {320, 346}, {10, 17}, {173,
177}, {269, 273}, {140, 146}, {1, 33}, {155, 185}, {333, 367}, {130, 166}, {2,
39}, {333, 360}, {157, 186}, {349, 378}, {334, 361}, {147, 186}, {350, 375},
{143, 165}, {1, 42}, {140, 160}, {349, 369}, {334, 354}, {149, 185}, {136, 165},
{271, 290}, {270, 288}, {137, 166}, {1, 49}, {344, 360}, {270, 318}, {268, 317},
{2, 48}, {331, 377}, {64, 114}, {7, 50}, {338, 359}, {333, 378}, {351, 360},
{272, 296}, {323, 378}, {260, 318}, {272, 298}, {9, 50}, {262, 317}, {325, 377},
{15, 49}, {345, 359}, {271, 304}, {33, 97}, {446, 510}, {394, 458}, {49, 113},
{175, 239}, {23, 86}, {444, 509}, {289, 352}, {282, 347}, {151, 214}, {34, 96},
{427, 489}, {411, 473}, {392, 458}, {176, 243}, {280, 347}, {17, 85}, {164,
224}, {145, 213}, {39, 98}, {55, 114}, {413, 474}, {429, 490}, {403, 474}, {419,
490}, {31, 85}, {436, 510}, {298, 352}, {159, 213}, {41, 98}, {438, 509}, {386,
457}, {58, 113}, {405, 473}, {421, 489}, {47, 97}, {446, 496}, {274, 348}, {175,
225}, {25, 86}, {153, 214}, {17, 65}, {51, 99}, {52, 101}, {287, 334}, {43,
121}, {423, 501}, {413, 463}, {128, 210}, {44, 127}, {391, 468}, {167, 243},
{23, 66}, {424, 509}, {413, 456}, {392, 477}, {161, 244}, {154, 204}, {153,
206}, {445, 490}, {414, 457}, {176, 231}, {176, 233}, {446, 487}, {400, 457},
{26, 65}, {424, 499}, {287, 324}, {43, 119}, {445, 481}, {423, 507}, {414, 450},
{391, 475}, {154, 198}, {44, 113}, {153, 196}, {51, 109}, {392, 470}, {170,
244}, {52, 107}, {319, 352}, {167, 199}, {260, 356}, {38, 71}, {438, 471}, {32,
66}, {396, 494}, {51, 81}, {21, 118}, {443, 472}, {424, 459}, {398, 493}, {302,
333}, {37, 65}, {431, 459}, {308, 336}, {262, 355}, {425, 460}, {19, 117}, {405,
499}, {301, 331}, {288, 326}, {155, 253}, {53, 82}, {403, 500}, {156, 251},
{175, 200}, {30, 118}, {412, 500}, {389, 493}, {302, 326}, {156, 244}, {28,
117}, {301, 324}, {161, 200}, {59, 82}, {37, 79}, {445, 471}, {61, 81}, {436,
472}, {288, 332}, {155, 246}, {414, 499}, {387, 494}, {319, 338}, {169, 199},
{418, 460}, {318, 336}, {174, 192}, {269, 355}, {38, 73}, {304, 351}, {267,
356}, {33, 81}, {267, 378}, {439, 454}, {163, 209}, {22, 101}, {440, 459}, {407,
484}, {316, 335}, {164, 215}, {53, 70}, {267, 376}, {34, 87}, {408, 493}, {21,
99}, {419, 469}, {387, 501}, {157, 235}, {51, 69}, {155, 236}, {420, 467}, {388,
499}, {22, 110}, {419, 475}, {388, 508}, {295, 351}, {148, 236}, {62, 70}, {21,
108}, {420, 477}, {310, 335}, {163, 218}, {60, 69}, {439, 461}, {33, 90}, {288,
348}, {440, 452}, {407, 491}, {150, 235}, {387, 510}, {268, 370}, {408, 486},
{34, 162}, {106, 234}, {6, 135}, {90, 219}, {73, 200}, {19, 145}, {121, 251},
{106, 232}, {74, 201}, {372, 503}, {88, 219}, {5, 129}, {381, 504}, {73, 207},
{21, 146}, {122, 253}, {74, 194}, {320, 456}, {27, 146}, {122, 243}, {41, 160},
{40, 161}, {5, 143}, {354, 488}, {42, 161}, {105, 226}, {29, 145}, {379, 503},
{364, 480}, {121, 245}, {268, 384}, {258, 399}, {362, 487}, {82, 220}, {374,
504}, {6, 137}, {360, 487}, {266, 410}, {362, 506}, {72, 217}, {103, 246}, {48,
162}, {362, 504}, {91, 201}, {266, 408}, {54, 165}, {382, 493}, {92, 207}, {73,
218}, {97, 245}, {256, 404}, {53, 163}, {381, 491}, {124, 234}, {79, 217}, {126,
233}, {343, 448}, {54, 174}, {381, 485}, {368, 488}, {66, 218}, {264, 400}, {53,
172}, {105, 240}, {111, 245}, {266, 400}, {265, 402}, {361, 498}, {91, 199},
{118, 234}, {92, 193}, {382, 483}, {116, 233}, {256, 414}, {105, 246}, {272,
399}, {90, 250}, {356, 452}, {113, 209}, {97, 193}, {55, 150}, {67, 225}, {271,
429}, {381, 478}, {49, 149}, {103, 194}, {358, 451}, {119, 210}, {264, 429},
{379, 477}, {69, 226}, {265, 430}, {373, 477}, {376, 464}, {75, 226}, {265,
416}, {63, 149}, {90, 241}, {122, 209}, {106, 193}, {77, 225}, {258, 430}, {371,
478}, {89, 247}, {365, 451}, {57, 150}, {363, 452}, {19, 163}, {85, 229}, {42,
154}, {264, 440}, {20, 165}, {363, 474}, {75, 250}, {11, 185}, {124, 206}, {112,
194}, {12, 191}, {363, 472}, {75, 248}, {102, 210}, {83, 230}, {263, 434}, {123,
204}, {264, 447}, {123, 195}, {124, 197}, {92, 230}, {376, 450}, {101, 223},
{42, 145}, {94, 229}, {11, 183}, {96, 220}, {12, 177}, {375, 458}, {101, 216},
{19, 173}, {364, 466}, {76, 242}, {41, 151}, {263, 441}, {20, 171}, {375, 456},
{102, 217}, {65, 129}, {345, 409}, {303, 494}, {312, 505}, {126, 188}, {346,
408}, {327, 389}, {5, 198}, {71, 130}, {346, 415}, {328, 397}, {293, 480}, {3,
197}, {285, 475}, {124, 187}, {283, 476}, {14, 198}, {311, 511}, {276, 476},
{115, 187}, {12, 197}, {117, 188}, {303, 485}, {312, 498}, {74, 129}, {345,
402}, {328, 387}, {299, 480}, {327, 395}, {278, 475}, {311, 504}, {279, 455},
{350, 398}, {87, 134}, {348, 397}, {110, 191}, {3, 209}, {292, 502}, {80, 130},
{4, 215}, {309, 486}, {307, 480}, {304, 483}, {294, 501}, {81, 133}, {109, 185},
{110, 184}, {325, 403}, {307, 485}, {280, 463}, {323, 404}, {301, 501}, {332,
404}, {318, 486}, {280, 449}, {316, 485}, {95, 133}, {340, 398}, {342, 397}, {3,
223}, {304, 492}, {4, 217}, {334, 403}, {299, 502}, {279, 457}, {350, 384}, {89,
134}, {109, 178}, {10, 234}, {344, 440}, {83, 178}, {99, 129}, {344, 442}, {291,
449}, {275, 497}, {100, 135}, {292, 455}, {85, 177}, {307, 471}, {308, 465},
{343, 434}, {323, 421}, {342, 432}, {277, 498}, {324, 419}, {324, 428}, {99,
138}, {291, 458}, {283, 498}, {91, 177}, {10, 225}, {285, 497}, {323, 430},
{349, 432}, {9, 231}, {308, 474}, {93, 178}, {329, 441}, {120, 137}, {3, 241},
{328, 442}, {301, 479}, {286, 492}, {69, 182}, {285, 494}, {121, 138}, {100,
144}, {347, 431}, {292, 464}, {335, 442}, {67, 181}, {127, 137}, {5, 242}, {78,
182}, {286, 486}, {114, 138}, {9, 240}, {285, 484}, {76, 181}, {11, 242}, {306,
456}, {322, 441}, {340, 431}, {13, 241}, {291, 479}, {314, 455}, {312, 455}, {2,
258}, {144, 400}, {186, 443}, {27, 281}, {28, 287}, {37, 294}, {184, 443}, {83,
343}, {84, 337}, {143, 394}, {35, 293}, {76, 330}, {61, 315}, {59, 316}, {78,
329}, {46, 294}, {52, 316}, {8, 257}, {44, 293}, {10, 257}, {27, 279}, {70,
330}, {28, 273}, {68, 329}, {54, 315}, {84, 346}, {143, 385}, {178, 444}, {71,
343}, {191, 430}, {16, 258}, {35, 305}, {36, 311}, {58, 297}, {57, 303}, {140,
410}, {93, 331}, {72, 351}, {144, 391}, {142, 409}, {91, 332}, {57, 289}, {84,
332}, {72, 337}, {191, 420}, {35, 319}, {134, 410}, {36, 313}, {132, 409}, {86,
331}, {58, 295}, {71, 345}, {111, 335}, {115, 339}, {24, 313}, {142, 431}, {116,
341}, {62, 287}, {179, 401}, {226, 448}, {25, 314}, {61, 281}, {144, 436}, {141,
425}, {31, 313}, {62, 280}, {181, 402}, {18, 314}, {187, 402}, {233, 448}, {141,
423}, {189, 401}, {111, 321}, {115, 349}, {61, 274}, {142, 417}, {116, 347},
{100, 340}, {25, 296}, {35, 274}, {115, 321}, {26, 297}, {83, 352}, {190, 397},
{37, 273}, {102, 339}, {25, 303}, {130, 436}, {189, 395}, {112, 327}, {117,
322}, {26, 290}, {190, 390}, {112, 329}, {138, 435}, {123, 322}, {189, 388},
{43, 273}, {136, 435}, {125, 321}, {109, 339}, {45, 274}, {107, 340}, {16, 336},
{158, 478}, {67, 259}, {237, 429}, {68, 261}, {157, 476}, {171, 490}, {32, 354},
{59, 377}, {196, 390}, {60, 383}, {171, 488}, {198, 389}, {220, 415}, {39, 355},
{247, 435}, {15, 330}, {238, 427}, {40, 366}, {248, 446}, {205, 389}, {214,
415}, {158, 468}, {238, 420}, {39, 364}, {157, 470}, {237, 422}, {247, 444},
{59, 375}, {76, 256}, {40, 357}, {60, 369}, {203, 390}, {248, 437}, {15, 321},
{67, 269}, {172, 482}, {68, 267}, {128, 463}, {176, 511}, {2, 338}, {239, 447},
{245, 421}, {159, 462}, {216, 393}, {52, 358}, {54, 357}, {128, 467}, {206,
413}, {87, 259}, {160, 500}, {153, 461}, {243, 422}, {36, 370}, {152, 462}, {88,
270}, {205, 411}, {224, 438}, {16, 327}, {38, 369}, {232, 447}, {62, 358}, {206,
406}, {215, 399}, {8, 337}, {89, 256}, {60, 357}, {205, 404}, {216, 386}, {252,
422}, {9, 338}, {87, 268}, {254, 421}, {46, 370}, {128, 476}, {172, 496}, {44,
369}, {162, 511}, {88, 261}, {15, 337}, {160, 510}, {146, 461}, {215, 392}, {30,
383}, {167, 454}, {100, 262}, {195, 417}, {102, 261}, {159, 508}, {211, 432},
{239, 396}, {255, 412}, {29, 377}, {210, 438}, {30, 376}, {150, 496}, {168,
462}, {192, 422}, {230, 384}, {197, 418}, {110, 262}, {108, 261}, {159, 502},
{203, 418}, {239, 390}, {255, 406}, {167, 460}, {156, 496}, {168, 452}, {192,
428}, {205, 417}, {236, 384}, {216, 437}, {29, 370}, {218, 437}, {18, 354},
{119, 263}, {195, 435}, {229, 405}, {158, 495}, {196, 437}, {211, 418}, {212,
416}, {240, 388}, {246, 386}, {227, 406}, {244, 385}, {120, 271}, {162, 469},
{24, 353}, {120, 257}, {175, 470}, {236, 406}, {26, 353}, {148, 495}, {238,
405}, {169, 469}, {192, 444}, {212, 424}, {119, 265}, {168, 470}, {195, 445},
{212, 426}, {222, 416}, {240, 398}, {252, 386}, {196, 443}, {254, 385}, {32,
416}, {95, 479}, {66, 450}, {55, 439}, {48, 432}, {254, 382}, {253, 380}, {56,
442}, {107, 489}, {180, 310}, {108, 495}, {147, 272}, {126, 509}, {227, 359},
{31, 410}, {47, 426}, {228, 353}, {125, 507}, {179, 308}, {126, 502}, {179,
315}, {56, 433}, {125, 500}, {72, 449}, {180, 317}, {254, 372}, {74, 449}, {253,
374}, {107, 487}, {108, 481}, {31, 401}, {95, 465}, {47, 417}, {228, 362}, {34,
434}, {78, 479}, {104, 505}, {238, 383}, {255, 366}, {80, 450}, {105, 506},
{133, 278}, {227, 368}, {56, 428}, {147, 263}, {82, 454}, {77, 473}, {190, 298},
{249, 365}, {148, 257}, {188, 297}, {29, 395}, {131, 277}, {125, 491}, {111,
505}, {78, 472}, {58, 428}, {248, 366}, {27, 396}, {123, 492}, {48, 423}, {20,
396}, {142, 278}, {116, 492}, {98, 506}, {40, 433}, {140, 277}, {50, 427}, {95,
453}, {41, 434}, {228, 383}, {22, 395}, {118, 491}, {88, 453}, {47, 433}, {148,
266}, {180, 298}, {77, 466}, {89, 454}, {182, 297}, {242, 365}, {23, 439}, {164,
260}, {63, 415}, {224, 320}, {46, 399}, {131, 290}, {127, 478}, {94, 511}, {70,
484}, {190, 284}, {104, 459}, {208, 371}, {213, 374}, {45, 393}, {133, 289},
{112, 468}, {103, 451}, {93, 505}, {166, 259}, {211, 373}, {24, 447}, {80, 503},
{68, 483}, {188, 283}, {75, 483}, {120, 464}, {179, 283}, {222, 374}, {24, 433},
{77, 484}, {181, 284}, {220, 373}, {45, 391}, {139, 289}, {127, 469}, {122,
464}, {103, 461}, {93, 503}, {208, 380}, {104, 453}, {194, 367}, {23, 441}, {63,
401}, {173, 259}, {46, 385}, {141, 290}, {94, 497}, {171, 260}, {222, 366}, {56,
393}, {136, 313}, {207, 382}, {221, 364}, {57, 394}, {79, 506}, {28, 426}, {98,
468}, {84, 482}, {63, 393}, {45, 411}, {30, 425}, {96, 471}, {86, 481}, {43,
412}, {32, 407}, {36, 412}, {135, 319}, {50, 394}, {200, 368}, {96, 473}, {106,
467}, {136, 306}, {202, 368}, {207, 373}, {222, 356}, {104, 467}, {221, 358},
{22, 426}, {94, 482}, {20, 425}, {114, 463}, {92, 481}, {38, 411}, {79, 497},
{135, 312}, {208, 367}, {235, 299}, {237, 300}, {247, 310}, {214, 276}, {7,
451}, {151, 339}, {241, 309}, {8, 462}, {152, 350}, {189, 379}, {187, 380},
{212, 275}, {180, 380}, {219, 275}, {221, 276}, {230, 300}, {255, 309}, {7,
460}, {151, 348}, {8, 453}, {152, 341}, {182, 379}, {228, 299}, {249, 310},
{149, 325}, {183, 359}, {231, 309}, {202, 286}, {147, 326}, {201, 284}, {232,
317}, {4, 466}, {250, 300}, {6, 465}, {64, 407}, {184, 367}, {224, 311}, {249,
302}, {64, 409}, {184, 353}, {156, 326}, {158, 325}, {232, 307}, {14, 466},
{231, 315}, {250, 294}, {12, 465}, {249, 292}, {183, 361}, {202, 276}, {201,
278}, {131, 355}, {170, 330}, {252, 284}, {14, 495}, {132, 357}, {170, 328},
{204, 302}, {208, 306}, {13, 489}, {223, 314}, {251, 286}, {14, 488}, {203,
300}, {203, 291}, {204, 293}, {64, 427}, {169, 322}, {131, 365}, {223, 305},
{251, 277}, {13, 482}, {132, 363}, {252, 275}, {193, 305}, {134, 372}, {164,
342}, {235, 281}, {166, 341}, {219, 296}, {211, 295}, {199, 306}, {13, 507},
{11, 508}, {132, 371}, {55, 448}, {237, 282}, {4, 508}, {139, 371}, {174, 342},
{141, 372}, {169, 336}, {172, 341}, {227, 282}, {221, 295}, {202, 305}, {229,
281}, {6, 507}, {213, 296}, {80, 512}, {168, 512}, {170, 512}, {361, 512}
}>;
(II) A more general form is to represent the graph as the orbit of {16, 18}
under the group generated by the following permutations:
a: (1, 3, 7, 5)(2, 4, 8, 6)(9, 14, 15, 12)(10, 13, 16, 11)(17, 241, 18, 242)(19,
243, 20, 244)(21, 245, 22, 246)(23, 247, 24, 248)(25, 249, 26, 250)(27, 251, 28,
252)(29, 253, 30, 254)(31, 255, 32, 256)(33, 223, 451, 129)(34, 224, 452,
130)(35, 221, 449, 133)(36, 222, 450, 134)(37, 219, 455, 131)(38, 220, 456,
132)(39, 217, 453, 135)(40, 218, 454, 136)(41, 210, 459, 144)(42, 209, 460,
143)(43, 212, 457, 140)(44, 211, 458, 139)(45, 214, 463, 142)(46, 213, 464,
141)(47, 216, 461, 138)(48, 215, 462, 137)(49, 197, 50, 198)(51, 193, 52,
194)(53, 199, 54, 200)(55, 195, 56, 196)(57, 204, 58, 203)(59, 208, 60, 207)(61,
202, 62, 201)(63, 206, 64, 205)(65, 90, 314, 365)(66, 89, 313, 366)(67, 94, 318,
361)(68, 93, 317, 362)(69, 92, 316, 367)(70, 91, 315, 368)(71, 96, 320, 363)(72,
95, 319, 364)(73, 82, 306, 357)(74, 81, 305, 358)(75, 86, 310, 353)(76, 85, 309,
354)(77, 84, 308, 359)(78, 83, 307, 360)(79, 88, 312, 355)(80, 87, 311, 356)(97,
101, 103, 99)(98, 102, 104, 100)(105, 108, 111, 110)(106, 107, 112, 109)(113,
418, 394, 154)(114, 417, 393, 153)(115, 420, 398, 158)(116, 419, 397, 157)(117,
422, 396, 156)(118, 421, 395, 155)(119, 424, 400, 160)(120, 423, 399, 159)(121,
426, 386, 146)(122, 425, 385, 145)(123, 428, 390, 150)(124, 427, 389, 149)(125,
430, 388, 148)(126, 429, 387, 147)(127, 432, 392, 152)(128, 431, 391, 151)(161,
163, 167, 165)(162, 164, 168, 166)(169, 174, 175, 172)(170, 173, 176, 171)(177,
231, 488, 330)(178, 232, 487, 329)(179, 227, 484, 332)(180, 228, 483, 331)(181,
229, 486, 334)(182, 230, 485, 333)(183, 225, 482, 336)(184, 226, 481, 335)(185,
234, 489, 327)(186, 233, 490, 328)(187, 238, 493, 325)(188, 237, 494, 326)(189,
236, 491, 323)(190, 235, 492, 324)(191, 240, 495, 321)(192, 239, 496, 322)(257,
507, 258, 508)(259, 511, 260, 512)(261, 505, 262, 506)(263, 509, 264, 510)(265,
499, 266, 500)(267, 503, 268, 504)(269, 497, 270, 498)(271, 501, 272, 502)(273,
275, 279, 277)(274, 276, 280, 278)(281, 286, 287, 284)(282, 285, 288, 283)(289,
293, 295, 291)(290, 294, 296, 292)(297, 300, 303, 302)(298, 299, 304, 301)(337,
465, 338, 466)(339, 467, 340, 468)(341, 469, 342, 470)(343, 471, 344, 472)(345,
473, 346, 474)(347, 475, 348, 476)(349, 477, 350, 478)(351, 479, 352, 480)(369,
373, 375, 371)(370, 374, 376, 372)(377, 380, 383, 382)(378, 379, 384, 381)(401,
406, 407, 404)(402, 405, 408, 403)(409, 411, 415, 413)(410, 412, 416, 414)(433,
437, 439, 435)(434, 438, 440, 436)(441, 444, 447, 446)(442, 443, 448, 445) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (1, 17, 65, 129, 99, 51, 81, 33)(2, 18, 66, 130, 100, 52, 82, 34)(3, 19, 67,
131, 103, 55, 83, 35)(4, 20, 68, 132, 104, 56, 84, 36)(5, 21, 69, 133, 97, 49,
85, 37)(6, 22, 70, 134, 98, 50, 86, 38)(7, 23, 71, 135, 101, 53, 87, 39)(8, 24,
72, 136, 102, 54, 88, 40)(9, 25, 73, 137, 110, 62, 89, 41)(10, 26, 74, 138, 109,
61, 90, 42)(11, 27, 75, 139, 106, 58, 91, 43)(12, 28, 76, 140, 105, 57, 92,
44)(13, 29, 77, 141, 112, 64, 93, 45)(14, 30, 78, 142, 111, 63, 94, 46)(15, 31,
79, 143, 108, 60, 95, 47)(16, 32, 80, 144, 107, 59, 96, 48)(113, 177, 273, 242,
146, 226, 289, 193)(114, 178, 274, 241, 145, 225, 290, 194)(115, 179, 275, 244,
148, 228, 291, 195)(116, 180, 276, 243, 147, 227, 292, 196)(117, 181, 277, 246,
150, 230, 293, 197)(118, 182, 278, 245, 149, 229, 294, 198)(119, 183, 279, 248,
152, 232, 295, 199)(120, 184, 280, 247, 151, 231, 296, 200)(121, 185, 281, 250,
154, 234, 297, 201)(122, 186, 282, 249, 153, 233, 298, 202)(123, 187, 283, 252,
156, 236, 299, 203)(124, 188, 284, 251, 155, 235, 300, 204)(125, 189, 285, 254,
158, 238, 301, 205)(126, 190, 286, 253, 157, 237, 302, 206)(127, 191, 287, 256,
160, 240, 303, 207)(128, 192, 288, 255, 159, 239, 304, 208)(161, 257, 353, 449,
435, 339, 315, 219)(162, 258, 354, 450, 436, 340, 316, 220)(163, 259, 355, 451,
439, 343, 319, 223)(164, 260, 356, 452, 440, 344, 320, 224)(165, 261, 357, 453,
433, 337, 313, 217)(166, 262, 358, 454, 434, 338, 314, 218)(167, 263, 359, 455,
437, 341, 317, 221)(168, 264, 360, 456, 438, 342, 318, 222)(169, 265, 361, 457,
446, 350, 307, 211)(170, 266, 362, 458, 445, 349, 308, 212)(171, 267, 363, 459,
442, 346, 311, 215)(172, 268, 364, 460, 441, 345, 312, 216)(173, 269, 365, 461,
448, 352, 305, 209)(174, 270, 366, 462, 447, 351, 306, 210)(175, 271, 367, 463,
444, 348, 309, 213)(176, 272, 368, 464, 443, 347, 310, 214)(321, 401, 497, 385,
495, 383, 479, 417)(322, 402, 498, 386, 496, 384, 480, 418)(323, 403, 499, 387,
493, 381, 477, 419)(324, 404, 500, 388, 494, 382, 478, 420)(325, 405, 501, 389,
491, 379, 475, 421)(326, 406, 502, 390, 492, 380, 476, 422)(327, 407, 503, 391,
489, 377, 473, 423)(328, 408, 504, 392, 490, 378, 474, 424)(329, 409, 505, 393,
482, 370, 466, 425)(330, 410, 506, 394, 481, 369, 465, 426)(331, 411, 507, 395,
484, 372, 468, 427)(332, 412, 508, 396, 483, 371, 467, 428)(333, 413, 509, 397,
486, 374, 470, 429)(334, 414, 510, 398, 485, 373, 469, 430)(335, 415, 511, 399,
488, 376, 472, 431)(336, 416, 512, 400, 487, 375, 471, 432)
c: (1, 2)(3, 6)(4, 5)(7, 8)(9, 15)(10, 16)(17, 258)(18, 257)(19, 262)(20,
261)(21, 260)(22, 259)(23, 264)(24, 263)(25, 271)(26, 272)(27, 267)(28, 268)(29,
269)(30, 270)(31, 265)(32, 266)(33, 48)(34, 47)(35, 44)(36, 43)(37, 46)(38,
45)(39, 42)(40, 41)(49, 338)(50, 337)(51, 342)(52, 341)(53, 340)(54, 339)(55,
344)(56, 343)(57, 351)(58, 352)(59, 347)(60, 348)(61, 349)(62, 350)(63, 345)(64,
346)(65, 399)(66, 400)(67, 395)(68, 396)(69, 397)(70, 398)(71, 393)(72, 394)(73,
391)(74, 392)(75, 387)(76, 388)(77, 389)(78, 390)(79, 385)(80, 386)(81, 432)(82,
431)(83, 428)(84, 427)(85, 430)(86, 429)(87, 426)(88, 425)(89, 424)(90, 423)(91,
420)(92, 419)(93, 422)(94, 421)(95, 418)(96, 417)(97, 162)(98, 161)(99,
164)(100, 163)(101, 166)(102, 165)(103, 168)(104, 167)(105, 170)(106, 169)(107,
172)(108, 171)(109, 174)(110, 173)(111, 176)(112, 175)(113, 319)(114, 320)(115,
315)(116, 316)(117, 317)(118, 318)(119, 313)(120, 314)(121, 311)(122, 312)(123,
307)(124, 308)(125, 309)(126, 310)(127, 305)(128, 306)(129, 215)(130, 216)(131,
213)(132, 214)(133, 211)(134, 212)(135, 209)(136, 210)(137, 223)(138, 224)(139,
221)(140, 222)(141, 219)(142, 220)(143, 217)(144, 218)(145, 355)(146, 356)(147,
353)(148, 354)(149, 359)(150, 360)(151, 357)(152, 358)(153, 363)(154, 364)(155,
361)(156, 362)(157, 367)(158, 368)(159, 365)(160, 366)(177, 191)(178, 192)(179,
187)(180, 188)(181, 189)(182, 190)(183, 185)(184, 186)(193, 469)(194, 470)(195,
471)(196, 472)(197, 465)(198, 466)(199, 467)(200, 468)(201, 477)(202, 478)(203,
479)(204, 480)(205, 473)(206, 474)(207, 475)(208, 476)(225, 327)(226, 328)(227,
325)(228, 326)(229, 323)(230, 324)(231, 321)(232, 322)(233, 335)(234, 336)(235,
333)(236, 334)(237, 331)(238, 332)(239, 329)(240, 330)(241, 507)(242, 508)(243,
505)(244, 506)(245, 511)(246, 512)(247, 509)(248, 510)(249, 502)(250, 501)(251,
504)(252, 503)(253, 498)(254, 497)(255, 500)(256, 499)(273, 370)(274, 369)(275,
372)(276, 371)(277, 374)(278, 373)(279, 376)(280, 375)(281, 378)(282, 377)(283,
380)(284, 379)(285, 382)(286, 381)(287, 384)(288, 383)(289, 295)(290, 296)(297,
298)(299, 302)(300, 301)(303, 304)(401, 402)(403, 406)(404, 405)(407, 408)(409,
415)(410, 416)(433, 434)(435, 438)(436, 437)(439, 440)(441, 447)(442, 448)(449,
458)(450, 457)(451, 462)(452, 461)(453, 460)(454, 459)(455, 464)(456, 463)(481,
490)(482, 489)(483, 494)(484, 493)(485, 492)(486, 491)(487, 496)(488, 495)
d: (3, 5)(4, 6)(9, 16)(10, 15)(11, 12)(13, 14)(17, 49)(18, 50)(19, 51)(20,
52)(21, 53)(22, 54)(23, 55)(24, 56)(25, 57)(26, 58)(27, 59)(28, 60)(29, 61)(30,
62)(31, 63)(32, 64)(33, 42)(34, 41)(35, 46)(36, 45)(37, 44)(38, 43)(39, 48)(40,
47)(65, 113)(66, 114)(67, 115)(68, 116)(69, 117)(70, 118)(71, 119)(72, 120)(73,
121)(74, 122)(75, 123)(76, 124)(77, 125)(78, 126)(79, 127)(80, 128)(81, 145)(82,
146)(83, 147)(84, 148)(85, 149)(86, 150)(87, 151)(88, 152)(89, 153)(90, 154)(91,
155)(92, 156)(93, 157)(94, 158)(95, 159)(96, 160)(97, 161)(98, 162)(99,
163)(100, 164)(101, 165)(102, 166)(103, 167)(104, 168)(105, 169)(106, 170)(107,
171)(108, 172)(109, 173)(110, 174)(111, 175)(112, 176)(129, 209)(130, 210)(131,
211)(132, 212)(133, 213)(134, 214)(135, 215)(136, 216)(137, 217)(138, 218)(139,
219)(140, 220)(141, 221)(142, 222)(143, 223)(144, 224)(177, 185)(178, 186)(179,
189)(180, 190)(181, 187)(182, 188)(183, 191)(184, 192)(193, 244)(194, 243)(195,
248)(196, 247)(197, 242)(198, 241)(199, 246)(200, 245)(201, 253)(202, 254)(203,
249)(204, 250)(205, 255)(206, 256)(207, 251)(208, 252)(225, 321)(226, 322)(227,
323)(228, 324)(229, 325)(230, 326)(231, 327)(232, 328)(233, 329)(234, 330)(235,
331)(236, 332)(237, 333)(238, 334)(239, 335)(240, 336)(257, 337)(258, 338)(259,
339)(260, 340)(261, 341)(262, 342)(263, 343)(264, 344)(265, 345)(266, 346)(267,
347)(268, 348)(269, 349)(270, 350)(271, 351)(272, 352)(273, 369)(274, 370)(275,
371)(276, 372)(277, 373)(278, 374)(279, 375)(280, 376)(281, 377)(282, 378)(283,
379)(284, 380)(285, 381)(286, 382)(287, 383)(288, 384)(289, 296)(290, 295)(291,
292)(293, 294)(299, 301)(300, 302)(305, 385)(306, 386)(307, 387)(308, 388)(309,
389)(310, 390)(311, 391)(312, 392)(313, 393)(314, 394)(315, 395)(316, 396)(317,
397)(318, 398)(319, 399)(320, 400)(353, 428)(354, 427)(355, 432)(356, 431)(357,
426)(358, 425)(359, 430)(360, 429)(361, 420)(362, 419)(363, 424)(364, 423)(365,
418)(366, 417)(367, 422)(368, 421)(403, 405)(404, 406)(409, 416)(410, 415)(411,
412)(413, 414)(435, 437)(436, 438)(441, 448)(442, 447)(443, 444)(445, 446)(449,
464)(450, 463)(451, 460)(452, 459)(453, 462)(454, 461)(455, 458)(456, 457)(465,
508)(466, 507)(467, 512)(468, 511)(469, 506)(470, 505)(471, 510)(472, 509)(473,
500)(474, 499)(475, 504)(476, 503)(477, 498)(478, 497)(479, 502)(480, 501)(481,
496)(482, 495)(483, 492)(484, 491)(485, 494)(486, 493)(487, 490)(488, 489)
e: (1, 9)(2, 10)(3, 13)(4, 14)(5, 11)(6, 12)(7, 15)(8, 16)(17, 338)(18, 337)(19,
340)(20, 339)(21, 342)(22, 341)(23, 344)(24, 343)(25, 346)(26, 345)(27, 348)(28,
347)(29, 350)(30, 349)(31, 352)(32, 351)(33, 231)(34, 232)(35, 229)(36, 230)(37,
227)(38, 228)(39, 225)(40, 226)(41, 239)(42, 240)(43, 237)(44, 238)(45, 235)(46,
236)(47, 233)(48, 234)(49, 50)(51, 54)(52, 53)(55, 56)(57, 63)(58, 64)(65,
359)(66, 360)(67, 355)(68, 356)(69, 357)(70, 358)(71, 353)(72, 354)(73, 362)(74,
361)(75, 366)(76, 365)(77, 364)(78, 363)(79, 368)(80, 367)(81, 315)(82, 316)(83,
313)(84, 314)(85, 319)(86, 320)(87, 317)(88, 318)(89, 310)(90, 309)(91, 312)(92,
311)(93, 306)(94, 305)(95, 308)(96, 307)(97, 176)(98, 175)(99, 174)(100,
173)(101, 172)(102, 171)(103, 170)(104, 169)(105, 161)(106, 162)(107, 163)(108,
164)(109, 165)(110, 166)(111, 167)(112, 168)(113, 427)(114, 428)(115, 425)(116,
426)(117, 431)(118, 432)(119, 429)(120, 430)(121, 422)(122, 421)(123, 424)(124,
423)(125, 418)(126, 417)(127, 420)(128, 419)(129, 183)(130, 184)(131, 181)(132,
182)(133, 179)(134, 180)(135, 177)(136, 178)(137, 191)(138, 192)(139, 189)(140,
190)(141, 187)(142, 188)(143, 185)(144, 186)(145, 398)(146, 397)(147, 400)(148,
399)(149, 394)(150, 393)(151, 396)(152, 395)(153, 387)(154, 388)(155, 385)(156,
386)(157, 391)(158, 392)(159, 389)(160, 390)(193, 511)(194, 512)(195, 509)(196,
510)(197, 507)(198, 508)(199, 505)(200, 506)(201, 498)(202, 497)(203, 500)(204,
499)(205, 502)(206, 501)(207, 504)(208, 503)(209, 489)(210, 490)(211, 491)(212,
492)(213, 493)(214, 494)(215, 495)(216, 496)(217, 488)(218, 487)(219, 486)(220,
485)(221, 484)(222, 483)(223, 482)(224, 481)(243, 245)(244, 246)(249, 256)(250,
255)(251, 252)(253, 254)(257, 258)(259, 262)(260, 261)(263, 264)(265, 271)(266,
272)(273, 282)(274, 281)(275, 286)(276, 285)(277, 284)(278, 283)(279, 288)(280,
287)(289, 401)(290, 402)(291, 403)(292, 404)(293, 405)(294, 406)(295, 407)(296,
408)(297, 409)(298, 410)(299, 411)(300, 412)(301, 413)(302, 414)(303, 415)(304,
416)(321, 460)(322, 459)(323, 464)(324, 463)(325, 458)(326, 457)(327, 462)(328,
461)(329, 452)(330, 451)(331, 456)(332, 455)(333, 450)(334, 449)(335, 454)(336,
453)(369, 383)(370, 384)(371, 379)(372, 380)(373, 381)(374, 382)(375, 377)(376,
378)(433, 448)(434, 447)(435, 444)(436, 443)(437, 446)(438, 445)(439, 442)(440,
441)(467, 469)(468, 470)(473, 480)(474, 479)(475, 476)(477, 478)
C4[ 512, 85 ]
512
-1 33 49 17 42
-2 48 258 39 338
-3 209 223 197 241
-4 508 466 215 217
-5 143 198 242 129
-6 507 135 465 137
-7 451 50 18 460
-8 462 453 257 337
-9 231 50 338 240
-10 234 257 225 17
-11 242 508 183 185
-12 177 465 191 197
-13 507 489 482 241
-14 198 495 466 488
-15 330 321 49 337
-16 258 336 18 327
-17 1 85 10 65
-18 354 16 314 7
-19 145 117 173 163
-20 165 396 171 425
-21 99 146 118 108
-22 110 101 426 395
-23 66 441 86 439
-24 353 433 313 447
-25 303 314 86 296
-26 297 353 290 65
-27 396 146 279 281
-28 287 117 426 273
-29 145 377 370 395
-30 376 425 118 383
-31 410 313 401 85
-32 66 407 354 416
-33 1 90 81 97
-34 434 96 162 87
-35 319 293 305 274
-36 311 313 412 370
-37 79 294 273 65
-38 411 71 369 73
-39 364 2 355 98
-40 366 433 357 161
-41 434 160 151 98
-42 154 1 145 161
-43 121 412 119 273
-44 113 127 369 293
-45 411 391 393 274
-46 385 399 370 294
-47 433 426 97 417
-48 2 432 423 162
-49 1 113 15 149
-50 7 9 394 427
-51 99 69 81 109
-52 101 358 107 316
-53 70 82 172 163
-54 165 357 315 174
-55 114 150 448 439
-56 442 433 393 428
-57 289 303 150 394
-58 297 113 295 428
-59 375 377 82 316
-60 69 357 369 383
-61 81 281 315 274
-62 287 70 280 358
-63 401 149 393 415
-64 407 409 114 427
-65 26 37 17 129
-66 23 218 32 450
-67 181 225 269 259
-68 267 261 329 483
-69 60 182 226 51
-70 330 484 62 53
-71 343 345 38 130
-72 337 217 449 351
-73 200 38 207 218
-74 201 194 129 449
-75 226 248 250 483
-76 242 330 256 181
-77 473 484 466 225
-78 182 479 329 472
-79 506 497 37 217
-80 512 503 130 450
-81 33 133 61 51
-82 220 454 59 53
-83 352 178 343 230
-84 332 346 337 482
-85 177 17 31 229
-86 23 331 25 481
-87 34 134 268 259
-88 453 270 261 219
-89 134 256 454 247
-90 33 250 219 241
-91 177 199 332 201
-92 193 481 207 230
-93 331 178 503 505
-94 497 511 229 482
-95 133 453 465 479
-96 220 473 34 471
-97 33 47 245 193
-98 506 39 468 41
-99 138 51 129 21
-100 144 135 262 340
-101 22 223 216 52
-102 210 217 261 339
-103 451 246 194 461
-104 453 467 459 505
-105 506 246 226 240
-106 232 234 467 193
-107 487 489 52 340
-108 495 261 481 21
-109 178 51 185 339
-110 22 191 184 262
-111 321 245 335 505
-112 468 194 327 329
-113 44 209 58 49
-114 55 463 138 64
-115 187 321 349 339
-116 341 233 347 492
-117 188 322 28 19
-118 234 491 30 21
-119 210 265 43 263
-120 464 257 137 271
-121 245 138 251 43
-122 209 253 243 464
-123 322 204 195 492
-124 187 234 206 197
-125 507 321 500 491
-126 188 233 509 502
-127 44 137 478 469
-128 210 463 476 467
-129 99 5 74 65
-130 166 80 71 436
-131 277 365 355 290
-132 363 409 357 371
-133 278 289 81 95
-134 89 410 372 87
-135 319 100 312 6
-136 165 313 435 306
-137 166 6 127 120
-138 99 121 114 435
-139 154 289 371 152
-140 277 146 410 160
-141 290 423 425 372
-142 409 431 278 417
-143 165 385 5 394
-144 100 400 391 436
-145 213 29 19 42
-146 27 140 21 461
-147 326 272 186 263
-148 495 266 257 236
-149 49 325 63 185
-150 55 496 57 235
-151 214 348 41 339
-152 341 462 139 350
-153 214 206 196 461
-154 198 204 139 42
-155 253 246 236 185
-156 496 244 326 251
-157 476 235 470 186
-158 495 478 325 468
-159 462 508 213 502
-160 510 500 41 140
-161 200 244 40 42
-162 34 48 511 469
-163 209 19 53 218
-164 342 224 215 260
-165 143 136 20 54
-166 341 137 259 130
-167 199 243 454 460
-168 462 452 512 470
-169 199 322 336 469
-170 330 244 512 328
-171 488 490 260 20
-172 341 496 53 482
-173 177 259 19 186
-174 342 192 183 54
-175 200 225 239 470
-176 231 243 233 511
-177 12 91 85 173
-178 444 93 83 109
-179 308 401 315 283
-180 298 310 380 317
-181 67 402 284 76
-182 297 78 69 379
-183 11 359 174 361
-184 110 353 443 367
-185 11 155 149 109
-186 157 443 147 173
-187 124 115 380 402
-188 297 126 117 283
-189 388 379 401 395
-190 298 397 390 284
-191 110 12 430 420
-192 422 444 174 428
-193 92 106 305 97
-194 112 103 367 74
-195 123 445 435 417
-196 443 390 437 153
-197 418 12 3 124
-198 154 14 389 5
-199 167 91 169 306
-200 368 73 161 175
-201 91 278 74 284
-202 286 276 368 305
-203 418 300 291 390
-204 154 123 302 293
-205 389 411 404 417
-206 124 413 153 406
-207 92 73 382 373
-208 367 380 371 306
-209 122 3 113 163
-210 102 128 119 438
-211 418 432 295 373
-212 275 424 426 416
-213 374 145 159 296
-214 276 151 415 153
-215 399 4 392 164
-216 386 101 393 437
-217 79 102 4 72
-218 66 73 437 163
-219 88 275 90 296
-220 82 96 415 373
-221 276 364 358 295
-222 374 366 356 416
-223 101 3 314 305
-224 320 311 438 164
-225 77 67 10 175
-226 69 105 448 75
-227 368 282 359 406
-228 353 299 383 362
-229 94 281 85 405
-230 300 92 83 384
-231 176 309 315 9
-232 106 447 317 307
-233 176 126 116 448
-234 124 106 118 10
-235 299 157 281 150
-236 155 148 384 406
-237 429 300 422 282
-238 420 383 405 427
-239 396 390 447 175
-240 398 388 105 9
-241 309 13 90 3
-242 11 365 5 76
-243 176 122 167 422
-244 385 156 170 161
-245 121 111 421 97
-246 155 386 103 105
-247 89 310 444 435
-248 366 446 437 75
-249 310 365 302 292
-250 90 300 294 75
-251 121 286 156 277
-252 275 386 422 284
-253 374 122 155 380
-254 385 421 382 372
-255 309 366 412 406
-256 89 414 404 76
-257 148 8 10 120
-258 430 2 399 16
-259 67 166 173 87
-260 356 171 164 318
-261 88 68 102 108
-262 110 100 355 317
-263 441 147 434 119
-264 429 440 400 447
-265 430 402 119 416
-266 408 410 400 148
-267 68 376 356 378
-268 370 317 87 384
-269 67 355 282 273
-270 88 288 279 318
-271 429 290 304 120
-272 298 399 147 296
-273 37 269 28 43
-274 45 35 61 348
-275 497 212 219 252
-276 221 476 202 214
-277 498 140 251 131
-278 133 475 201 142
-279 455 27 270 457
-280 463 347 62 449
-281 235 27 61 229
-282 269 237 347 227
-283 188 179 476 498
-284 190 201 181 252
-285 484 475 497 494
-286 486 202 492 251
-287 334 324 28 62
-288 332 270 326 348
-289 352 133 57 139
-290 26 271 141 131
-291 203 479 458 449
-292 464 455 249 502
-293 44 35 204 480
-294 46 37 501 250
-295 221 211 58 351
-296 25 213 272 219
-297 188 58 26 182
-298 352 190 180 272
-299 235 480 502 228
-300 203 237 250 230
-301 331 324 479 501
-302 333 204 249 326
-303 485 57 25 494
-304 271 492 351 483
-305 35 223 202 193
-306 199 136 456 208
-307 232 485 480 471
-308 474 179 465 336
-309 231 255 486 241
-310 180 247 335 249
-311 36 224 511 504
-312 135 498 455 505
-313 24 36 136 31
-314 25 223 455 18
-315 231 179 61 54
-316 485 59 335 52
-317 232 180 268 262
-318 486 270 336 260
-319 352 35 135 338
-320 344 224 346 456
-321 111 15 125 115
-322 441 123 169 117
-323 430 421 378 404
-324 287 419 301 428
-325 377 158 149 403
-326 156 288 147 302
-327 112 389 16 395
-328 397 387 442 170
-329 78 441 68 112
-330 15 70 170 76
-331 377 301 93 86
-332 288 91 84 404
-333 367 378 302 360
-334 287 354 403 361
-335 111 310 442 316
-336 308 169 16 318
-337 15 72 84 8
-338 319 2 359 9
-339 102 115 151 109
-340 100 398 431 107
-341 166 116 172 152
-342 397 432 174 164
-343 71 434 83 448
-344 440 320 442 360
-345 409 71 402 359
-346 320 408 84 415
-347 431 280 116 282
-348 397 288 151 274
-349 432 378 115 369
-350 375 398 152 384
-351 72 304 360 295
-352 319 298 289 83
-353 24 26 184 228
-354 334 488 18 32
-355 269 39 262 131
-356 452 222 267 260
-357 132 60 40 54
-358 451 221 62 52
-359 345 183 227 338
-360 333 344 487 351
-361 498 334 512 183
-362 506 487 228 504
-363 132 452 474 472
-364 221 466 39 480
-365 242 451 249 131
-366 222 255 248 40
-367 333 194 184 208
-368 200 202 488 227
-369 44 38 60 349
-370 46 36 268 29
-371 132 478 139 208
-372 254 134 503 141
-373 220 211 477 207
-374 253 222 213 504
-375 59 456 458 350
-376 464 267 30 450
-377 331 59 325 29
-378 267 333 323 349
-379 189 477 182 503
-380 187 253 180 208
-381 485 478 491 504
-382 254 207 493 483
-383 60 238 30 228
-384 268 236 350 230
-385 143 254 46 244
-386 246 457 216 252
-387 510 501 328 494
-388 189 508 499 240
-389 198 205 327 493
-390 190 203 239 196
-391 45 144 475 468
-392 477 215 458 470
-393 45 56 216 63
-394 143 57 50 458
-395 22 189 29 327
-396 27 239 20 494
-397 342 190 348 328
-398 240 350 493 340
-399 46 258 215 272
-400 264 144 266 457
-401 189 179 63 31
-402 187 265 345 181
-403 474 334 500 325
-404 332 256 323 205
-405 473 499 238 229
-406 255 236 227 206
-407 484 491 64 32
-408 266 486 346 493
-409 132 345 64 142
-410 134 266 140 31
-411 473 45 38 205
-412 255 36 500 43
-413 463 474 456 206
-414 256 499 457 450
-415 220 214 346 63
-416 265 222 212 32
-417 47 205 195 142
-418 211 203 460 197
-419 475 324 490 469
-420 191 477 467 238
-421 254 245 323 489
-422 243 192 237 252
-423 507 48 501 141
-424 212 509 499 459
-425 30 20 141 460
-426 22 47 212 28
-427 489 50 238 64
-428 56 58 192 324
-429 264 237 490 271
-430 265 191 323 258
-431 347 459 142 340
-432 342 211 48 349
-433 56 24 47 40
-434 34 343 41 263
-435 136 247 138 195
-436 144 510 130 472
-437 248 216 196 218
-438 210 509 224 471
-439 55 23 454 461
-440 264 452 344 459
-441 23 322 263 329
-442 56 344 335 328
-443 184 196 186 472
-444 178 509 192 247
-445 490 195 481 471
-446 496 487 510 248
-447 264 232 24 239
-448 55 233 343 226
-449 280 291 72 74
-450 66 376 80 414
-451 365 103 358 7
-452 363 440 168 356
-453 88 104 95 8
-454 89 167 82 439
-455 279 312 292 314
-456 320 375 413 306
-457 386 279 400 414
-458 375 291 392 394
-459 440 431 104 424
-460 418 167 7 425
-461 146 103 153 439
-462 168 159 8 152
-463 114 280 413 128
-464 122 376 292 120
-465 308 12 6 95
-466 77 364 14 4
-467 420 104 106 128
-468 112 158 391 98
-469 419 169 127 162
-470 157 168 392 175
-471 445 96 438 307
-472 363 78 443 436
-473 77 411 96 405
-474 308 363 413 403
-475 419 278 391 285
-476 276 157 128 283
-477 420 379 392 373
-478 158 127 381 371
-479 78 301 291 95
-480 364 299 293 307
-481 92 445 86 108
-482 13 94 84 172
-483 68 304 382 75
-484 77 407 70 285
-485 303 381 316 307
-486 286 309 408 318
-487 446 107 360 362
-488 354 14 368 171
-489 13 421 107 427
-490 429 419 445 171
-491 407 125 381 118
-492 286 123 116 304
-493 408 398 389 382
-494 396 387 303 285
-495 14 158 148 108
-496 156 446 150 172
-497 275 79 94 285
-498 277 312 283 361
-499 388 424 414 405
-500 125 412 160 403
-501 387 301 423 294
-502 299 126 159 292
-503 80 93 379 372
-504 374 311 381 362
-505 111 312 93 104
-506 79 105 98 362
-507 13 125 423 6
-508 11 388 4 159
-509 444 126 424 438
-510 387 160 446 436
-511 176 311 94 162
-512 80 168 170 361
0