SQLite format 3@ . BBh77otableisabelle_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  - L ]S Lambda_Free_KBOs:threads=2elapsed=76.942cpu=125.636gc=5.452factor=1.637zXZִF! <>@]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫff6 :ޯ*_ei&o29zG啤Y!n\K@}!zBx39j]2* +UOR$?wJ0_j{Y,p8V5u6e;Qgj߱~+|!{9T~2vaIn FKu<\rLȉIz} ggOvjR YS _r)`7$+'_&7pgQ|E@c\?8ȷճ)AV_KH"@U~q[/wAߡL HZV{em\$vyg|ŭc=ӳNtnIJr}WZ"́iW/*d9+> $.lQ\o9 ^IC9G)0O;|as.}mT9xk G@'} :*^ GMҎ!j6 1sW{t]ĸ!mQ !gK 6Q F24y'\ji!/b{axR V6.B 4bB^{qfK6pϣ"wcyry뉓Ytsz~7ъPag- i |k6cXGqȦM̋mg3Ҏ(H;1={a~gg{$Ӈ|ť˯cy|x !:k6jyR3=i.B$t En1wFʆJFƤc0r.ԴY554RӳQ`;Ѩ:/'.^>{㨀몈ίy{qk6l~PQ@U`mOQiԌU[Dטf0^LkSg>wE;z,$m,Ǿm! @ޖO+w\NAI%,}oa8-xB6Le!juN֭w3W<.:^0 19!ѓz1%NFY͉}4Ӂ 7lӵM#r1, zE=!fĪ)xVV yhhܒfͮ $F)'z!4: މ=G9W*`!Id[_?'W~03@ $b`)B wq"J} S+u{X.S+&4335vBw o({sz$ +TQC؉f.AZ\VkEvy;K/# ^9iPZ0To~O8'Mf 5WڹmZoc/^`L+Oξ#hAQ6|&/c1_) x|gYZ7zXZִF! ;]ŗXiɟ1?ߟt;9HK?.>e7"f+Rs rsYk@Y0'0馴<[K`1P7Jd ?e)u"hCꐃkz]=AL-tW:PpG!1pmm·38g~5rXaL@-L_Ay+̖PQ|VhSB5xo -fٰUļˎ&^Bm0 Uo睭Nk:a%xh:^\РQu. jV~UԆdn۵O;#' I c` 0D\IXB 8/gEhd޿`6J%Mg#5`Ep0GSb@HG:wb^DF -IE#sNz+\gt2B%O34 + Z d+FQ q@<- XJHG!w.Pr&LK4۱gYZ7zXZִF! n]ŗXi%9#ons6AkyU_c#XBAu5nծ4ۦ& u"]d9cRhxliQnyPT2n'!ju*M SDZ6tF)TJc<b1L uAMq.]z)juHρ*;鲈OW/ @UeK6Fu>K L41ShyU֕AA}NSp#͕ -0$8{_~ I\7Z9 uCHT nBtޒIRyU@Wm .?Y\P;㳈eK.V>R$ Y|m7R=);uh޴ - Lambda_Free_KBOs,y)z7k3_9ˈ9{*w҉XܩW\ImgS"+ɣC5a"*2NbMgV7X4*y2ܹ6k.HDsuEr X[.%;V*}T!a""c`ύʳ=2i="IOgoUD"ve1OL[x T$ a ߕZY 'sʆ)0xHS "GGG/[d-c]0/j/?5em4#% T`㺵#k1J`'IfRܸ̋QWxL/Ǖ4Ff#pWF"Yd~J75<k4xȔ=Z{5*U)sշ&z>TŠBiK-4WW8(ko /eNd^ٝxmOW ^e,|b-LgnO<֤Jz.8DA:LpR%PKۀf#Ztk}tmz^6>MknJR/͑`аb>lSd'D?E/_,l!3ry}fYPRٖQFiorSoVZ >u3ީ.NG@.>&bY|6L`Bfom"Pç Tٗ\uiW:ފsrQ>a:e.Fw/g}偦 G.7%= ͊ޜ)i9 C/AVo6sOUcyDi-9vy[ʍ$]lJ~լ#QsXh~4Ey[턏 vo4~bY] $Ҡ,h`£plPA7͌$*SGLYu@֜ݗh Ryg>q)=Aiefߙ ~'G+p2`EG.AsOגE&$HXi"J ug)|!{JIgxcaT-]( (Afw-{vƔ W2&oQ^3N؍bl3We[Pлl@jul<|G ܡ%vvD͡F#D8,%u6pH(`͵w!B̼L8Ft#41a -_OJ esGr *_3=xJ{]>ݾhO9%ȡe ޘMٳ=`=hyмEq2HBZ=5ϰR?cTL&Jk"%˜~ $9ةkm ̢dELؓ(l٤?8Aa7:*\L0&a! @xoNbt&$cOJhh^vPyt EhxT9Asf {Ccfrwzq6O He0 {)4LV6MrP.Mxnu6Ԗvi>t?wiH#  Ÿt4i:^xʆa(+" ?]V}GePhe4JX=tAY:U gĭIۛaHZYؗ30BTiol;xOUriW5T)Ys~ T|ic?ir~֑{GMwW)F=9q&Hh,G|R@<:۵S4: PK6B!Ħק#5-IQn{n=(Lj,]JFc cUrQc{s5*%J 3]̥WƺcPQ n`LhI1}jodVR-s[ k-q#8vՃ+i ߉)ARfq2!K4$!=2 mbrE ڟh?:TrU_3vLvWal"_ڨBm'yFg:\A>Elp:ǣ;ەhCsvrBtLHM~ 4xsI: %v7qoJ (p,i².'O^7xlфG"@fYZr dr5zt7ͼ ~ுjITu[ kҩP9.y|.dCV8ć-HRӼO F\~\ITɩ9,anhXNN,n"f=LSgK ^U4y7q(d NM>?؍razSp$.|gMj}K2+ۖB=<sAQY+ E2Q}޹-e] H 3ZǮQsdh]yDǫg.ğC(B=@K^-gi`6¤8*h$}2Ն %K:PX?Zp],}kCXXTAR_7H3'2z\@ r@k0Z-MZÙ!_  YOJTDb> ;{w^Oh<%ęS-4qU vr{gAd؍^&X!EvIS;#cŸZ-n[P/G R*qn]ePd;A|,ƞtwmDȧ[RXb!gYZ897c1dd7580d929dae0b46ab9f1818214b7e3e858ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 6e62cbbe97bf8d791782dfc434c7d2c1f9af0d5b 98689e48fe282c17a122b74f1c6463b988c9b49b