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