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