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