SQLite format 3@ .0:  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   |,\ ]/ Heard_Of:threads=4elapsed=27.400cpu=78.968gc=2.404factor=2.887zXZִF! %u]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFgվ_\×׾HF+;$l YI7z6YP-0{`Iĩ|{Fb5rEw̺ &1 YAf><8ɐq XG VTRx&BU"~u1^-?P?1hhT/C4 pO,'?[0jAgt$651GS lw2_N sŢsPwOy!nvH%Gre[H^ОA(? .7R@W:{ l]M~)GMw욚sU/!n#<]XZ2|\Y :S   Heard_Of  IzG@N{ 8 ]S_I3Vԑ J2>)mP\'FUge0xvИK#kc~j k1 N_bȕd'I8"'I,dm@gΡ 78=c",@*3_O32Az,jWT] k9ΰ#:j 6' =eJו5,VtH3|7EԓJ:VK?,$\a&GܘWQiPHt.:@eJ&}$hfɩq"YjiG;6#)k1YDu,"0jKm xB<}E;XY0|ȸI4 ^S (Q MY]+sʣ8|b1p%?2y3lH\jW@@H m/L_#bǸwRЅ(C@Y+.ʍľp3i"ycg k^җ-~O#ٱ%;bNX ?H 鏴ɷSs(&@/LX:Zp0M[("GZg^9X%h0DPn«:R| KBgYZ7zXZִF! ]ŗXiɟ T50d.~En.yWM͓zH  a~; ?;:СCn\U7'PyX KN?J݇ =ꐄžyb4i5Z"ֵpS^Ɗq.g'6'!f~8Fқ7wWtBFf˴E#KCV!21ԥɍ @ FX2Ʊ"ZEJo?ٱVۧMFL}S??ޗAum׿{ȵwu11CZLڐXM%5i-3FPrڮ?=T6TvSNVm)(t5S2|ƃQIzD|<5}lrj2@YU6Ƥ_)j.˝Eo:< 1 A=Li=WsnL5vU$-xڛ;6]Xx1Ie6x/$ V; TkaxFio'Ԕw6jzu BxܿXj\AA弍]PQ"g7(X7,`mY,vov@_;$\LEj5[?٨(JA4M)aX$v>ݚ@ͳe'F{v`FħͧR=;/>F0{ 4hI.M#ǜ; ';{Ÿu-R$dC"3K "D',3D"82P7>P)8 1_!eWM XR m/@ݴ,0,+T,.kgH1}+VIJbW J%H9c /@$TۥhBޞW'~G1rZzm"?gCYbWn8-`m W? ""oE433MR.>NRJ%lJwd#HTÀƩq[BxNT(ү``oPC[`m~9,hjyP'G,1Û+nѷCk><[?Λy*;؅$u_ P=r}>̷Yx dƼ_>R5ϽL.B?u$/F0xMmEϊWktZa~iBC:8鄋r6SFo(/_h-M@S"Y~Y!]K[c!sDSpqb\N`}EK<^;awE@4ŸiѦpXz2u^X滇3 1=Bʵ%GLK# ė̝$9-9x2nMW";0{Qc#ϼR ]^MjtG#+2m}8/ْT@5_xrdr󸪙A .G@}r[0dW(b*7H+1M9QiiM`lp q,ݥ[R9ߣ"n9Ċַ*>Jd%QKODdca (! E\o4YiGՑhD90<^HpJsQf-Myս}i4<"Y"1-֧.DH0NPҦQFӅUi ᭢Aڧ:h#R=[*`K1dw'QAag&L2 iĩ|yßaq%дA_ (jRe5 %e/GQ=tC=!=V[d"KIG?3zpM 'o9MgYZ76320e6814a24a0451a9912ad42fd4d164ee8c59ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022