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  ll Sw Hermite:threads=2elapsed=70.113cpu=111.108gc=13.876factor=1.587zXZִF! ]ŗXf1-/6vRZ*F"QنX&S`' J0%#mDߺpŜA#YΟ ݘXuy4#&YDK-OH>?VK}|{n$3drq}r}ȹujiᜓ2Ap7AXO!HAlWl ?J`dsvTPrhYj;bB9oLOll6Mu+g,QSv$/G }pZ*CcO@   HermiteįGy.,|Mey/Zf=]NۊXvv Cl!MAs,u^~r'>drUgYZ7zXZִF! 4 ]ŗXi%}t#-}F@E)S8Td sq};&Vrsy b"Q:&DmVPUv3 VᐮD##Q-G p`6 !F*}[cnc~;(=t8m)I{,J| hq |UC>jL8 ʪW>L$* U!Kq8=w(/ GQ}ot,2@sReI̋4VtM =NI--0==&cqMsdǚJg1% 2LU Pv[gIf|ٺkvp$Ш?UAZB4ѿUY `*yrрYHjȨeoԅ!ƑNu-'|fAn̍J$ NnkEKy s E ν{.ZBtҘ @UnbVzWO'MB{zsvLG%Ff-R@cݵpBS&`̧zCk1!{QK z$1bM]ۂt˞]P\>$Զp"fלӑMl׸;:̀K6fm=_"7&oҼ{m &rQA&Ѯbn6?KG@X<~J!pY [M2 U<_f5P;}ѶhkdK̑DNwĹt(+hC{퍤T}c+"7| en@$џMJ%8]g4=~/w.3\+ې^Ʃ@nJ1h( $mNvs Y{h#T_w`wU>s;!\#'c07Je Ռx_V2e/B{] C6N},nׂG{ Ft-|tsM4VlM@(ͽݏFGL䵰&LiGɖ,hЍEl>`5>O?L+MMhϥAMnY.-'G5 %m>\8C/UJ-LF>BYV[񛨿@_pLxkTYbu9wJ9z5<Ljp${@|DuD'{;,)?/(-#ЁmI̵~Y6{^s[&8=.4@nl75;#M>e;CZ<:nb8H`guUezrD1ekv dS:z.-Suz_ b'8Ϩ<wv8{HԆ2sQ"ɳ!?aoRP:2HɧxǺKtKU ?̉LX3H3=uXtf~7Y ^3G_ζGKy䖆>cOHĨFzt uxG"taimwP33h)LAk;(|2u# v)d0z d)I?Rsm/MC]׼V4T|@+Qm͋-:1t"uֽ*NtzHh8枸>3JydU#-lqm;Iق"DXF6/>?AKp8=sZ=LIx|UH~t!Uwc)ga@P`̌>"-- ^[E˪D:Ϊ=7!ՈDLð̞f\7Pg-_.u;%\WJA_n)@]s0Ff{k E&!l0riH#4ޣ<"ST VL2=ǥecIy٢nCNFLb[ RHǸl[b$*YNsx<(nMTA'g׻6\3+uG URzuҎS:K<:i.Zy_y[c[T .IXR FJl/V&æRz*BQrt#̦olS 8:'LjtXs,XNe}HZp.u<$N;*zCA1J*5 9M UԃjyK} .K|δd$x r<]e4-&4R 1A*1:u8MšR &.)V:<})4ZnL|c=~e5܃2%y#w*ص{h< !}责\`6lOr$QLyv#@@qOf\sgtT[so!PD<`*U4q=3}l ip`ue>AK˄  3];Wr[Iטuoz/!*@0cw ]' I@} 9OJՉu% aH/<忌n@>-vl8+~q˄ i}]pO,XYT_RѬ`Sq?u`2XA/τz>zͦMQ;#*- ` f3Jl yFB)!j#1 6P|g܊|p!߬*WfzH#h:OJs 7"֮  y4 p=TM‹*kMҐm|q09(}Q@L pqv=ϖ庖_ڿ-Zrcu=r[d ZwQ_ᣓo^>j{,I褬=Kױcנͫvc#s/L$uGo/$#j͢L} ^]^'_G6f,ۊQ}/60Cj{̦^,hoгlhmw:8"o-3|:EdwD|f`GҲ2 wq!: _7Ʒ81v2. ƴp+Å@Ji\ OwK}EcCZY)Xm$F>k9Bvh-R+hT;+ơu>Ubè>v,٣BB`<|K#eOvR׌sJ`c-œ rJбR<]nmY@ e ᒞ՝bTAvtz~b>gYZ0ecbeb6985371fdbf44a0f33f3cb0a5fe08ee670 4179fe3432dab15034779bf4ae7667b8a33e35c5 5a591ad33ef46abf86e4540006fb778ce9ca002d e9bebdf05d120266d95742efb3f9f02ec59295ea0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 84ded59b1a2f7fa0bbce80ace6919f0a164bbf83 7b9c2b3a5f91068fd5e41449bf23fb678a8bb6d0