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 ``1l$ ]/ SIFUM_Type_Systems:threads=2elapsed=62.310cpu=106.784gc=4.216factor=1.717zXZִF! F,]ŗXf1-/6vR[\w5G.`cxY݂Ngi]k\S3甼IX-vm(ܰ G`QՁA)xXaHhhNOnzIWC}77fdPHMud6<$:XC9 zjWI,QMp[00=PVL|)/6zMZe;B==drP /pIJ%r]t&?+ًKTz!fǯc͕AC=FpӭxIRiU30rHQk~]W-Rz6z$h&n=/X( b9Xb"quvz:i~e֕CiD\qBM>,n.G `eXМG]ϋ2j]r&$`0B5A](>}Ͼi/e$N8m,-&熲=-0>- U='y y @cށӇ({GLZ<{,0 鋷^q2o Mv~N٬i!QH-omn:IRh/#~GǍ˃ Ŧ|-u #bӉ^ _*oVlXy^}%=Y^GNLp8exLpeA6Mt/xZdZ~+/% erG"$%kn⻬MG dȗFve(-"G";k#]IGVqPNy8qgYZ7zXZִF! >> ]ŗXi%>glm Ci]*(Sy歞yXuda`Gl$l&>Jn'AsG[np3/™aKiĠQp#iGSP|..Qz6'_g <>&b\hcl}Ӂ1P& 1 SIFUM_Type_Systems  aԝ7„gǫ2U}2Aʿ+n7q?kQJT:+&TC4X+8]hre?#hxF[FySiVܙo+y6< `U] ոMO`*u?7Bk cZA[K`am~K?DRzo؊ 62:H]֕70sFoW4=lϸ!}Vʵo)] ¥-g3 Uo|Lf>eaGɜ;k}f Cp}[0B,~,:O´`T8mIy@&`oCS"8pI ιf&ˣ, @P &d3cLc$;3%O$/N峎<mn¨L[QHP5,=$QjOW9 iP`?ZSX"pgs~aN* 8zᠮZ{M./2?JM;|V5Es3W#Hn~Q5/ԜޠC~H~ًK|rGWd)T% 8#{ϗ$v;N:@rA+EU 'EBF]=Rĉ}xhېRŒ^W)G?C>}^}zҐ˜ VcZ̿C!\݀# B"dJLd23vh"vƹeh@ K;Vz¼b D` U)A^5"ۓV5s7 ?8GbOIT׼OFQb3<~ ˸->}KZE%S`f^1m0C7rA!Y`twr[CvE}+n7}1sSYFup~0:,Y N{O|  E/V'd'~G[ *qp'ΊR4c̛rTg  ,=< & .̊["N693p 5CM9Яdg,jV*_TS g'(# w2W$?am&Q]'3NN8MvE[z[v:Dja5B(i#`bJ9rFs(;<,.Nv*zg57AaU|c-[D塛؁g+nRm$=ʵ`j2LQe7ʷ'Suź4!KQgəFêgҒ=vfVB@+ DIu,uJg89R5R]?t&ar dp< f.vyə2{Kj}moݲÞ/AO^`.}A`/KjC QաUN1f+*.-h~tUrQmeygOP\(6\6CڲiJ{ tj Εc鹻#ql9y$Wױ[q[)!4GI,襇uz~(h7C欽JQt'l:1a4*ݝ揚LQ:2&=o]!J$1[2-cd"k[Na`Gg˦[Mw᭯d^|*6>P`5 U_VaA&3 X!R*ڞaOR| aϨk"(Ժ*oT.&?$IவS]ڊC:';#ٰ*N3 v(^ѝSc5:n-qaOQ