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