SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 NN/E |L ]I]Pre_Polynomial_Factorization:threads=2elapsed=25.340cpu=48.340gc=2.168factor=1.917zXZִF! ]ŗXf[&kRF̑.'rUsiBש-.X*!9aZ,K 61dAu{} dQm8crDcPe+++R4 %W%}Y ɷ@З~g AKv:qNY[2Yfx24t@sDӍ(+*2Q#`$~CG jc؁ǜw m<ذ:6޳V5$>Iq 0 ",=nL$ zvЋQFB)d.UO/`W|djW9Yl`4v,iP9l͡ܦqr>쒋j7k6@Ν&|`'3h͖)lGpeOOa6 CϚ}f="V]V ]`\gYZ7zXZִF! x]ŗXi%>g3خRVFJ^2gm$+rZD @ѢD]g>Uu1jJ$>QAHG9 V`9U;IB+fU1UިJ%T"|]\^b\$oTYtdyX[mb}QKb>WKJC[r/BGp#7ZKu)oLnω$LxcηXA(؄ [? xO#낑x AYZDSBl)kV6^_t&P PDT"Uл*~2{G؍= OثW4sBt/g@^J>Ox=C{ɻ]θFX7D+o\%)k\0\ǹdø9]V V,#`g']^Z춃 p1/cX o3-F cdm &t=NaK|&WJ J jm7|tLz4+#!@WhBշhVb%~VFI 2YFCPԤQbE+v'b)?-+ܣW Q(q{3֎iR+J++*rtH[# 2sb[N#^>#ĵV t!JaN1mQ}K-X\S s˥佛YIR: 8XҞ9zx`ҩT-S`?yij93kNuxgۆϪ] .Lk?֐eczʏĬG$ge" V]RAR gE d[%L(ʬ<>}P ~cos.)'ᐎwMP::0ٱ˳eY~eY\?Ͱ kQZGH\*n4eu0Yՙ_8IeF@4 qn!\OFaJ~Dj"|ٛ~L VM"e26ª<$y1;7dI:wL@ R[}zR`ͥȃld BR #0D*"xFB4?0Wfe(n17#Z13y <A@б,H/@^sqm4V?q$c 2sDphb)b dA xgYZ69ca3695e25e66269b42e6a1fc0401c077ed68ad0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 f8d9964663e20ec65b7acd393e357a95264709af d5cdf963dd52a489e7c52af8ae9d3fb3a83cd098 c1d83643e8195d393dbbafa86b565b4a3fbb276d b39b44f8f8b4f81c15a29f5c07441cf8bd259ce97037effc9364b7cb4d03a4dc735eb5740a281be6 E Pre_Polynomial_Factorization