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  e=t, ] Polynomial_Factorization:threads=4elapsed=44.093cpu=109.496gc=2.844factor=2.487zXZִF! 3]ŗXf[&kRFz9X7@$;UPtz'.:5RUtB:%w~ 1@lo7z5 %+Ը'o}-;:o ̏[Y<#HuoF%#r![[3b쯌`B g" Jhvc3sU|.hU"<ڵkʉW**-y. 92Xolr 5ox`WR 拹} 3gSmb˭Pg,+w<4a"1/=_ܬBok|7.g :vyog  «4#װZ9m EʟO;"&%<-Pr͞`W}|䁮2F4t?`r.i =7kMze?y`)2_|1YPhQ|gV%SPun}`Ʃ؅ԝ T<Z9tį4?$Yd]G,OF.1+M+cMAY/`&z:)*XF*.V9 1dY&j%^\z @C2+=C̢fze ;Л#sHq?L2}9XEHf!lIwe؏kJ3Y4meրOwCT;J$@Evl)A3EGlӍHF3_e%s{ȌA0Ke=u21(<js䎾ԢhTe "lrξBr k $ ^$qpޘ+*x LWmѫ K%&xƆO|e.7pM:xr\jU#y&lKL_:P9{sMluz3L H%۫Iڻn/ f?7/gYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|S`Vg%.05|0BY"J7䄂3KO@0})2kiksJEzSraez1nsӓRN#rQHA? -|}j~H܁)j^XOT ۔Q`2ǑuV(V]kjo SHpC>0B#;9r gN̮78fe@FExn%(Q#*UF /شϬf,:x ⧂8w'CIU\# V׬%WB4JyFjh:RG 'Pޜ ZUt9iVu }%܃uS_uZ.f8ݣ ʼbxMi{Y}fT{]#R97F 6'3V?/DeoI$1k1UV۰ [7?-d=SzJ K+VWx\C/Qsgۛ%T|Yu|jäMdl8or黰%_b+J3ʑam՗*!cx @GTaZXlGs[VH'/CgwCbl K(_:!`#V OoS4췣F^Mw/\c[Kt+<Tw$2]xࣖ~C@Ċ Iy Әd4exMxc,j˾aŒ?HZ}XIyS}qQk2bp/Vs$P^Ci.Ix2~Q*j\d6؅_Z$I܏"Tgj!7 E>sgNڢFd3AfBaIԐ0x&\YxOōi7&g6y5Bĕ_o~"LZlN$Wc- JuJ󢒕uiyt_ wL'[ւ2%H'\"$oE#;heɟ S5HC-xb>pI-kf t[Ϸ'UJ DLѣF1u$i+>3`m,qkKޔUMrϬJ_`Oݤ$m 9Sf9Cl_=vi3"' lI9-Lr<3_]vLnN;24 XfWΦ@] t»v->_aT-S ߧϒ_lF,O [-5;Oleԟ5?.6~$Oqwc0S=8^6k[2J)TN'2O)s|na4ڣDfMԛGH *&b7t%#P!J̃?9-$qC1CK##Gf |rsOSVkKr#wCSf&W_DkVѭ[ܰKy 0tz?txn㊯zڮ{\xlK@Hp[0)*aʠE"LʵDąȲ7s I C-C5H[GQ]|$a!옋Dh7<̇-B.Kտ;شц쪐5ЖK$4iyU3|u0Fk趲?bK4Z/%FǽvY a(%Y { (WzsT}s >BhI L$YzxP٢֬$e iOHO_KQ2{Yv]] ?ὡ;e^sX{Z#B\_|IʲҸ2I+D>'hPC! 'MQކ7C[0)Pxϝ>bi/x8ɸQnͲgMl1ziAgQa .B&A7\&ԗtoͻfYL?XH!OG1k )/!#'*wG.6,H%%5TT''lb]QqGSߴm+G;Con(s \n K8+XܲTl<0wxZT], 5W*$քB&-#S=mϡC"#j~0HydE2L>