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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info F F :zTD ] CoreC++:threads=4elapsed=162.487cpu=537.268gc=47.1247zXZ ִF ! y] ŗXiɟH)0%o
rGKRHK)
>*p!7f^f'%?%R!19ʁ4CkvMb)iKd|۫ls.
_cƺu5].^J@UbhŭJn&{D>>> UPՁDK(H[.)p$F.&W\EӘ뢭ߟBM
4_lp-q3 0S]*vTu;)]'rgV~8ni\X/]GPm΅EBUNmk&ߔ>ZC CAmc( {B狏r{PF같+g#7tʲ1L'+"ރ2m)<=Qsu02pNGϊ<АmB~Ҽ0rL_*:}Q1]U\!2wr2W
LNzU!YİÊ?h)fH2G AWSO$N9
BU#MjT,-Qn'8#&Az۴.R;ajj.LpuSI`f/-5xn@
.H<涺ɄNR!\cQχD9yf.#ܪF wCp$WBb**`*^J:5HFlyDg7ր&Wi5X3S8rY4&8N `}%`kr_{,ڣ{XLjZt5 Dq[cZE4j^('U.e3oѧ,{M|ϼvP@p@HDhjҨm/TeoGԿW(BVH֪RD'Q)/j]d2`c9# ꝅ}Ds $Pt9bH
>rq?)4i ;\f~1!o&ű+֠mu>ܛ@ODCu!:G.%_51_ٺw5c*|pڀJ@IiIwi߆)4U5C5밼pl0TE*B]ޘ5Et
y
s~#a}*L%-؞/83r%(W]ǷƙcVl#'C_?v7#s#s
A C1/GѦAnٮS8eQ>4שQ+4<(k?la`pתlF3o((l?D0/53ϠdJ)pDIBs vfI+ll4ɹU 5>|mfbw|s#cf& Yʯ(+]{V+xXxDGGP"k4w^2*#O
s`yc}ܟݙYQciMzo9o˦m3:
8+k@:">YTxvCEޕxsEyW"
^UϬtZfS4CW>ľg~12VqϮT+aLm$iPT
\0pBXĎ*9Tzo])4,wHWxH[sf_`5|m=CPspJ"ˉ|`(dF
UM22M0R7QƒlNGM=0ž;W&fDráqiޥhtTuwe$H 0mg+A+n}$YJmA 2#2D<bW9wh36I6Yahd療3r|U0~¯F9ʹ;<*hR=2T#Bz26vr>a얲Z2]u ;;jbsf\j z,gR~wemEHb
|fmx~J]$z:M9տB-2{ vs>ٳحJ֨zE5cN\KL5nC|NI}yϠ_xr 'Ftn1l<}{v@рro}4r7ۧӜ