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