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