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