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 pE l %% InformationFlowSlicing_Inter:threads=2elapsed=34.358cpu=59.372gc=3.060factor=1.737zXZִF! ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)_(uVN*ҟ'mv.|z^Z4K1fpPUgQb2 8A(◉-bI 6w}(#4 T2rD*dZ&VeUidd4c8ls8vS/g@Cc"goverV$ MOcx͟ea{;lpu=Nw{zk@`۪A<f9hDc,J~G#P)93nKgnIŦ"E|/uJ/\?Qh(C/q!?TO3j~ Dea9ޑz{>A8>tr$WG;MPb ]yISam0Dw|[L09C(~姑ؐ#-X~ MfeFv^nT&}]/ю/bRD:\$F27\]+U n/ G#ֶ_|Ԯ8{.ގ5_9jp(̧ L1`o{x"Ѹ@JȰm9'_gYZ7zXZִF! )0]ŗXi%6{BmÈJX~ߔrg(E1FI~bjm5?0G׊*8!9\צ?&%tV)'P^  zWvDc[S4y8m|u|l 뀸:?_V'-_k9=>Jf @|ezWc# 88to>)#LV5f8)XCY'^"k>ךzMȦND3ГKJtm"E &Nm6:,p?AAQLdrծ$2g|ӹ1|9,;Нv`Saf0z9Z̩yU}\! dd|@H m$u'?/OA78z=YAŻ t=ܛݑ(U_^5WCc4bQ9;BI4o8DH4 ydtp|Wv4TK0F^Dvr@at_'la pc6ё{u#j V97fgw?ozO~yH%E+W3K9muvP r!퉶!Kij|g# 0<֐AV-){(h"wJٺX|'dX&6`?#̀SЍ[{0ab"#"dzY=876G/c,e"겛lZ^[ZM9 ?i'alY2 +jiպ4:c]_9Jve|G/n闂;xAFx h `Sd"/(q!bc|2,rZsu)t5^ f[P01lr-, wI GȜ٬Y9@ǣrxyVW^˿5IVMaǵWi2tZ]!`ωf[VkD6TK,n@fVhgJʮ=0(wg(/;HuS"n5 IX#$(Ȃ+oNI`rΌJ"hQ($s詙xч eM,aAn1d}~  :GBc] }7wB-"/cR # s!zt ;XlMSoPԏT^5n+JH3jʖ`x{K(]dکPָXfoiM<5V :V1*2t4[vˌ?fAz B-+s nl),X}6pĘ*GS]I!o,L XyU*Te?!ʬ.Qn=Pk6rA~;tB9$sߣVDs,?b8Y"`$ 䏜*4 dtirOŵqs_T'5MNfe^bTpUv%ϼS$ 8YLBtȘMHwwA&,;MS|nLj80*(`ARZ6]݉cU A9昮5TJx?ϔq{Hu7Ixs#]?GVؠ6+9b,Nϒ uk~JM9d_ak TkSr\\n2V&!b }J<7"XBඝVeyY*]Љ$q,\8xF"}ʿۦ(]kNaݹ^Vc@GH:k-*?&+h