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