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  `E $, %% InformationFlowSlicing_Inter:threads=2elapsed=30.391cpu=57.696gc=3.712factor=1.907zXZִF! S ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#pţbEU-~[$ϖ/2)UD,, "v6`W*J6ũ$&֖EzDTPG?YǓAS J;U${)a+^38Ɍ-`-lyeiCOxY1&kx.V/I>E+2Fz[&kR,Jbdz"r$wi&hPJ)VތŸF+T5)U{\_**-<{nDCϚ0 .E " }yuJ+[RxxVwʿܧ`' Ok /9 0C0%$|@?ףê1~2~RdL&[”ZhSJ?y9Q*1[clo&/s%]N@ٌʅ4Dc+eHna .bٟw&HuoOݎ[/pI~Or_g(S=EkeS9~(%(240~]k*9`R|YN %&cq I~-ee낵[l5|T;-L+}e/f'϶6Ho
q'(7¸YTka>m-z`)M&zaXy> E InformationFlowSlicing_InterH@7U0BA$̧DrwxǂYˁN1 ߉&V!fJޏ4./Frli5kow;FD~ViK3Ϋn6*~].Vה|6HGs٢Hi؋=2ǤG{9XC|e%=Ԍ7ǓںeSB˜aQ5}"IW hSI""Xm[tX+E Iž^(: 'ujf+Xm&?,.28 +6J)V)&(XoY}F6FTGULF;O*uXIFsn ]J{5)fM̋Q bw[B}w;ݙ>@0gtݹ(LGE9mygoW%Mfg"D>`Uuw*O,ĞEEtx~DN ՟g%N_"Et@GZ@IroӞgP~ KރU1vbU5;`{4#j9 *U]6e8FdTaBӝD#V}z\ߕ_]ZDІ>KC+Pje8puf"' Mg?c[c 8cQ^S|l+?j'c =ϺBnqUKhc*4(>2d? ZMUwACg:}ωU0wTw%yz`*!E/HcJ>)TBjw:Bfah~b\yq03 a23crAj`*D<8mo5Ȥ*3PB-t=Oz}3ҹ@Ȫ\(t((l `ڒqZDczЪ$bukY!Jo@fo!RB1w#9MnM.dkXrz5n(':O>ô@ϑ9naXfxr_2T : [d9WzXޜI/5뾻ƑpL<ŰHXDm'm_|¿5.I<7PI%~.xLWtrBi7u I $QUѼ?/Y4pJ]e2 Dǖk7LfHo@f0\V@W$w0.p2 ӲgYZ7zXZִF! g]ŗXi%sCb:ܿ_'Z#vIΫw7>m~M]^C5:EbA˻kg.F}ݖ%?+Z>R[ o8m̮GjSAd.ɕ2- ~.Ckuq%&;et dx#KA_@vŢ1w ̨M|Gxβ;E=;8 )Y*+X)-!54׀FƩ} q7E؟wSSP+aC(d/iT79+SU+\ nwJbNə'`u`-9~I2 E @$Phn.;'Uxx 0jj?R\SÔ^k\&`Fȍ#ԊnEOrEd1[ ft/xY<mid0vu*/w=4 *N79ʐ%0em!?Cu{3K{#c?D޿p[←.AΖЭD/'R>%>NfA;#iESUc!vN g/bG"x~KoP׭!zU SKMe8lV Ĩ$Ybu3+Ԁe7"#f]e4: rn ]kMUXZN!<W-ˊ@umeD'Ǟ~(1^!T|mmk; Roc(=To$YCŴR#D6uByTV߀گM0tw/`kֵT>25oE4爱%)VT;A&@G9M=2Hal]" IKn-+dvt0ǔ}C)S|0i{Vªq_)/z*W9adֺ+Hˈb7.^Qwߴp#'rɞ{z0ƅ!eʔ${$^}5JǩyRf, p?EAx<,ap'g^c$xIym^N&}1'E oWKHJinqMB' oGPZGn3\gy߁{7u"%#~,j tR3;Qjv9\꼐1'9خCjHl*a(Sg-tTC࢈QjZ닞p1؇%dJlb:{i!R^dQKdoĮ8rܑ@i /J^5<uobK &ժj,T21LaLP_F9N6sfbDN eA!4_Ž;+ 4󪌨$ri%h E\=HۻzZG *xDLy e ͷDn zp鷡?au`Iϵ0\?ʫ$W\v)"܄w̱gYZ2cf3ac984326e5ec979e2ddf440fc22ee8082b5c 69d0c5385beb5869d409d00e3901fba31abd9b06 974e8213afb6cadc24ac67baaeb3ac914d640b71 9c232d7029a1b9134fee70a1ce8162a133580fbf 9f0b4bbbee284527170127effd3487aa8669bb979711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 812d2768b7b729b2249837ad32414d77177290a3 1667a6b022bfda045b172f4c0851988011bc93dd