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