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