SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info aE $ ]I]Pre_Polynomial_Factorization:threads=2elapsed=30.405cpu=58.232gc=2.576factor=1.927zXZִF! b9]ŗXf1-/6vR[2ө=%C0A9RJ341M [판;~u/ , =CfYĄ(N!bP$Bgq qWجH%X%N g7XQelI7:ahm`Ykܠ<lA?! ƑDJ݃J^Y3}O-"`ͻrtjNA[{':KB+r>PfxkE 9g]%|J[x6N5bڄ@T.GFdJuXk_vDL*Rͼ O{*辸#b Gx587>'=*89?Fj-7-#Mu N8bo}Ux9,h)\`*._f ?r]30?`mތNl<`wGېar=/≾L.CgVQ!vN>B53_OǣJ.nUTs+״35Wa{14&ӺHuW39#@雱*.gc ƙKHS lթʄJ`EB?Y6"S{5u{)BD&P+UQ|TR oӋĆu+c- "ibPةmgFJ\^e2#ZR߸Xcʩhĵ+t7B<ۚRm6@( 8YJE8wۆ.t\B拖$_% fu.&T]OSRЙ&xNpbD&sFao~lhtA[rK3(pSfQMP]NX!b<&ޣslT5hVk0鵥o:R0qT?ܴfA뛌K!l0~v b;BD^A%RgMyq@<$)=XI䍰tϞG6`frvC h:'g1B|}]Y8ǘ9xNl^y9WIE[[r%Ge'XO$EC`>m1YTk3']DqkuKЂy oGlrOhizV'5(X1U {Jƫ<t!竂8aM]GwX*=/ Q/{5wA LǃMϐ8|!˸'ҬHl^={L;43?RZ\jgqo@2"<^ %vm_s(JّremkI\Z$壀E}"[iAH^t:+`IĂlβsv*)SStid 3G~Mؿȉ\OUmB m<.. [X */iOdzAkͧw=k@O?p)njVֱgYZ5aa2ebec918c473d5e02449d6ab5ee1f5ebbef371e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 c8d68aa4c900a2002b0247eed5bfbe292ac887fc e1f6df314b7334782f467ea5c8be9602e0d3e104 0217df40cd92826d2ea9e35b299980c511f44e0a 5eafdd0b2f1c28b67ab523a0412efe5b6e3c5ec1b05c0924a97f4d7a211d3832370958563ab78222 E Pre_Polynomial_Factorization