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