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