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