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  Q Q )< cw Ergodic_Theory:threads=2elapsed=110.188cpu=191.748gc=4.472factor=1.747zXZִF! } ]ŗXf1-/6vRZektZZ/B9jnt'$m㝄.si֚Eրbck$gaqv./bPnipazߺ'J ʀ KV1Ht朔F*~h,)Eㆋ~9ށ(ev}\=@?w>7$Q+;_[w[Gw\Bݟ&H'MX!q]"TK6-O]ܴbG3jh ޗ!c,_hS;.`^*|pq򴐼WNdռ vP;9B7c )4=tS*FR:X6P{#y]#6''+C6x^\]7#TV XMKl0qv/hYg/@X٭ ݶ94FnTh*WSP,fY(Bۡ*YVN-SV 6FlV9[cNUYR#=O9zf<|Zi + D{edK,̦ɢ {V*%кN~27+t#}jVٳtoeO_A-8R[2LOWaar3E⬕$ wr DX_w bEJ i! A;ߏ.̯DiӇ4}cx9˥VgY<<> /Y\y+>]! D|7Q8YM8ft"!TԺ@L,^e/>Hyۃ6dD~&aLVӳ/z嚁w>'!e>:-wQy` }9ps%5l'9Φ&#vO;S{; ?A( oL2HZ|4{㼟\P';v9Egxp-S^.ʚ-!"?|gYZ7zXZִF! !]ŗXi%6pVlVPAjD_ -X t5M3_UqM GVX1ʑJVVq0-d\ن7{'}'Ƅk!XT}Y >?Fe^4= *'uZ[MOpn^& wҞtz>cSbD/!]At'0g:EmͯކCI;^T+h|"@kzeu-.ռE4{9QVڣLOdK\{;OEa;uJDָ\?qШgĵە yt2W_l ua mEaB',#W&3-tVܡ(.(KGh-"Pm+cz_cRHd%6Gq!MC4l)K/;pL8-"bg V.PpƑv^QiK+".%c h$ ib^9ki[% _Azo<_Rjki%rUzxXcЅ"j7UV5ݙ=$N/!:aub$x;!e?\ȎH H\rE0_oqEsÄE<}>1<9rqB3xD:$j!(t4-=P|2=H#PpX͊0x,p~4wpjKHkNeShʆzp#E!&_o 5&o+) 28vT"6 7k߰LeЗM(vK&=_#f3`1% cWR 6lT~aV3Y(eS8J|X (P 0) 3.^~z Yv~B0?x;=TA> Ɔ].2%0.R ~Ot Z<&*Je^Bƣ7I"h]EJCkO'}>24ƓpKLGޞwb=.o%e\ZӤbu5AZYQm5ޫ1GqHZe %jlŞ_"6kSir씜Xl3z!UKmoU9Cnںq;휮4Ĝ׵/hU)haʥUZT ionqqO؀ý([Gyd:T3e -P 'V + DN`"Lqob ƢnVN!kUx!P Gχ~"/\o-[7_fG ߩGfs4<N60bnKLl}̍bEZ٧Vv>^9e@b"PIg-78DnG`+8<Rf}VVwL>4m}۟!A2/)+df\L1lAH,݁ d:Eҗ>jFi \ i Bk'|wr8흮L9w SVZމ " `̙"Īy'/>EpRrU96P3)*\"= ?KAEh =#Jc|Xύ ĠƭT˕>FHgAb,Pg#鱓p#n ("Y4XYuIF]k%G;I1fQew*8Į~^)J̰iRU*(zIU8| <[C4喰. ) 2:uHOLnݾft/.v1Oo%:aqI+hP&,5v@t|M>JwSZ1WWzm m؉gQ޻]c InXW?5a~G;̩Ix}V荩,ZoN\n-R)|VޒJ_fL͗Hҵ0$eVhL[ը2~Ͻn$% fgY0ŸʎLA^XWD^@;i\S篙m}@/1^MvyHoy@O%ԞOBWKdluT 6%.om-J^5ak [k%p}jzJV Yo9Sڷ!Ǵh Jolnz!5A1Eed eF-w-z>mK A OLZFX-XۑNy,wS<"CHKS]Iq2?fD9dhK<Qקlލ dj*cVP;'BG2!4YDkbdQȗ0[ _y" 3SAUm>߶%mNʦ:k#EփB5ޯgaԃG}^ʯ;*%o%AK՘XjW0:ճ>.&XIN6$*mV5 {Qj*.'yusb05nt沽Hd TInd%2Pm u%fn}xBxx(V?L5ߗ1O]ktO+LiiՉ.CPY[ ۵h'ݒ9nap11:IdN !2(ғp 9Yuh5/ϑ:z8 7l.N: AV?+]?0{7+n9MI~5lj5ilj;?UW;E+%(L#?W,RÎyN $JZϽ,R( #=9w[Bhh-Rņt= O<;w$vBX5=EGjh3%YS$|ƴ5 =6`P 쥘)q1ybgGn[&ZNweH jky_(R )7}!2F8ݦ0 =!K މJ3y\S1I:3xUDԱ?ߏ8T .j"nY8_ ^FQŝW\zJ5 -W*_y)(dXsPD <*~#tϬ,n@fR( d, LQhI)/T4W^LPKd{]_9fmι?e ᾐR6~?|졀nUl@ DatGrTC9@qꗇWrLE;oA+`2X~W.#U^o w(%J آ$6$ه:66 ': h{|[)\ٍbv)۽RxX{zdE1Wxede'f{ฏYY_GQBƤI=1m> T Fѣ@5C506^`E|Us#ٕ}S*!)@n?ʛSH49z4~8"@F)h)/\'* KWLt(!𐪀sYe,е׿F{f˶aWQ0U+xL +ZO̮D PnCx`WXLFU."V)6 3A N1LnÈua"t;=:K?%*$Wk=1Nohp}b4mu ^Q4DF|v9|3jaf"a :Hݔe, Za_T[ԃDO?_㝦_?[. ƨ'#O #IhO!lFjRLBw|eRɵMs<#S[{vD@oכ ,x ?ޗIZIos}ѠǸi4m/aݿKJiU%_Y;fK*j<L^$FJ.EŢr9'6}$-BrV`mBX낼ܔe(j,B} .9,sfݶU+b߹хk%*]ۼa{}a*;AڪWeۻvL}_$IPF;rdRm~MD^ގ+z} с̜\IodXD.Wf.i6-jtR0u)5s\=(178YM7|.UcQ)kHuBߙ 9VG(CDM$=|b@\Lnm8XSV`t `R5Lt/A.gYZ31a45b79ab344e88a8f63b2736efac4ba9647640 32e34af0c01a41815de3fb8e19c3c8096995b378 49b3b15e8ce8cccd9d248f442ce6b017a9788ca9 5695431d45dbe33522eb40c41966140fbcc85c32 99fea7df0f464c39f3e018d9fa11430f5c9248ce 9eb99775fbf453197c1076b73c6f9dc915aeaa61 a658be4784ed1c1900c1e05fab6d743ef77c0d70 bd351c380170a37848fe122bd6cae831afa3e823 ce290e97f040e775b3c8dcae0906c6b5c4673032 d359cd29977d73ec59582da52cab2bc4876bb0d9 f0145f4b385ca5f25de81e069854f2b09cda4215 f01c964391a87f9a6270ccd799b4612dc392955bf0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 7a682a676d8a84f583e52b3d25f7f4b30d4e186a 9cfa954c1991db4fb676a015b9dcd5e692064dc4