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