SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 n tt ]]]ZF:threads=6elapsed=11.989cpu=44.988gc=2.452factor=3.757zXZִF! 8s]ŗXf1-) enȈA XR„S(Ip{:RFyHt_/pzKvIR>$Z5~2 i@aL.1҅A~I"} (at;o[+C`2N8W |^;ąm6[' M ,yى| wߏ Kل&!E>At`E8ýpS」jg%O[@WsTjS7 >7JMvqTw =PH@d8@[͆(M-. I*h\VR;Y5v Џ. Ì5ۀmkhO("柮cA߱R\F wb}Qji+uM )4k+{ɢCS*?گ|UKE[p{zOI44=̌V9K8N6ʵ ~`-m@RFa9~M+/?K)v0e0꺣 f^sTivO+CšMjLGKD IRf_(L|Lph(\ˉCSdRCӅI>]bǽ RyT<ƒ2vJ=q}{PnQR$91UAZv@m-#ֹ,it@JS1~Ԑȋ N*dT%rh ՔTIe0Z yϕ:OZ3NʗSl\:E; ƥh4[{e,ƶ7d58w ,ϱM?X \6즒?v>kk 2-Cc8.%[+]FYI&HtwPmd߃wB:i,3+)2|M<D{ڭ$4YG\%bl,i$*Z!'p,-WoV8qji*_LD7}B0m2\ yjm,8dm9)8/ڨ-\\dJڤ:Wr4ˋ>U!_{_/`+Ue[xzʑfPL(7˥1bxTks$#kn, NĤz;O7K/mk8F.|NP],m Wƥ"BlG y4gXk-)ڃD7@GdӠ<2U1RO[~K9RgZ8C[Ǚg !C)D+T è1c z~\$_Ehq (㫫&L̿j̒Dv/Fo[lf&50K)pMYăd%T[2#$˰qs=WQܑyu- hW ɆxgYZf887e043da390597a059bdd1a0f50d9e14ad05193d51ec384f4fe0110890543589008d84c8e75ee449481c1b5cff99a61aae1d2af22aa8610cebb0e3  ZF