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