print "A matrix called newformsdatabase is read from this file, with rows \n [discriminant, HNF_norm, HNF_b, HNF_c, automorphic representation weight, total newforms dimension, basechange newforms dimension]"; newformsdatabase := [ [-7,100,0,10,2,1,1], [-7,100,0,10,3,4,4], [-7,100,0,10,4,4,4], [-7,1,0,1,2,0,0], [-7,1,0,1,12,3,3], [-7,1,0,1,3,0,0], [-7,1,0,1,13,3,3], [-7,1,0,1,14,5,3], [-7,1,0,1,15,4,4], [-7,1,0,1,16,4,4], [-7,1,0,1,17,4,4], [-7,1,0,1,18,5,5], [-7,1,0,1,19,5,5], [-7,1,0,1,20,5,5], [-7,1,0,1,4,0,0], [-7,1,0,1,5,0,0], [-7,1,0,1,6,1,1], [-7,1,0,1,7,1,1], [-7,1,0,1,8,1,1], [-7,1,0,1,9,2,2], [-7,1,0,1,10,2,2], [-7,1,0,1,11,2,2], [-7,1024,0,32,2,6,4], [-7,1089,0,33,2,11,7], [-7,1156,0,34,2,5,5], [-7,121,0,11,2,3,3], [-7,121,0,11,3,6,6], [-7,121,0,11,4,10,10], [-7,1369,0,37,2,15,11], [-7,144,0,12,2,1,1], [-7,144,0,12,3,1,1], [-7,1521,0,39,2,11,9], [-7,16,0,4,2,0,0], [-7,16,0,4,2,0,0], [-7,16,0,4,3,1,1], [-7,16,0,4,3,1,1], [-7,16,0,4,13,4,4], [-7,16,0,4,14,4,4], [-7,16,0,4,15,5,5], [-7,16,0,4,15,7,5], [-7,16,0,4,17,5,5], [-7,16,0,4,18,8,6], [-7,16,0,4,19,18,6], [-7,16,0,4,20,10,6], [-7,16,0,4,4,1,1], [-7,16,0,4,4,1,1], [-7,16,0,4,5,1,1], [-7,16,0,4,5,1,1], [-7,16,0,4,6,2,2], [-7,16,0,4,6,2,2], [-7,16,0,4,7,2,2], [-7,16,0,4,7,2,2], [-7,16,0,4,8,2,2], [-7,16,0,4,9,3,3], [-7,16,0,4,10,3,3], [-7,16,0,4,11,3,3], [-7,1681,0,41,2,13,13], [-7,169,0,13,2,5,3], [-7,169,0,13,3,8,8], [-7,169,0,13,4,12,12], [-7,1849,0,43,2,13,13], [-7,2025,0,45,2,20,6], [-7,2209,0,47,2,15,15], [-7,225,0,15,2,3,3], [-7,225,0,15,3,8,6], [-7,225,0,15,4,8,8], [-7,25,0,5,2,1,1], [-7,25,0,5,2,1,1], [-7,25,0,5,12,14,14], [-7,25,0,5,13,16,16], [-7,25,0,5,14,18,18], [-7,25,0,5,15,18,18], [-7,25,0,5,3,2,2], [-7,25,0,5,3,2,2], [-7,25,0,5,16,20,20], [-7,25,0,5,17,22,22], [-7,25,0,5,18,22,22], [-7,25,0,5,19,24,24], [-7,25,0,5,20,26,26], [-7,25,0,5,4,4,4], [-7,25,0,5,4,4,4], [-7,25,0,5,5,6,6], [-7,25,0,5,5,6,6], [-7,25,0,5,6,6,6], [-7,25,0,5,6,6,6], [-7,25,0,5,7,8,8], [-7,25,0,5,7,8,8], [-7,25,0,5,8,10,10], [-7,25,0,5,8,10,10], [-7,25,0,5,9,10,10], [-7,25,0,5,10,12,12], [-7,25,0,5,11,14,14], [-7,256,0,16,2,1,1], [-7,256,0,16,3,3,3], [-7,289,0,17,2,5,5], [-7,289,0,17,3,10,10], [-7,324,0,18,2,3,1], [-7,36,0,6,2,1,1], [-7,36,0,6,3,2,2], [-7,36,0,6,4,2,2], [-7,36,0,6,5,2,2], [-7,361,0,19,2,5,5], [-7,361,0,19,3,12,12], [-7,400,0,20,2,2,2], [-7,4,0,2,2,0,0], [-7,4,0,2,2,0,0], [-7,4,0,2,12,3,3], [-7,4,0,2,12,3,3], [-7,4,0,2,13,4,4], [-7,4,0,2,14,5,5], [-7,4,0,2,15,4,4], [-7,4,0,2,3,0,0], [-7,4,0,2,3,0,0], [-7,4,0,2,16,5,5], [-7,4,0,2,17,6,6], [-7,4,0,2,18,5,5], [-7,4,0,2,19,6,6], [-7,4,0,2,20,7,7], [-7,4,0,2,4,1,1], [-7,4,0,2,4,1,1], [-7,4,0,2,5,2,2], [-7,4,0,2,5,2,2], [-7,4,0,2,6,1,1], [-7,4,0,2,6,1,1], [-7,4,0,2,7,2,2], [-7,4,0,2,7,2,2], [-7,4,0,2,8,3,3], [-7,4,0,2,8,3,3], [-7,4,0,2,9,2,2], [-7,4,0,2,9,2,2], [-7,4,0,2,10,3,3], [-7,4,0,2,10,3,3], [-7,4,0,2,11,4,4], [-7,4,0,2,11,4,4], [-7,484,0,22,2,3,3], [-7,529,0,23,2,7,7], [-7,529,0,23,3,14,14], [-7,576,0,24,2,2,2], [-7,625,0,25,2,4,2], [-7,625,0,25,3,23,9], [-7,625,0,25,4,33,15], [-7,625,0,25,5,47,21], [-7,625,0,25,6,66,28], [-7,625,0,25,7,76,34], [-7,625,0,25,8,90,40], [-7,625,0,25,9,105,47], [-7,625,0,25,10,119,53], [-7,625,0,25,11,133,59], [-7,64,0,8,2,1,1], [-7,64,0,8,3,2,2], [-7,64,0,8,4,3,3], [-7,676,0,26,2,7,5], [-7,729,0,27,2,13,5], [-7,81,0,9,2,0,0], [-7,81,0,9,2,0,0], [-7,81,0,9,12,42,16], [-7,81,0,9,12,42,16], [-7,81,0,9,3,3,1], [-7,81,0,9,3,3,1], [-7,81,0,9,13,46,18], [-7,81,0,9,13,46,18], [-7,81,0,9,14,54,20], [-7,81,0,9,14,54,20], [-7,81,0,9,15,55,21], [-7,81,0,9,15,55,21], [-7,81,0,9,16,59,23], [-7,81,0,9,16,59,23], [-7,81,0,9,17,65,25], [-7,81,0,9,17,65,25], [-7,81,0,9,18,68,26], [-7,81,0,9,18,68,26], [-7,81,0,9,19,72,28], [-7,81,0,9,19,72,28], [-7,81,0,9,20,78,30], [-7,81,0,9,20,78,30], [-7,81,0,9,4,7,3], [-7,81,0,9,4,7,3], [-7,81,0,9,5,13,5], [-7,81,0,9,5,13,5], [-7,81,0,9,6,20,6], [-7,81,0,9,6,20,6], [-7,81,0,9,7,20,8], [-7,81,0,9,7,20,8], [-7,81,0,9,8,26,10], [-7,81,0,9,8,26,10], [-7,81,0,9,9,29,11], [-7,81,0,9,9,29,11], [-7,81,0,9,10,33,13], [-7,81,0,9,10,33,13], [-7,81,0,9,11,39,15], [-7,81,0,9,11,39,15], [-7,841,0,29,2,9,9], [-7,900,0,30,2,3,3], [-7,9,0,3,2,0,0], [-7,9,0,3,12,7,7], [-7,9,0,3,13,8,8], [-7,9,0,3,14,9,9], [-7,9,0,3,3,1,1], [-7,9,0,3,15,9,9], [-7,9,0,3,16,10,10], [-7,9,0,3,17,11,11], [-7,9,0,3,18,11,11], [-7,9,0,3,19,12,12], [-7,9,0,3,20,13,13], [-7,9,0,3,4,2,2], [-7,9,0,3,5,3,3], [-7,9,0,3,6,3,3], [-7,9,0,3,7,4,4], [-7,9,0,3,8,5,5], [-7,9,0,3,9,5,5], [-7,9,0,3,10,6,6], [-7,9,0,3,11,7,7], [-7,961,0,31,2,9,9] ];