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  K; d m% Special_Function_Bounds:threads=2elapsed=35.104cpu=65.140gc=1.208factor=1.867zXZִF! }]ŗXf1-/6vR[]>hHҔB^Y1=;Nu0Aev`Lm^mm'HO/# F T'|Eh~=NI葔]!e"2 >\ 4(t܅eFٍ.e+)mԤ)n9xW@pjQt>Jtw졖NR~ ,2\jx} |!swi.:cXR}jNx}yGkB&o|)ilcLLfw*\{EYCK-&G`6T,O\#Vk[$ UV'D! lj7Jp8S qB#J5"Ų,Β0-'**I tŶ.3kkr x0X QK)fꃤug?D֘bucΞbߗڮJvX˖SQȪ>29>UF{hxz s I]i 3i$ ^2ToU(|CS4& WQGOYʥnKmf|%&lyh+(9Z҃ wyB.G;oM R>9:uZYCo$ʩJ岀wQk~L6a`K]ex[풧寧X?a F?#C! 'z ?0 .tɉxb ztsM˷O+&_Hc*p|^Ī [`Z#eTpXMw3F청[K줣OoFP^Ktɀo3$0c9crڰ.p(*vU~:/Q׼=+ro4Wp[hEÍ ᧙Z߻ZWcw3D0o얹=2$.6.7R+zmRZꈁ)y-0&WUv Z-p6nV ; Special_Function_Bounds46HjAGQP2YH-Z?SD G4 OĵIMaG^)Bl I?yD܃O5ix6(m 3A< qSJpa]ϥw>G|u%,arM2VRY1Sɭd?Dԯ}‰|pUPEX[ N u_?Ŵ;T]$1N;W߅17}gz;QXAte',z:^ |m7(Az#S k ǹUӉo;to?'C&~Ee)!. &H:Ye+ѽXFё-ǒ)%]I 8yz :hARݶM8bV zԻgӦzvz]3Ǹ7=Q)-,=ȧžss-Ť& wIoSD%{'jXkiP nۜ 3g?"ѯsnGS,Qi6D ɷI= :<1!#qIJWϵ)!"a 'D,VQvaLi'2+s]@(#h,q#-=c߀NkL<0V$.Wn;r>(#Q2))>QM:2ÆG `l /蓍SHc Y =W`*nM`ywzDdG%$Dɥ~ ?)&- _ sS+Տ;f 6[BslC֮9:7A~>Gw`tLTr9b\D߱gYZ7zXZִF! ఒy]ŗXi% rρؔ"wuG=TK\iB-{C~>V9*f-&'i%]B:(N ~P/nmd`y=ER{2  xp;A#gB_.~ԝ|#>*~&8?6[Ĺ+NΤ7)"H]cY;G}q -DZ Btr*oy>y2vE:=p.ƓFYWq0B]j|O[gdT0IC@C;Ikp-z\.GmOwXkx' AA0$bdm&<3b 2āC[Yڭd4΂/eR|k O}Zf(OĩI9Ê/39TTDVa -* *+~Y]B!k$`~M{DW.{HOJ7#I|Niˤ㑬<òVўuÐ@ԄeA<eL$~uRc  ކJ妽 'N`@Qu>iw݃:]Jn JhN/Р/.!հc*w,+%+n{~$_En )G7HjBRr/A;sl-3xtވ]0eYvc@%=ȹQj܍KQ9Օle&Ӑ(,"rbNwD[C[kXJ.*w!|;|5C̆z1y46m@ r.ĕMc9:ApM;z6 {92 p^zcM6A`N! rXoYjLX^UBDYyp%R3@6C1c._Mx/wfM(/2=F `T@eO0S}ԟ=:ڽ7g;~5YFl9x CjfP[EYiE{%'&qK : h1nȹW+<bf/i+*?a7JB؏Z֕ cgɈX=+4a'gSr]z֦&%MӿO-q+Xӯ5]o>sDS9fácÛrrݙݫ"EoLDk7;+YVj8瀟oJ:"pQBXv!l-[]/E2Gw)Qg!La#pQw1qd20K}՟d,*)LNU5,=uTE po/V ;qၵ/mbpE($Fvċ,6M?Z&+6/lkKaVj5-5(Sˌ @kvj0HT~0r@tQ+:iz abd}g8"{~{`)ނObRY-Tǟbv#.߽u]1[u~y =|(fB&<$߃ޘK} @{; #u;y3S5+ulOQE>*& ,3$nKuFn6U !(${:eO]nSȱc2&bUx=- CjUQ D@|c~'ܖSaB7Ԓ*]!(\67iqI#dc[1ڇQjhĵ <(B6{1Cb?p$$l0_3& V ^L eB/Ji?AӉVyeݜf٫&n:wdyPHB(b-K^ӟ71;~֫]e-P٩Ѱ}/8.f \GveSr7 4K[SxdBϓh-&3nCE h 2Brdӟ340q{lD"/[/@{gYZ36ec3d919766f5575ee7f9e49fbfd3924d92ef7c 3c7c24926c5015832091b71f773824ad18d6ad22 6968882a9b8b671a249cb1492c0bbdb0ad92b429 9a40a333da26ce6329a5213b1b992cb89b687787 bb0a799777f761555e86304e137873da7c79c21b bf9e55fa9410e2c8996425fa2579ab84c9aa4014 d2a205ea372a1162240c9f333ffba6dd3b94deff d37109b343f6fcae48dcfe8d8dd6a1c8706989aa d96748e7ae501033e4ad97e167b625c75055990e9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 14400aa57abc8da05dfb5678964f04b17d518dd2