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