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