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