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 9E D ]% InformationFlowSlicing_Inter:threads=2elapsed=37.043cpu=61.876gc=3.492factor=1.677zXZִF! ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)_(uVN*ҟ*}8ZW y* lW[ZXbնp9fgk/£a٣(!́,G/3Ck`CE˼6gl{^c,A>2qKEn V[|I]$l5{C:6G R q"h݃\"t%(J& BM 3Kًu95+1H3M;` ^;-Zzaj\. f#M`%99A*d^>xer[DI~u;1ؐ_ c520'k2r/+!f){,--[e}hx@=# J[-*u^w,w1DIOMJ?==_Qv0nc6O𳷺16:Sf2P1j9*}ɜWY MD]4ݦGBIz׺i(A(;gG"**Ax(ɳѨ?kLB'E=?m}7͡-6>);+KtC웺)ѕb4c0}pzgYZ7zXZִF! 0]ŗXi%rq6%z^s 2}A6(v7R (<)煒,y;›^Og^|` up2{UwCB 0S7Ri(%KZ5<)pn䔝;W.v?:oxWKElj,\X k}rZ!fɴ.J[B\Jjr0>rWQ٫nUC_p{ϗVn}6|R r>e`$PFC;ի豉xh;D̅x4N6NuHW3_E=̀,렓^2C}Ye[ I{ew7vtŚ9 Cs)9oycVST$'|8SwJ-hb~Λ )*^Cck5='@E_ YĒT!p֑Oq~7v\.hf%=?Yntv^~gW<8l-@zL1Ԫ?q[B3x_a;J8CVbsp0ps"C&.ANiͩVEhrVLɢ]) jg`@z(=aVX8X i@ݗ=2wD/KB ?3~=3.B-45.rÌ"cJ*S 6b!)}!G1ο+/AVI 'xηk-5E}\e_I4*\\j)f " ͤ0 f !WbiFPX_KH+v/f&LJf!Mr- U*]~( Ca)!(K s+G T?5Q<@S/M4&Kcx6IiQy+yb|p{p^#izFѕlJjxg}.\+)} 0?X~L͒5o) a9`YoIQFB G,4?rDe~kT$k+,gr-lOȼX=KD+$8ݣcL%@pDrl/s%3IB53 J^Wgl]mq#("ɚ8ӢdB}d,K,P*2Jia5pPix<ܗч״9Z{ KǗ|'OUx4E~[L}&c ,։͙$D+m%"(zԯN h8HlF6O  Ďesˌ0@9{{ĿrG# -83W"q|Waѥ; J{.6JX0QqipؼxBޙ f=Uٯ3dS4.zt(AGAy:J!t~:•|iS}&_1 )ܩbk3BPu ʂsf/TlS$hk[{ YRf{càbh.q)upDZpF K/Ū)Xfވc/pU*D1JEٴ NLM+`3 Q#::rn5r":9b榕ѩ(#ޑl vzN0hQHwyo<#a{?`UMs~RGy|e蘭% L[y$.1QK7nM7y釤Qȩ\ _7$P0J']VF(is= [RZ؎ '+hZ+)By^P8 ~.gX<c2n!Ed&=仨u,(PViz4;@!{  ߬DBIB?0*i>k,S.7w`#QX F uYߗvb\T{p5zvK/$W2i#_'? bcXh Y Ku#,虲X{#A&n#l0/vԆwS[l!k{6ҹޟCN074Aւx+ DZi&rJX |j*ol[*z滤"eug)v৷Takߨ>3ϱgYZ193dd3f5a7cf1899933379058acc13d797f5deafd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 168e61d6daf9a7158612b10229e94661664eac03 ef0802b26df126ce0a62a4af34d2f3db286b3762 a1c83d5ecf4ddbfffa1a5008e6d5c038c1bda244 E InformationFlowSlicing_Inter