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