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 4 %% InformationFlowSlicing_Inter:threads=2elapsed=31.870cpu=56.020gc=3.368factor=1.767zXZִF! ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#pţbEU-~[$όc2)U} Omd/ MUz_&+u鱰ƅ *H{F%>۝0F!>:l.dk_hXi&>J6YB{u2gx7P+GCDp>^HuE/W2(srUii%X1A|mɄV<&36~)eCRuF)|>&c"u[\H$›l2jKl9'crԩiy93J) \MV̗EfuEX5O㧉H}sNhF);P<;rmFE񝵣K9EQȢk젽Q2 :ޏfh`D+dKbNR.HA> ik#>{kka *Wg\fR*ʍ2ve&%Ͻ%df'& Az;s[?1I^8!ʜ2쉟C=~Q*~.&oUnd>@Gh6lqw=5i fgYZ7zXZִF! h]ŗXi%}n~ըeʪ^F 9W(2:Yx!4>cY82^һƚ Nt&c7^4w㽲αDDx{r5o(%glt vKԻ\5mӤ5mw{v)_7cRUX4oKk Ԓǟ2e/"*}-K޷h3 .(f+Ǯwb)WTʍ+gG_)e{\+6_L .{Glpu_1q2jUBhJy߼i?cCF+]ZNEP=%0=O#gypAW jLU4fk= -tE4Y >Q̰@HFQ]a%ac''\?{thfS<ˬK$vOI .|ZF{?)۫-=; { @BHc/&C[5M>ĢmG V|0 5$"sdRkqO3j:ζan&ҝPbv˅F2͆k .,q~[-k-ζe2 iͳ:2ŤL]t*AoUl]L C21MK1-}R6Q0CoP>v B~{9 !F5!`t4|G۞`eZc꽷bahOWy p1jqfTg78 W@d6pM}z}'fU*:}kGS*Pt&Z%z˵,i-?{ iUq'AI%geř0f}8h jN|VTMb-U?X_d 6F {FWb'療X{(uZb;>d{~ۀ`w=*Yd7H-c9q'k~T_7wut%r*-eaa40ŧR׏s2\.qƠ?"F柵x6zt/bCp_1g6IDspƦ&힒wCGwz /b7ҠSD׫eFRZnZT1Q_c"9_SD~sz dΖ\_R,CĪG! ċJQзWE^d]ܲ\#gYZ2cf3ac984326e5ec979e2ddf440fc22ee8082b5c 69d0c5385beb5869d409d00e3901fba31abd9b06 974e8213afb6cadc24ac67baaeb3ac914d640b71 9c232d7029a1b9134fee70a1ce8162a133580fbf 9f0b4bbbee284527170127effd3487aa8669bb970ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 d9d73573f604b328b7f389a1ddf3522ff450e48b 226b4c6837839e282994735f532be71704729c96 E InformationFlowSlicing_Inter