SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  8/ L< ]HOLCF-HOL-Library:threads=2elapsed=16.471cpu=30.892gc=1.376factor=1.887zXZִF! s ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-If2-Aes,&{fW'+fw?%WgwͣJ0VQP2"?EQU`Ka4qu>Fz jߑ$u?<)Nч&K9MR2y肻d{Bwא3QBǁC\jD 5\{saPcS\꺗R$sKfL?0i1/bKJ 9UtXaKGS%qlK< 3fa6 fGhSTέ9IE>M Iv_-fѡGͭ(rin [rܤf*ˋKW$]Dsұ6D=A ò]WC @\) \׵/,yN]F3-3ez fKPxEPiǾjNc)8֕6;ƃoe~ W6BPS\-Zj׷l\ _t';;+6vt f\ 1 ZD\GozDǵb*ډ;Y (cG $݊b`RJ n@Akj"rWŕFV;MzFd6a^t;Sb@Iit}(^J{>/`04,J;ab#=2UB6G ݥc.b8H=p]pM/ -e $cFE$/CDVVJ"۸})kSctqld7fM] / HOLCF-HOL-Libraryqw۫^SX=DeQ׮L%e1I?ќaYyMf- O/g;NM)%vdmC\H jcM!_ qbs}gAՍ&"'F#0`2R c3L{!֓԰&ꬢ؟?;UN|~Sؚn2S\N.$WR _f=8SJjY%ѩ`j۽ðJX)yW j3 \ym5DKRܳD#(ؙidmf# 7> vzb:0l(g(',^gYInŠׂO7cf{Ԡ| G)ڀmVMt{bgl~eEDR.,l'X#sX3-e1pi8[͆ZXL& ?05nYnm)mt_ c9CP7T<;mC s9y< vU~}' 3!Ic)7]o]Gi t1oANaaUVNf<7YV!%JRQk 1ڀ\1RPI*Kh%-z?(φr?mU 6a (9& ߠʥ$d!ɔU\")vU*8X\Sm)Pl7|z#uUh>l&3 ^UQ5{bG\>bϞF#se8R珘r5i%9xmRTx$KxX(5e(nrؤ)EA?6(AX#S)yάӉhvywqM_.\Ƒ;J7j<3GK(0o.yM*Zu-ڃښH^tY|1Ld*62M^%bBo>n/հ 40#S"`*3:yXBbtkBP64kCe'%-s!8D|Fx/dR T+"tS]>MGOhǑ Do  (β->~UӆZ ""cE]w̡`&`:p_|Ԗ6\5ڱ;6ŇnYƛ=PZdSB9^Mw#Cvd;+c1mJ e)]SZjv >M}63!4ʾSEUs帓&d9]^L㳼&Ҭ}'5,HUf2M~ M85R"KؼRUer‰j.ɵ (l"PCHgMsj+LxS"gYZ7zXZִF! KU]ŗXi% Ŭll-1[E- %%V;i'Q{}o$cI^Ti4N!.qiB{ #-yв {phyPr6u^LLM{X|x0Ni"W]H}欜D*ULrx\ yf$Í%XEr}4fX\ ԏi@`]px<]4D*k>ɁB|P,5Z'΄~1Ȇ4l0d`0ieص* }Y}Yy t6 n֙4-6mݳy*XVyWc{ x*G 9~"Oj!|(;9HqQJlv-G\R䡌2ڸ*wQH1:.X<>/A{,9 [ao|HiN3k䠧ً`. ܚhTv*@ϧX _驷iqNڲ^L1]v >CҾ$\cfRl74ED1P.IoɶʿGj ;,?zlafEN .SH#SԺ:5ٗݹ$[1[ĞQDDKRjP1ChLbW#MR ifB_y /)h"HB:-,hH^l]:mpJPPa.)LaAH9}=`r_PY>HJi.k`yV.5i|m2a":3IZO0Lj!u!ix:RAF+8Gl2QG#u ^~CgDN:~XkR[Da1%(;<^ ] k_Lnou_epj Ǐ|k;ܴ9|3f&6C 9(cA1-1]tHM0:׽9345 ׌9ֵod;^QMA^UIذ Ԡaɔ:"S9~\kmoF;¸l[4^hY? >]ҎVHluM/݀g\Eݗ-n$>: ֖gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 2d0c54c119222ff4b9debfcf8cd34d5dfdf7d751 5115babcf82b51329a1890394e7d219241d1cfc9 5f3249c9a2080df051ec979e03e69f7b6c37b568 6a1b07b082500f00f6c3b1326fbbeedb536bae44 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 82fce86746f9061205d625fb926c1da3b71e3bc1 97020981c6aabcd5f9a12344194388cc00a68b45 a6d881014016ac510413e96c94577bf126ea335f ad3e0430353cf9dd719486ae796d190d5e13f04d b9c5555005d2457d66592f71382507c4831b3f89 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d4a744693dde4b2b4dcd1b586a909e4d25f5abd69711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 c1f78893b8ff18f75f1914288f7e034a2877cc050520ea258540899c29088a032f9838ee4b058bce