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 --@9 ,t wS InformationFlowSlicing:threads=2elapsed=9.659cpu=19.068gc=0.892factor=1.977zXZִF! hM]ŗXf1-/6vRZ;׬S@à;@&\U:ed|UEbNd#wWtCkB\\OeHdߩY bٜFuRl[r0ͭ| il_ d?KfKݽlHzm? sJ&~!pm$c"2{hϫ;Df5@F0Jj#*qG;KhAkֲa{ms3v8N;MD2W!Wp^H$)]d/o!(ET~HIFq(KEg@<^V=J4,WW3*Vm1E[*3wʩl=}D xi"H."`a@Pš,Ñ" NYW!Qu&~Ԍco 'NK_WԳz-2,oVEq^r#d+F~Lc!Fut "iH.51]aOQ{hZ$Ɨ)*HHrRXDJ2ýp42Rw>W_'p}Y=6bV hL(y?U=hҠ0/_kAGkAm)'U Pb~ ERCcۇg5X0q 6<Za1X'` 8 qTE> ۱zp||}rS:+cȉ(9Lv7;&)"# Ӝˀ!Qx=whFɴ+.ev}UĥhSEhգTPG?n]bh-At}`t\. vcOQ?x+.j%&R);.5БZg`zAMlTpwgYZ7zXZִF! 8D]ŗXi% sn1#{)X6.ܽT'P]y;#1J5(Oc ukw9dg[ au0ݼMQLi~$8M.tG 2>WQ GbP>Q?Z|R srމqFxK28+p%W 1TF7' ]H[@A^v_t]ֺln(ְ5 3?{X+<F>󕌎a1NU ^.*|UP(i9IydW,l{)}Q~<_׆ݶѮY@Ű+ *sx`g~ X7# F`E+/vc])[ kY9$g&z4ד1SHfeM %ٯ>sl!lC/,{czmi]!$/4r$4u5[QBGʫ lQ mULF ƙGWm=}ϳgr9PЂ.GYs^ sz͚xpwW$~H!T?d@DUCquT7C܁"3l ~W8&MoA }w1 %śP/@٭ZX~G7CR\|jTW (pj ,GBѹ0򭘇9HYWaqߟϦ*9UVŔs+6JTR]a`&[Ɓ;ISńS Y)Ԝt,qGBMG8a'0=<'`2zgbmg[߱P!PXh2aPlЀu`6:6bς «3H;t=y56W=]P_HtᠼB赯fpМ±gYZ1812407495cec5df04e9400ffda893a10b1dd05d 48f54b27801ac9bc464dcbe870311259f7be9c1d 513459d2fb8d7482ada02e7b7ba0acd7c463d63b 974e8213afb6cadc24ac67baaeb3ac914d640b71 9f0b4bbbee284527170127effd3487aa8669bb97 ca4c55c603d4b24124f9ef6fe58d9fa69fd00b423b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6b5812ec71ef0a8656fd14690b9fddfaa8da45f da90f66d1a61315988c30e003b8a8e0dadb543bf