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