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 ~9 L| w% InformationFlowSlicing:threads=2elapsed=9.861cpu=19.272gc=1.008factor=1.957zXZִF! hl`]ŗXf1-/6vRZ;׬S@à;@&ڿm f ^ f{vԙ7vTrT(I WYy%|8\TwΏ^i4(~ܗQ!`WYl"Ѭ6CUUCL6Sc2ۣ ufm+MO[X<)Z_gj2v8W Aoؖ(I,lkۼ#_]Έ/Nwq_˛co I~>WfJfsJ| mıGd9QE:qvϋhCP;39+Xs> oAK#Ds1hmIX"A=.Q} ?xyA˛|j NCnhoJ~FH @F_uMZt9ADz/ɨXڭ`QgFᄬ4jQDԫkrJʈ|1O'ryC9Eg;EoiN8)ke%"jY=]p,ʓf"iO(e㧹,h" &&|;,`&]+߳/T`%梅?r^Tܐ N8l7惭צb,cC/vK6=\Zu;Z<,:b[4VJ;1.P$,'왹 uL1Yz|X] RiU$QrQJZz>rEۨIH,=1{@<[#GZ)8(7KpT=D=vr@l4{7R [0<ofN5:mI1ϐIDn8 2 -ǸUtڅ]sS?$P"*Ly$/hhpU$h)*r/g8s Tm>8IՔ` qϥ=Y] "E4F?=6 uSU;;g^N,rho^|ݪ?[ɳ+e=PJ"iV"9ܬ䮋=X9<( (iZZ/L䗂< kFu+T'ǥ Lˉ.Mv10X>p:+y(O#>8A*iHr/te)OyB!u5Vj' ?k +Fkr6Gh.0@^ 7˝pNqۢSy߻lِR&1HՐR]g$W$<Im< %:3n ++V܌oII}a\RYb69m5EhvZ'x#m%ZC cdUᔋАXe%D7yʈK(HR k0aRYfEV˺jC%70P`.!Cd<$J.gYZ7zXZִF! 8T]ŗXi%q=mG$RO,, =4QyɇݾIr7|n>ڂyuTۆИǡ <(𷵂4ɌO1pU! ʇRPk}V`MZFr􇳊Sq)q۔:B*?Xx cT 0Bpw&牺v^E /$fp\n2k!3 Ji0}Cʮ4CZL0&]YDDXF \1v4N)CـAjGVJM/3~ܒ-N):Od ?c[>Hp}3F;{hLgEk`_ZL4IOvb9[Qh*lsՔ`cUҖlMAJT=.C+TU@ph%$_xDna5 G9 `39b4?%P`C4f}D`֚ͧo&N)_xM*x@:Ϗ GJe#(,&i2]com„*$pr.l WtmQg1G^YʳNv6cȪO*RP:jNtWlгE|RԈd J)2?~Y׍(Z]ؘ 9~)Znu9,[_R ZJ}ӆA>'q#_o\~dSL-ܹX&->c߅)ѷ]Lߤ?i6C{sƔ~ 4l3&@"L.{v?κ]}neXC@`r,p0gYZ1812407495cec5df04e9400ffda893a10b1dd05d 48f54b27801ac9bc464dcbe870311259f7be9c1d 974e8213afb6cadc24ac67baaeb3ac914d640b71 9f0b4bbbee284527170127effd3487aa8669bb97 ca4c55c603d4b24124f9ef6fe58d9fa69fd00b42 caa6596dfa93f7644db52f75d75dd6e1d7c2be70c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e fdd94f1021198540ae0b63197fc5530e4ea52aaa 981134d7b5968c74bb422017cd27ea0bcc1eca5a 9 InformationFlowSlicing