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 ||' Tt ]S Zeta_Function:threads=2elapsed=13.699cpu=19.740gc=0.460factor=1.447zXZִF! @]ŗXf1-/6vRZkBO&+'/vҘv;,^&5ZBbTc9ߪ+Dm.=,Cdr'۪x-jWNNՑ\TN. 1`rL]Xq<xa~TH4!ZZ1[Dd{:Ir=W:ԵwXevha >~>QQ`ᚽ GZ~aеkxgl CKQ8:j l'a_tY~7x$'ԥB|gYZ7zXZִF! c]ŗXiɟ ؁#dԗm.o8S0֟N:E0*"ԝFW' sҽvf~. \ gYZ7zXZִF! S]ŗXi%>g{le%l{I5[bd3 9N>lkftJK! JleaǟX6<fq ]I,nj%LS/2})!UuiPHOu? *$U%@m ~.z!ʱV _ᬂ03'KMުBfSN&2.m_8ݡ:d{KR+c7ꢀI5)U+7 8--oc0Ee7gVlLTsl Em1θRMeuVIbt*싴ՅlWV_PWnNg|M5 ?lY6-#t?n;Ư"TFؚ(s8_}*S>P~wZ7)>RJL8V|w)M ?ڣ49(K>Sv65V"ybo q}!eQ0eڵ#ƈ?FF+_:bo i*D'XVs4g_HVv/|)sM+%웸X ־|QWiV9F'J񱨨p:@؍_`kC<ê_X~%˷TLww 5ŒV qd^+ ~}[`^w@ OI1D߶rJ-H['@ym `"qêdȱ7ā7(]84o.iꒂ#l_^p֞|Yn7b?W#{ ^7]qdk3:v|V(%JZlkCCMc [Tr;p m0rE m,g|:HvX PyϷs@QdQ`O3{_tZ =A5+[tY