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