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 ppU-V[:})-@7#(.VEY#|}+>k . Hma= ņdDUL /UWpb@qMW2bf䮬ohP?Zɳ&ֱK 5A:2W~tU{2FSh*`ƒkV.jZ'1a{ztqNUM- RGJRxK*X'HQuKp%Q7գ(jܲHwhk][x^͇y|̨\mӬ߅+^Őd v. Onқ/wĦ=9^^K0ڄ1҂90 g4~@W^"P،dbsjӍ3e=u]l.,/u>"eI@9=lk䪘2h3.ӀLLUL;0JXZd0` S!?ZF Y<˳1zQQ$]p"S$۝; AZ[68r[qn#@VHlT&Q5!."O3{G:DL[BG`~]%nVFI\|1Zؾwh,WJS;lI#End:rsՃ\rᐞ{Ejߺ3٤ؐDNd@Bk8xT ;73ӣ ߜp1.8& / U2+4P^Y.~5|1`9c%Y,Sµ1-I9gM^G8HC$W%fq  7A)_$xSsH*=6m2`}<&r8$,nѶ#\U5"'os1Ifġ'ܬҟx9 |Xw]1}~bn˱ AspF oU9 uRաsyKNv:xb0rOX\4_GN!y[ҥM0Y2sOs%K.1 s((nxu>o2d/0*2ݟ$d SљWPlpW cVը~:(5X~%?A-aз/"oߖ3KvC#V>2kfxQ@])E|z<:}=aPy];\oxɖŭ%_A0FݵEşwe/vm\y #qD!B9,InHY@K^(p3d5SqLxy܏< K{" ˖O9¸Gd73_ɀf9;ks>BnC|Ο;g_! bq'ՌDC%k ߉^u'-$aMV LdH쵖;b ڴjZ`r<f ܮ$u5\kLv*in1ɠVd$N~|M?h5t{jm2^7m`IQIFf^ꑲuq%lꚺoŕ#+Zs hq74!%΍gS25aqXFƳf L+k_?|0kڞ<\9Ml uR;gQsOO۾ ) BM`FF i?Yڢ\t\|ԖP6owߚH(S!r2:ZGUǏZ EbgYZ7zXZִF! $&j]ŗXi%Se*')s!P^ qVޟ&kE|(_aA(aq>ye\gPjm; M,͏ٲ7ѝt\'lwMLmM2˴{6 R+NGA‘TlŰn[Z p|%+ 8N&E(GF-1zcCaP&.,f0yc87a.o񁪍rZerJAU.M qWQZa+%I ;TvښˉXKhɔ+3gh/ HAܒsq8k {^e`u[K ]hb%іFɠز0:yh6Eȍ{iͼ.~D:ʸaN1KYw^ 3 oe,Xu*vOv }?굺$v6U_w BP7Ph񧛆Yᵾ! R)V}D7gWFZcXr&:#?[XA=҃$? )/"GW-y;u?쨘L|¾3hf^rmh|#,︾T/[V΃d܅fvE|4۶@^Ncv>8cY'm5vK2~EF74|`5!xIVV{mj̦;.a|z 8;}!X-YGI0,G]h£m Sn8ȲWǩN"q R-x}/kVdZG:X{hu 3+)>ޅ :C̥ ;_tebIBneyT7jkJNuښa,P C xp(9@((%9w NV@OO$?Y,>6K϶pU9U0vǃ,8xq"/Zcc f}˺>ŃȢ%@ϥX]+【J > a◤r?meR3¬S͈녏-%_-֏M#\[IM.9㠉7pªDpck jT%SsLb?g@K %+ȎySM߰C5+auK%bzɌ'o' i'kҋ0[J:FJrH-APEyp^5)OjVv  Yf5Qg@Ԩ`*uW>/m$~55]۞U#>]ٷ69>j10-hՖM(ZPYT9%_=[e:2jQzKCo+vIP.-o'QQ5f_o4cҟ2&6zd$pbtDkF :2wQ}c-<d/֨5w1 yuW$':x[<0 МVUd.Ou#=Ψk`mJ+m88;"mMɱك:/$S֡H6r]ׇ/ 1}360 n{] H߻Wy/L~xx%gAtȶ ~i9>=CuZ?0 Segs,G!Ŝș:\69wzJ0fpBU{SGߝNg,?B\㗲=c?ń@ڧ) P{}wkz4!h!PFl!Nt:!Kp.OLCI1%S 4jP'J2gkNxAՋ@nXFey*?ò1jZs хpG Е _U߃4A1 EûOKXyUXZj`t4=uB;s[T~g 6)5}!HM 3R|}f쫎l?`;PNGspvocP-Jt[ ]%mA]9L&%;d ,Mv```\VdZkljĜK6ۈ!*C[y6epm'KWu lPt/^}ƩGO@p?IbdKQ|;SR^kWhCdJ ꐷ"bl:w 7'Fᴟ€{qݜ\w0n}gʙ[@%CVM6AЗKYeMf@f!-Ff7^9 ;*j$Q=dgM#8沗lD]STu8unTR`nV6aAw;l)Q5֤y ZM2FzƫX-RZ~[GW14_0z=Uϊ_!bEvH.QlAvWOd!8m>;QN6aZKL1ƬǝӚt/y x,q)EL%'q#E㤭_ߵnpgKo·E[2 ä z F~uuF~7/E.U֑]QpZ0'Fj%C!lYT%).&?c[vL'( @]w"χITOہ?<{%*`olq3}~/(cysHo.,v0ץ:,3PV$iM}Q]BkP3@%41S9ӊlgyU{X܆c-FѨ6V03_~} ٮ#\T_C9+pFaS ǦK gFPGpy}3 ]5Z,1L tR;.by^Ԏz)l{4+RQCps 0 )D\̊^w=4O {9 ? ATXBC&^?ސ`-1ʣVAMI76|¾":k{*gnj)e]ltRRԗq p O2ޥ5S0$ZVc{|J@DqWzl-hH8I- rj'^ROUvDcStۘ$+ůxA kK" +mͶt_o]XK9Dk{BWUYcm|pˢVH#*{]d7AJMD&[. vtu!UPV[IV:įR#;)3`/1Eڱi¦.xt*[\K\K#<{Fѯ14|Ӟ,˳qG$'X0yH%~Uwok&w,}Z2;?<0a [ XtNGkXy۔Ra~ (M=1YLqdF橨eUJO~0+q.[&\˼u c"IU+JN*s$QjX?&@wiYnlUK5ٸij_^$٨V:j%rF4 /9`L9ySm8Ltɍj=D8gMitҧI#lJI VdžocJ57"c(*r1vEة0@`k.Ә:"Q?:7|0_\?L,}AwJ&(5ձ8st䏢Vd(EנgȺE֋xɔx  xh\& m^IY` 8yU*0~#}rT/BK-(î`?EɅ''$s!qe%~۳VpA0}A&/!)<܋vpCVmeU.,ٝj~IwkYKOP|dr'CWm6Z&D B@ępe8h#ppx֬ˤoTׁgurM .p&H׻۽V`Xsȅ$ק^M~3o=ާ-\yWglI_xn S8%Kڃ7)seB(\-lзٞ"ҁ5|O P3&.1 ;|-)ep)녀 37]X+6uÊ 4.-0 ߂u d %GRzcuQ9ysN#l8caXrsX"J3b/s~T { ,"a,9Q,cھ娑LUe]$yXB5,$vdx6=q,]?rk\éW*ܿԋ.MbSmmI"zfɬ|oeNxTnob-l*wy/MB]LЖ&Jot$sI)ܞ|27Z?[fdz"ۣRORɶ"NMhoK7)B!' e"Ft2q,0`#x$eJOeZ4J hTam ﳽꎟuJrԋza6Y*E(0;H~ߖQ|?iobY+Y7gfukQxN߈u}R?@^3Qp.U"&F[{ - "ٶrgÉgX|r" qbX,n^T/@ *`0.yLknF.XQg@hQєD^ ;i|QkAf=Rb*+ X nVw<0M:zA8ӦskW\qIbQ<)BMbb"WEBhmq4dd8M}$1 uX%kBW~JsE\MYOduSce!zx꼓|SBg߫pcOGNqY9 S9OeZM-Qv MXjQg](g~6pPH*=p;Pte#rΓJhҽ`{CDTH^t-T?MdC\yGojr|1LRֱH>sM#&gYZ40b25df0c9b8c359c35758bdbb029af80866da09 80a02a800352b0554dc000b13c30e89d24b81c16 985f0630901251562fbb7abe0574d7b040f0433b 9c17fc0c451c92c5f6080c28578a7b749c7ef431 9f8a0254dc42b11e6c1cf3753fb28d4272d2d8e5 a93b7b814e4aae8cac8d1452023e2831336e6b70 fa0b5a153a772e93ffba53f72f7d2f15bf23da8180f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4