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