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