SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info SS ۡr?5+|.IBMJ}is > sԘM ^[;EN$$䈞5-5dye }NUt.ѠmjwC&őREߛ*ڴ0z=]~#/ֳ( 2W.&eJoT-X#>w>a:f6=*Iߤ0ɺɼPZˁ5^wM;E < St"ȶ6нޢm,qhx,N51Sg=C6梿 B Fwէ ˼wVˀw"4i|W,X]Lq JvtQ`e㖷 bLP11{/E 6n`|x⟘ HqA⡮)'PblE/dΖ:66IR?Nc"rNH+8x9k$O:r!œZJV^KD*cNyqgB;ڪ[E~!eKȖpLlGcstK{9" y9 "Ǧb"ɈIZ'4"jWaìAf!]6:TE7%* i`0ʿ)(ou|6SAoLQ4`\--8Uz|Ek86)P;r샃[Pכ`6hQ 4tO:g&f[rkt[2u1Wu0ngpQ㱀Ăɝ>tWLo0_J7$q+{cη3xqB~PyFt"N'%3 r9<=)O$qrXF6ykTDuzZK r|->4;"/厬 oDcdtfSmX͛ qOMv| =*͏0RBf/X+-R=B X ` 51jBUx_vHf""\5l9~U5t<&09}9DY #4[n.e{%' -Njh'BO%T 51QS< n;UʝL,LFL`|,[҉ FJ'lW66P`?UkBnE2ҟEkv> AhK3!KS뵷aRK*0/ꬾ=@aI~*3iZIJ#_4 ƝevO@L@ ?/:'S]* (y;.(}&#!Gֻ UJxDe ;odჍLۋyhp}6C3a#GW3?UwHMɨ0Wo[|j~ I`[hdKJkfu)W,ímm ܀h'drim| & TwQQj@p#U}D%x~*`abtVcR瑚bWo=xZZB@݁e#T `t ~"(A\c?D^ݎV-q ߾UYrhayd|KTùJWOn5>jpȺ_ ehGq}@w,\}%W(]>:de xx` QiuS4.[p)Qz[0+MlVIY\7<#NU׫#dT iŘӊRwNNr2 \|'(Pb-'~lbCiZQY{ڛVG[c3" pĬ*)%7Ӈ`(!C2- jk*/ Xض/^gZHK9Ք.rBS7 uuU hINaSs)n w}Q%'3Ҙ琝r.K d7(I Rer]kZ𳙫Y(݊p)O˞P<.#\b\wv0OfE>ダޫtf٘j(sn_E`ShyBi'5ƀ׉G#8ܱ$!k,`v`FT1bN%#Dzv/? d=*i-t6^KJ/"]a?QZhUfZX] H~OV}YfKQCQ8hBRp-gS=/"o0} Iufd%?}oGś5@U* sCMd~c])@8 ulq@@ eЏ._ž,$$M w2*3l5'G*ݔ|tV&/!hns.#&ٳRpQr ]6Usq~CF评o偦@8CF#ڝtqm{l?Q-){"O8Rն{tMr.L+椛 R)CC:D…8O .~ ',#>G!^ݮlV )ol\E!."e%WQr+%@kgN0 !3(X'C·3TՓiG5Yذ(AZ#tzA҄*NH_9UYl LAp\;&U:KDȊ9J{\#D:2 !uy5kN)vmSQHtM9rlXm|q`= iCqD?{h}ӯF]emZrBVO"||?ܶ@V-2jGLS'{Px6UClHݩkR?|sq} \ iI]1*iO7E¨~x,}l`:~a?IjikFHpQIJ7ț ϫ"m#fn& ]ƶKU=FM2.]G2EeF J//ΛjM=1_˫5ꀯ 5u8FLd29U8df/ 6ݣ"`f`+J7%8P8;u0]XMоi8n29wIѫ϶,QK;K:xw$)kU&k *;3n222Xe#33^āE=WjKT(fE 'dTzpW[w-3W,2di?Fʻ@ϖbl ]z#ꎆ${0T pq(l?zNJnjV61D (L#(gpFh>0BH3vxM7x@tقQ~02MBU/~-ҰVMeM0 (`ܣl %S k37Z GD4U^0‘R]@WcةBmc1ҳ7ve]jO$87r#,J,N`{w(J*&gYZ7zXZִF! 9 l]ŗXi%Bׇ*{5չMӆ.e))CUR8_TZvRzs:ll'-pBl]p@aKj&^=%%CpA43ݛt#e* ^H@ ޣwhIa-ВKִi*c4w-rq2*D8)l[,yn- b {˅$өt_'ѪM0()ѱuhMjH %b"MמXc̳!Yw,g?3i3I)>:Ar,ɍҳr-gպ?TC^?'Rd3?2eMZ 9*%z%ToG̍d0pZE\!5AZtGPqDg^{Xɋ|7圠ud3.lx){")XB'> n;X+zLQyYI*]XL?9M %~L󢷞t%(3*eܻJf2Uukg2T-Iw.!=F@3BlD*ɱp~~!UJWO#qzdc|ܱ?X),2ha~W&0BFDmxޞrGP}*E?$OܩBtIwxhAB [n2{ =.?fizHYi'FY-A7^W˃b3)tcjvNuu^n '[د(Vønה$]9^To򒬷"Z4v_W+6/}'`ʺ.fCՎvga /&%[#L AŽ.BD&4LD  촊TV3dLۛ}=@;W|ĞbWh>p=DH-+<*t&,y)2,43z}GjD0QGy+Ѭ(?)_ı;Dϸ63avO۽\>|bme#[\ S4X. .byfE.#Ky$o>Kg1< Œo--9\gE!%Fb#jONerƴL7,;L V[}VWOtkCCFXm2w8Y4 &"@MGȾ+R담Glʹ! 8=HuoWS|lIWNVFh%OL Rgs!P2EDXi$N`]42Mx@CӀ)H/('rr\79\&C<*LQ ɏ~\L ۋa8{bޏxXo1x Q1\4mqA8.M z@pخ6/(,<u e+.bVbzLn+g*]^R=4(د;DW{}XH̿,tӴbŢJ[ots~g&lr"8* @ G l-Yd9]}\(Uop]6lT3-P#iS ,(ҕf\d'?kd[1sbd(#gx8|8hjBSz$XV"&Ƃ{ k$N5QchG~.œ>jLȀL(٦}R=e-v@5殐Pr+p)l:暶!Jwt8![%#ԍv$s;uHE-ཪ87e'Hi%1H)P'զ-`\k&Crq1OIGO/v nSMT5j#m]27gYZ04bfe01e345b1f2a43165a83a78daea05b2aa709 31106a059b9568a10836d609aff3adacce347b53 393b349f932faa5db0348444674c07434c4816c6 64d1ca5b0f247c8bc670a248b50bd1bf005e669a 990307f42f7deb06a077e7622c88835b201d9390 bab94ba72219da3731355e4dd2b2cd5141e0cd06 bb2a4493a377b43e9da6df97c8ec495900e2f2ad c1e44491a2e4be2b9b8b8411519fd72dc6362558 cb4ef2d7c92bc6f86abf071b0a6ac6dee8bb8cdbd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9