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