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; Dd m% Special_Function_Bounds:threads=2elapsed=45.982cpu=72.188gc=1.384factor=1.577zXZִF! ]ŗXf1-/6vR[]>hHҔB^Y1=;Nu0Aev`Lm^mm'HO/!g m(bQ ר,.Nuq$Gs),m䃸[WiW^’?m+Ex;ZDp}:^+Kgɗٹ%w@ SbpsdUÉ3^#vGT@b@ 'F*x~l HxV#3\#^Dڥ9Ծ:dFab8!!3;]]Hoѻ|=]3"c%w3 ; Special_Function_Bounds;^LԦO'GRHax_<ĘopXk&Z^_+%wTI@3OG_C-Gh!$.U p:l#.!/P9`pOW5Th3 O@b*ͷyj8cc\|n{RDvùigclPuRg#gPY7&C$/?k='so5 -?k 0}f=ʿO%Uus+YCpķ,DT2Cy:]@2 W-+Yߌܢ unU۰^]IJ_ϛx&GCp5JV}LbNRdo>JM2X+pqLR'Em9Yt= O ?`ڑ<9@'Py3\CjnIRvӭq˫ HYݡ_9M1̲kj HU+R/+O $>yukIH0~.A†'ɰb‹BI@0CgRb0Y|co%3w.)bZ~O QcQdpH[^ěo3[hwH2dRRב~tsi6QGQ+2[=<:)ZJwOY-A|D"/|vAw8](gnAo:"Zyc. 䎀ؤN~қC,D#h͵)=.%!K-lvŒ^ՖA SN0]D*'_=0&3bඏ, $v8^vPZ|OV ;f-hnZ\Wib9VV>5IM 2d?%O_*wdƵ?T34e kߔ:`Hvh-6|@vm%(loއ[#0 ʝR[Y0hOPza) lLu W0MJGL_iX% YˆZß7rX0v#Du`Ì}G6* \~gF׋M Br6$3(V6DC/]jMGPR&a4KD>V%t#cMg5>/_T_@F̱5z-o;WHK(9vE^3J$כDp"䷼?xu%50T;?rrkHn'pˏ(rL0M{6{xgH0_vdQ;WRo.UygKlΈnm5o}\t*>B )yK0>t:B+ yYfxiߗkn SӭnPbd߁})eI}<^ Iq`0Sv OPQ uUyz/VՂZBkts[R c| ŭ^u"՘F}ޫd3HGVI0ItUHsR_[サ(ho`?A{]h 4/$~1N|-6Yo{JqDS#[Np!.<v9VFZ,BI簚]b _#á]tYCh*z#gBY:[a3+T/[(h.@x~OvLl<) _ЉW&237%IӬtЋ/Vz/w_C4I}#HKf ^;I^x%%;Ǚ  .gYZ36ec3d919766f5575ee7f9e49fbfd3924d92ef7c 3c7c24926c5015832091b71f773824ad18d6ad22 6968882a9b8b671a249cb1492c0bbdb0ad92b429 9a40a333da26ce6329a5213b1b992cb89b687787 bb0a799777f761555e86304e137873da7c79c21b bf9e55fa9410e2c8996425fa2579ab84c9aa4014 d2a205ea372a1162240c9f333ffba6dd3b94deff d37109b343f6fcae48dcfe8d8dd6a1c8706989aa d96748e7ae501033e4ad97e167b625c75055990e554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 831d14f67c3c3a84a98a77281c0c1e5b593b14fa abeae0cfaca798724f3a1b862a46ef1f7262f8bd 96c25eaf2bd8641c33f4ce574ca58079c07f350b