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 T+T ]]HOL-Probability:threads=6elapsed=65.491cpu=309.372gc=18.424factor=4.727zXZ ִF ! 5] ŗXf1-q恈͐7ӺV8'r@ʷZxTi>oiTi=78 od &X`vA"4[MΉ!ew|씗q@aTU %|M'$>ɭIͣ8NW vˎ EP`^Yο p^W7}| x*UaZI}Xd.O6>ˀ&FvLH8u"Ό3!HOԏPP8؛%en
ƝT%B"s:\e^dC n8ͽgB$O/Wdg(z^S :#f7L}գ+:yoR͓I?]6W&ٶC펧tY_$E-b2iRx4k&aJ|qew77oIۊ3`̌sjI!O7zg#"$!mg,8nvo?Y&:FBBNs%
h~8wvd e7[iyfk# Udq,[Q#lg(=>64}p;I)ߟnH6뇷tmM:*l9k̹[ѓO8_Հ+ba{yam+Wy`)
(`Y5
^9,$;9%N(;ȱw7L=A=Ns0>ju$BƟ5l2VNkc?f;%eJM)J&TV'zsd{"m/TISSR*)
7Z#=P/wq("WX,&FMy0EQ'rsRhkOfP1Q:eDSshEӟ"9WIC
qa[ p<J:ϙٵ\l+hzo"nd|8/~(ݐIK#\Qbm`2\֧ryV(+48ۑm*%xa,[XЙ3q;b2$nsVYt٘P_&n`ɲMP4Fm>X:6NQ12vt*?ka
Όu}zX-P.YzHO`ݪ>V
T){T7>uT>]56CKL"Fl-QhbWhAn?]dcXq&sof
@5~ cֳylhL+6;-YwZ[wHhЉ*UB)-lmbP
Q fV^3v#KiT
CL6s|\ %mTwJ*|iZ]^y}^WӿTB]
U1KhwL7
Q+"DB ^Էhi:iN`])
W-[B.McQλqqҷWFy'_1WD=JӖU/ZzK^
prݏ3' >L')n"(ɶ
N`BN63>r\k:qxU&K 1BiKϡA4|\ sr"2&Ϝ{Ҽ {E6K\be_m')a\-f=V kCm6F\eE t+bPm?kZ_\6
&dH4%ol \* Kᬈ$v4NrWa;1i;HLeW,jk ~摆~TNj~(UYrB9L?B\@)@4bTD,!"@>X%c`b|V۲%C"MhQEOAA߾Ѫ 7gdRz"'%U1?i
5e(SCM@aWTd{mH:egsFs:?CzboÜ^CA|Gfd ༸З6ZM0);BdbRrkAB;ߗv`ﲮnpmsw}碌Ӝll^~%ȧKu葭2;FJ7fIt/a=c`alAG069ռDU9zNֻ=9:`XzhoXZNuAd
uZ'Wvss +o4gdR3u2,cr#n{>t)g?߫ST
90G Q@0-a퐵/-N @7Us-|+S|%#Q6/AD508+6:D8Xm[8Xw xWsgC DUy
)բO\
z!5J>뫆X7
%Nq(9оU[yFNffMKAcNJB?%O8y
D #;Ѳic#+*s}ԣBX&r-PxXyC֮/Uh︿Ѯ04pqEߗ#[%lX-, ,?:}bkGOM4@FP9 M6YevACkndd)NA89߳4[Q\$d]WlDdaݙ