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