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