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