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