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