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 GG6E D,l ]I]Pre_Polynomial_Factorization:threads=8elapsed=9.634cpu=55.112gc=2.285factor=5.727zXZִF! ]ŗXf[&з>V=-t>&[oXzZ?FݑԟAv/{H^C1Fp.UlʠHߝK`{ 5Wڻ=Z1f?PrRr 6i 12Ho(ӓ!fL@G *(32; lF"E$OTݝ5/G/ 6̆4&|w5p[O BB Ѥ)gv:X~ 4ɽhT8_RāUs u7bL֑a 8o9|k]#a9&HZAgE+xCtyڑ0 &TJL\a>5 'ᡍnb–,pLU_Z۵vf ,PzWbpן`3= O(`,rŠOrwf0\@DϜͧMĢ[ +5¥T`.2*qx6lĵ>eR|xEV 1ai8)MBoZ&#C?( X? *7rh`g*  (9+q"cE ;W@Sk6B~7|9B Wy>HGgVĕ,hʦp H=ce+@6s)fu'gYZ7zXZִF! ]ŗXiɟˏ "B"V^W\0CI 跍i36^iO-!}J#s`'=]ڶSs%06t݆BEǀ2or,wET@ P Nl!A#_l ,do䱅W|k!f42/*K)%L#g}?ARU.ϴ\p1p0CC~GBSr9*S|?vrn> 0dPԙX_%S)*9 n)wt)v;½]m1\Tt{ʅ޸g/Q|?9.zt531Z_e2.C\_Nx1K5.SvEw;_(sH5p+h~Әqژ|$H-؞ ٥GUin0忢V#$YTu: ~1fsZcш]U݆uwW%-$TUG4x%o?a- X| HL?ݬ!Vt-evqT(`e w„<$ۍU43ТOIyܲыcRKL~'S}SYU~ ˝̃y