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