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  \ \) <4 ]]Kleene_Algebra:threads=2elapsed=45.285cpu=74.492gc=3.808factor=1.647zXZִF! 8t]ŗXf1-/6vRZcm#kƣOw|ё ̮/`RǢZ`23aa<@TeLK: B iFY?eG@Sin濲ColBcV@!S(: s.5{1Uldmz;N*9H%[ۻ+&(vĎ"^NɈv|T)RŜ h;ez_֯;/ >14r]0]ƕu~`<ɧVr*-:12eua;4 f@1U-mŃ?®mT4m5 pM9jdَ 9ᅻA@}8t'9`"V_[]~8ց>+|0xፖe7f&Y> qLNaSd5 ;G~hP.Gt;f-m~Bkn`}3H*JF,i)$7A-e[G8%e6DHSSP " LǛCvȤTF9{ՉQHoU6粸?6 V@f,y=N~SR\:m9.CU:{ܲRHWRrפN/mbVh9=U /sVŻJ:~ףh} :\\Ruֺ؈?eK|?0[ǐZL<aP.;f8&fjM>1?Kz[yŹknjԋ{XDFx}$GoT$S/dlݺyLlxa-N>?=Zg;KpV n\%萩p^rS z/-ęV%A Wlc+d;{#oksO.r@¸`9 OX]6VaK8CU{ oAs@p ե[RwtF1ͣW̹)Fd1 @Hȉh8դ+04x2Xž"3 G=>*^>L!pz2ĨJߴo?iPPZfѹ2cZoҪL(JWsǛMak0Sse NNNgv$ՍFY(`S;*oևAi+ pgYZ7zXZִF! U]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]w-ق"BY\2a9S12foYGe}VcIh?AocےN"%?a64 17ޒGE_xs΢y\dZ,VVȐHL1Y֙P3H@=Vk\mV1cʙ)mu%~B*VSJ|lSBQ]~ a[.ENgtZ~MI mUhTyK׫*/ʣXZFf`vjueӴ Q>kwo"s9+=G tFtO{;/\jPh W0gYZ7zXZִF! ]ŗXi%>gvKkLD]}R"șKm ( -o_Qm!6fѓx*Q&kps>77+QICl&]?51ý# '$%{@kCK%`0|N9|iS΁`Q̎AxSy˸?3QJoFUG5Ca)S15<<ڊtz YE[6+=vBƂȴZ'aZ .fz5Kмo%6-^ç!b).̖aheo?]Wra zm??m`NM?gXQƝbccTTs:y f=˗JL`~2ڗc? ̿fK(ZBORPr.nf^ LXI@X]f6U|vE*b90Ze7"vvn1xA|;SXY!ٳx/P;eO22L-.\Ѷ)OcsR\ bn0"Χ ef|!{ODި`QZN6E2Xh:MIJ ۿ;aƵ%4\\POZ/X[`~ 7$xs9uRi1*"nǨ7n=+3OPA&|8ަU [~ {S^޵cmCrv;&8 \.=K,Kn`I*Qw&ݳ1R%PcxF2>#̵fhX %>[n ϵxKSňhuwiү-# O$U9ݏ2"DHOMuP.5 3CӄK鉰h%?JpdmDc]kK/9iCGWOb(T9 =A'HPmT %&+al^0YaYm޸Ak=]4_v3[f\4W=ϯq>$ÞMn7>> Q㺛`,ϯ !G ]m?;V&~ÐM8pe] @L)W$<?ʌu5TO߸ơ+=;̪,.X~C%)J$ƦS6n&@D-kCk`%)tt8 ]ƏKgg:ֆ+l/Y(%ɪr`$©R2f!}FT 6DCw*%D&vVI\TV hG5VW6ydi֋?oϵZ&p^^N#q͈KlL^uWҬA_|%~I_Y (qJkv.i0NA5FxQf*",c|8h%5J)q>8+ a đ@~oDhn{`MC3)oj2vU^AbԂw:^{:AxP4gIʯ=o]4gIaMXjjwW蓁Cy/:V\y˕eE>tκIj-=T P JU_3~YI*:I`dXҦ2r! [?Y΍Y AH<~zݙz`il`=l4"o\_zk: }d =-bC)#ח Bk$i >C 7Ȣm޽zH#5%L%mBߦ~ht#gkRM; '#V"f&Rʩp[/ :B<2KG!j7NA +pzyuF&c6#C!H&gܮT ƃ-ψAH0+@i PTܻkr<}]}&NK! \MosTg4qǚ6J?v}/H_3 d iP+C 춎^?-÷}ۉOr#) Tgy&9di:x;J%r\g1j{Đl>F a {閴ީ]8K3' Ys<"֬4{CF[Of j}mkH J-bw5sh#5bed|Yqn{UL9Ts;n#Uk]L/UԴ/"a%>Qja< dpO֛ D4M2AZ\o2乑nfd-lW~i6{"9gAt"MKTAoq@K/1ۧTj