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 ,,QtLT, ]]]ZF:threads=6elapsed=12.468cpu=47.084gc=2.9207zXZִF! `]ŗXiɟ{5فE՝ElE{EU~c(o+T9&%WL/*-wh(2#%}u)oɫBsxg\VY@p yDZgYZ7zXZִF! $]ŗXiɟ 1FE`u8גGWsbC-?;e^JS&\-S,RaZxl>5K{V~ʭyi719{Q.SMIXT;#X{iE۰xZ< tbm@!xhp{ ɋCN"1{A6P?qI8Lxݞ H76zp#Y *NT#p*S~í>;$HKH!A욫HO= I3ܶB`Ά|Ңd,gG|e.o(}@O kq͸Ơh<#Hw颼b1П2%[^Wpь/S'S2DwGw26(XretM#9)AGX/=Tf]=pylu+ǻl*Untؑ@|#(%X' >oD?QIȜ`Il\&,]DKc0sHS,"*$M4ʶOjGgYZ7zXZִF! D]ŗXi%L(h^r"8p~|61yj.EH/ԅF>q Up'd/i f|*sZЏ0/LMw[]gd RQvp]`$-D4GHm1 L5MmSq,D7dP-iE.=䒓"i Q|(A׫mpbMމ6@caʛ^9^\,JdS_B4feC/RiL_&~\$024W]J;>q0_%Uryu8j #]`7M/(>6'rwG]8l`=0pRT7/Aje9YNgCŵW@,,LF D78S3w#6Eco>*T(Aj!yҶk.`}{Έ^Eت}ޤFT~Ǵ\ _vP`FM%E:Y(We%~Kg'{o dL/$uQ-|0-%JMYʏ);\? ̭!}s5&6+^)N k]oE_ Bٷ.(vͮ^/V2]f3VE5Ԛi@Seupu_XmO21Iΐ[B_40$u 5Jl|{ gv'v8E ũxPzWw|il8#L[ւN:_YBZ2&P-RN8W+! G~J?ZW*L )uYvڴ"ƹwX*גB7i}#_-S\bc$Ӧ:qɃC|3KrAjB!hͿ{ [oc3B ̓?9]^Pa|mh4GxT&w=pbÚn٭*I :?}uD~b^F"&/UT\Αn#ٯ I4+2Drem’flhmlP48Vٱ%~)D69.Z>?#7$@ "#}}@ws2ՠE?HLDujD|NgKԊ ('yV`p`Kʁdz˻$_l!ň=1u6EZ]:iH˯ *_%TF qg&b(`c\G Y:la|uVPwF4 Fk9)ZYs;Jw|y;u rQ̏?eӦja";ν!h܍hXO:NuNM ,gDgYZ66fbfb8c8de5cbddc4d9c5b8079fd49ca0931aefdd4458878f01a34a1b5791d5d83a4c7fde98b70978415782b4fe7c01401c64fcaf9299979771890d  ZF