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