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 ZE 4d %S InformationFlowSlicing_Inter:threads=2elapsed=30.232cpu=55.756gc=3.232factor=1.847zXZִF! ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#pţbEU-~[$ϕp{%3y뱰G*wB.j,&͈Qh =Z:2I6hGCrf;g- ըn#Xv< &m("P<]lpJlU&x]ar[f y E InformationFlowSlicing_InterUL~SM^O3n?5Ux_n,K:2upxwßP*.漿a2 WT4_(ϫ/Èk7B<A O"1n7.InwQFa?I_ϳq@k\AHR:6TvӶi8s>?XK}V"47vlOcOզmNƉcLiIbss͇d?X{ȉ¦J faݴ0Jw)ÉwԼ͍Y!Ps 5z,sY2}P&y>2LyA9s 4}tv=lC{5eQ׳/,R" ũ5쯤- B~]jj>Z@F:N8FAUK6%"OkoCjnH&|FJ=:+3Ev7{Ni;ԬO|+[TDЗ} #ɨfvxwg{x\&u7[iQx_ԯL yQ$ f5=g/<i@yO|$?74c|y6zM5 B,w=>J*4P1IϲE5uv tj{OFQF}:S' rM'LT.FgiKjw ]! i˥NjDYg{Sۮ?e=rbG1,w>Fȯ3ŦS6ft# =Ҁ 8([!|= |j|{v_87i$&&jc2ҁ (&).9ދan-*dX ⒢%l9l2މD҇Trd=+NZ08Eז[=!M )H0mW7ЂkTI؂sɖDD?KiuC%,j} ʺ*="`;s;j?ir덯au =~ i$}t@D[\n DE$Zj~tVV'@&D:M^{AXKL.'`1{k4#\#x)3YA>O5%Vg|].л7{"U /wA`a]Iϣ/I_p9Xo~{!Wpv1SqVJ>|(e+I=U\hcuR7wf^&K\& 1bdN:ܤIw{X",PBIUAJ"xT(P_fx}r&zG,h8|jUb5DtʧK9 ~;T9BKh=wi2>Q.h{`b2mnʨ2AmC92{+VGa-B ZHpųir%=y0.c}!m(@l F ,a2Bp-Jh:><\pԊK8Ԍ& ZVۧ1Q*KAՍ)W,ʋ<࠼ э -@KszznQx)h%DpӶ]<3L&%Z19K9O0Nu4}X9@ܶ, $E2lK$ܯ\y4t"~c }gϵ$7+ӊ` ޺~7%MR oet[US0>4rpGן%UїJZ1.^}-Ld{vBR]( x%؏q%6@\ .sx>Σl9wrSʟsҍ].i7=KH 4庒t.nAnӎ,l xw,[\uF}g!} vIv䵥_7JMYN !Ǚ!bK?EOLy@Yoڒ%ғ.C =l^dE}ة^ o5)@AS^+jڞ Yٴr bdi[!scGv]ֶL肋SV3#,f~|Q*=e-Ρߤ)Es I#B '"$4HT6ů}N x#PUgp9bO #xZ\6!Wr(>J(|!fDvUĤXv WB̕Yq> י.' ?Λ:d0nE!ۭL0yd; y&;z=RTl9i58/gd~"` q_5V(9s2Zd˭mcfً/:jt2a %6)io6!}ܫ/J& M6\!}[?@EMe9`}l[C͆/!Ddלzn\9p:##nX8 E|k¨nw,`S=Č?aE:[I 3 Te6ފb 0,E3o %Gi M҃d(v$!|ʬ0o;=1rz&єl7駌Co{icQ߷d3hP!.<_ 恖((*{$k;jWx͸`Ѱ:/Q|K-P =To$cFjY&