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 u^'&lsi6e AJWQ>KeeRZjvvm-fPv]zQ+3'9dZYYSP:;bHF '/e3]:]4eEqtY)}AsX|)BJص^XrɔC &)kpMr$'jލC=7j 2)Qk>Y6}yhUTG?Q~T jwV7Y]nAx,I ˧)qTUI(ax/$@]Ǧ Ư~ ~o,|6Y $~ofQIeHxS2>7zQ*R`pQiբXSSC]Ֆ!xk@FmP; 97e[N>:jٟ?y PsNĿ+=٣OZZ2y?x-@rUӛ&C*AP/AWfAEYOc!!OW[@;Tbl0RDj tC1]2ŔMɰi,4\)BngTBN&]:`(;Z̩u~wc>*Dx!9(jsbn~"kEہrDxGH{3hۻA(i#Ih,~tB 2Ns "fJٽKcz:& %d~"@s"` lF;Ey8%v}u,#0V i ʓ& Jo_ݕ7$#a <(8vi0# ^ 'z˱iΨy6lCJ vԞ/* [$cD [cb0XRO6JPsSmm^lEBj:a V3erqzc@qu O6q\g#rIs3o66Ѿӻ)qS/;;:(RVg5i\<6,Dq8 M",_ⱋNڥ۸:߆Q4? >ԷTՋ.K7L&X6 8|vp̛==L)2qϕ樬4h{sprcto;pG W9sfnmB^~Q'Ai8Hgm1 ~''ât]1J$Nx&y2ЁJE&K@vfW2h+1hInU䳚j((Qbƃ~jX#cΠ9H"w:_zHp6Av U uJ>7{ަ WK#H7 S0j1g:)b l>M %LZuzWJmN&w*D ^\U:$b;шg`벪ǞK-r{j 9DT·E 7 q aa. 5tsy G9u z?:Y}[_ͪ2AƾavTQJ'JӁ of~cL 2DZʥ%rTf O0)_ xV8n54OO ]흓M07OkQHmYXPLnd@sL_+:>爊L]OCs{45RRPXU%Wd s_§kuYK/pmxoU6SRbec~`gl-FBegYZ7zXZִF! ]ŗXiɟ1Dw7v%[y,"yZ+o "5'EuEvy_\M{5% }&^+ O3&꺛z?Q+!u#`0Ia& Rh@4~xPB-P={]jwCF#'ef]ᅾ!|m 7*gPdLȴvq Kyi8_iAϋz:40¡2ݱ#DP6Նqrwv{KW>c 4%Z働تeJtƤgHyRd;u:8w\[y`\|6jgkA{]NdƌFLqeN:mVz@.`_ME Axg)x{8ʍ}!au@N"$< $@Y컪ǟtoq4Vvax,Y2!Ƌ5P-~$fGԬpÀN܁%v/ et㱍`:"irjBWVY/\D>Bct)%=<=(%ă> (G}B`Xxm"+#vm$_KegJSL_U9JGsr2Ti|kj9l;d*6I?"NS Uμjt[zM6LM@jACąJet>J:WDfLy\}*;=l o.Ǚ0D5ki&/f&n"{B+݂8#=%R_Ú_2V֊5괭6wA<Uc J{G9ZLfNx2RN ޺Wi&/vZe a:P֐P DU &u/0u{aߝ+aҒ+&/@~?QHhVאxW԰7HdRp$ecPQ@tUŒ'mQq#g`XL%%x))r8eEե @0_ߠ6ՇR(r${KsNH[t^k΄>u]]֌E/=QosZ Ũ{ɬd/2/ZH\6X>Y;'Sތ ?w,J1mL29XEZ;&ie܎ק4'vh"9֬^/KUN )I!OSc͏ ΙSm\/"p~&H^ AF?vS}9~KC: G0THI<%d>yCU纂U&AW84ږe*t{SE>T9GRZ+nMbciv!2xXCX%AEJNp'TUS҈oBY:7\^2 BTUˆXShJWVqMel]ea+mFkz|:Q:0/ ;o^YV/Ң.ДܓyBzEV5k}8sc7Wxb;qyۃ3"mYeRjā551twN}? Y3X$+z@#ly֯x%U7G JN4+ON')kmC<7qoDWWc: 5v^M3B|5?aKzӺ=zVff&X+G(2ۥ›9 zqSi)YA!Z3KެzC[- d]qA[蛓рn)~%:OI:<<-uF:9r5-itempDĖ:103Mڊ#Ve #B+KǕQ"mr_B8K=8ˇNh%k ʱHX]*3sޚ@^hj[gDp<\u2F n ;+EdXWi:5ע@<]vAQFRNytܲORŘBkw┾(eo j/ .~0xF(BaQnlhw$ŗ7k-yC6{e6,/vCc 4ѬBȾęm5TqnΖ"8%~yBtm9՝o5?N .0aL5@Ϛ具H8sD`yEU#O5ouu tt߬&F{,>θc2uZ,:I&Y6f`Yv^ϹRH0L5HfKWyً*-W}\vZʰ!p˨:xmG)ϕ/LRCQM-*z͔sdi3;=Oʐ:xI?!+j$%E\$2ZdKx5 .=-'Bc0C]w^hf^ThcaqƛtwuL..;˃[KFGg֋X:-: ")c:A3r_`UDF }l 5A݁1^p62c[bPr T#":Ajje(ģ#r3{}Хo HuhȽoQA'cSX9 %!2Ff`y͏c_-͐ЪYnB'8ŃL3Rg: dzv`vY4I `:ĕ;~{Dk.Mit7^ې&h}a{T!i˓ER.m T:=:c"eX/q!z5pu}V"R]\}j322FڜՐ$gkOڗNS,IjпT#-= S~2ۃyG\̉EJK];c W{ +yK^$%lqrMf oZO*Vh82| w؛ vd3? D[W|d+'̢-+gYZ4b3fe6341842c1577122e785ee1c6e5554de57e8c3f84dba95bf0709c61a37f27d090eafa0bb6b15 5ec4a71d50b92c5aac197cb7db0025929ac32b1d 22ee0a3c4b20f434779272d6b8481657c3766156