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