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