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  + +J' Lt ]%]Sepref_Prereq:threads=2elapsed=60.399cpu=66.920gc=3.348factor=1.117zXZִF! 6 ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_Jl %rvoI螻-[I^(:۲_xE~W&7f24*-uu5)|19L h5LAr-rd|)`Z%JEp,Uݧ N9m"qwLG,/Ư=mKwowbKwG Vds,b cOSTPdI} z{dl[މa3#xz | kw3OA|{тlQCuҰ3lY#Otȷe7V*HYC] b J 8 )a 4tvSx)59ߘz8qoD /T{+CzFOXw0ȋe0QW jչ.E/J|ܺQ#h ;2 jqɪ gv[ _#&Fb{@A.P!U ~B3M>nk\0tQ'Vi>eqno4[ٍg* )u[}[>uSfS4:N%e+ed7RwC` "NEu$Bh:x_/cpz3;TwkF{{Îx#5y~UR)c+te.qSrO!ky͔ao]ƃrM|eA[$A?l:)uⳂ筆OKľ͍8XA֡| Y"?28* !3/ q։IrW<!'cU d{y>?z0 R &~XTtMVǦvX-H]i)r7F,V'Ѳ3Hٸ{,.w^ahJG^6{xL87|d&ݡV#z- R}y_[B=BwЎl8;U ts>|;z0Tвhd޴Kƽ43FxPM-@ F{yoyNC{ugYZ7zXZִF!  ]ŗXi%!J}J(Ƥ}XWl.# fqnj'bѨ}RCuD8( j%z7NKu3!4PxMfFs O—_m{iV{U?M>Os⻨e{Ii kl:Z)|jS0Ƚ @ bUB:{٧yY>vW QHf(w\).N%>.1O   D=t-:aj7-| V ~kehݘ>U&q\J؀,^ DGp`z{rRnc2=_%cuU@>vbc RFvs~h;mro4R*>G0Ew<㲺jP \8 * 굵@XQyjƗ]JM CRLI '@_| 5 "=7]@CE ҆L4eL@[YB 7 (H ֟M0LLA ^]ybbL_9e)<ȧboǏNcUyP 杹 B V dxeKv(2:v+全I~FJ:5U Lq85=_rގ ;Kc&1EYۡrj3'QD`rd[x7"m8pIy6S[iy)}ǝ…3̳HwIz\|#? YD쌱pQ="N$+š  {+N,Q3*͛uL#+Sp5Ñ1B#0j]τ]M'c$W.$:e];YXNqx`_}'X^Uͤz!8?6ai(aatooɺ9ÚQc{msv 哎/!rlH"7^x.ٜ,d$>R4KZZm|b?.4e6' Թ^: &Ѱt =-S4p<&aRQ~6:)r:I#_Pbi9=ޓt@PQWdߚwGzG";,/g9+i4-LI7eXv|au#Yvzk[ќ@x٣۰X N%vҔmO02 ` #gIe^*Y6`*WUgV!+j=5(\^̞(2X:5I<,>v~Hk9]繽?Z L9u.շa@})%:JKA؃kZ{خ=gAo>ެB?if|}m}oAziz(c=v`,ݲmc2f>üP;4:A~zq5pJ֬|mw1(gk}ڦ)޺L Jn+%BR#Pm*ڞ=ug\fCĥQ@^~*j/w梐sW8G+i\goER7I!=kuB)zI5;&]37'OXz<#_a%%@=&͵-IvrrXIik)E\. cvn";Xyʏk+7k]1zGŶݱ8&j-+ӘV|)>K>9$NaH ,cƴr-A r._څ)=y񕅐<ŀ.2@4xm!DsjQ[Oceֳf#w >#+>WP:C>BRpqŒD|1Y. /)!pcӕw *0` A5_^ead#Koo~{ӓYnK.#2EC 0fd' !qVb$Hzz&5d @n#~R"{%`"u#id5 (#VEk'q`Fb+%\>& ew#|+ CH\dQ4O7{N˧Ni4ñ.5䜘6$T¿=0#xdDn_Bfn CK6-%@IT%ggmD~o]/"*<9MtS~K -B jHӚ@|r3& dSvom/! 4d3!5!}"V}blSFulY᧳o, Ѩ[ɨ/W(AJ&-mr7EaT3$3?δ1wq &WV]#>m_PĚqcӄ.iΜ_sD >9{3 s $g[9QVBt݋_Z!0Sqbsd-&hpܱgYZ433ad6e74323e16261cb57cc0e2f9eeb8371344f00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 26861a2f7729d3ee945ecb9c15aa4b72e3287be6 5cf2275acca90619f2eb259f066c3f8b5ea2c2b9 de0da2e5791d182edf2ac8be8f977ed6e95800c980456a1ab612b20f03d8443591f9cfffddb1d8ea