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 u |  ] IOA:threads=6elapsed=7.793cpu=33.516gc=1.484factor=4.307zXZִF! 5]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K φ]!Ȃޮ^k 堮g :W(T<`&:RZswnc&JX7CɓtBeFʵm8&6.|da{zB}oD1 3亟teWPAWyO8HgV\9)χO!D&ć%_u7I FmDc?k#j'QT_vr7:(1eSykJp #Nkz8e|a2|պ$~=| {.; <i5{.UUzwJQ2ah;- 0Əv +Aɯ 1祄&i5lm_zBKNelkǞe8,gYZ7zXZִF! `}]ŗXiɟdN'LvH۹$nWvYe|QE3B5>!HAOٳ$G䤤]s+N4JQzR+/]͢ ksjffC g0' V)RmW[z}əUn0) ıݙjZ]mq'tQ5aEGM(5jAGA^+8C@7+(2ck(K ]f؆p.(cZwnRĔԣRs.^׃H{ Z0Br0*W \ṽ;375w+$5J*yI +7@0Q| 嵧??[ݻ^Pוo JݱgYZ7zXZִF! &]ŗXi%>p㦡=D\?ײ3 R,%&t$S()dN&$r(h>/nxzVyL0SX<PFΣ$=IIs)4g (^nxmplgjmX^tQX. ረuK yiRbm^sҁ NU`LER˘Q2+0uwy)TJex7ZO|`^[v iDcpfEj0w/Aʂ$FzB X߾ xW\ƃXd斌8'~ 4nZ!1"pьV1^|E!t9#"=WbQnO2TEwbl9)_7ʣ'zWz'u'P*df*~JhjΏN  ^z[ZJN}5q,́k82dq7uofAxD@Q4Ιաeccǡs'@gf. O.Br"g(&l[WǴЉe #R3gp¶Lq9͎E@P4qPML_m/ ) `S;d\;KYÑj2$+CIH[]BYkǀ/ Őf몄bZR #[-Ҳ`g{ AL9|/ѦL ZK*Ad Oc^Sg]{qX /5/3~ CidN>̰{8u3㌛~