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