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 RE 4T %S InformationFlowSlicing_Inter:threads=2elapsed=32.857cpu=58.000gc=3.004factor=1.777zXZִF! པ ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#pţbEU-~[$ϋ^+vuo`o6jE NstuͲYlU]ǗUHkj*? WL3dUviRU;y-d?/M78Z|j!ȡQK Zp,4rÈhӭ48ЌdIgA @/dN引$Juı Z%4-V襣 Q(gyŘKA"vlZJ&۹~\]_ M<( tb)2O Qb#3~b׈N5xpg3=4cu 2~i}Ij l_KjS/-e]:/=+Kus:8[o co&r92]r,*QQxpj2j }']xwY\V!12ӻs1(\rf u= {C@oX2#qF`HJeW[Ǚ8p 73ŽGGUrnO9!;_%ߣ@z0o,^Zݙ'Ӆ[]v/8W!zag0"(N&-d̘M.Q6TAJ-Qy>'2aT2+lLlB\!w;P *¯mPeRIMW*v}:u K-dO=vÖK6|uPs :fGbCGL;7ͻ(?lt>}PZZW fzCѣ5Ӥ cEmZ|qucQ @h w7q>e`=vZ l\%Q}Nomg_k'ͨ5Fµ&Ah/rPy 8M7n9}Ų 3ÿ!b6~jk5֐JRvHK)ka&UDgA,k{/PQU Ǧ_{? ?k3%E:<s߬{ L߇@Ti6 Ӈ. 0| Au֔ %TiޖZZ8 I/Ѷ|?ǐ C~D:0$떊ҳ0\i 4FXZXhhFB_N ܞoaV.KjZ2$S{&[Ԇ _r<@ dd?xT`wmeuj&zZ-fcQK,]rj*!7(~6\{T8Ǩh2ě쾣8wts֚ʸ[H,lW<5Vn͌`$+\+ژJfi<,02H3jy *ՒkgxRP@wC[J=/nnn}R.v`ytFAl#KIQj FNZ! JgMy PfQܼh9Nq1QQ8]i/羷[,vW#2w"JǪ'LǙkH,Mk!nppϸV5Kelsg` 8%y Ȇ}~rsi>gYZ7zXZִF! ः]ŗXi%Hm-f#ﳃ, `U`D`硉Glֵ VN]_$uب9rݏ'LR5괈X롟USۯ Sc\@ҵtos*|ZkrJӂQ}|;%˷Civcnlh>Hמf(KD6"jfA>/9оb]9F+%K[@jAtDv[=eW-ȓqlWPIz5!3.aL52L I{W/'Y=+Gsc=N %7% d BGE~b5L_JTN'{,\%K0q5*5'&q~_FSGxLR@sg ~\fÀG 2OICB?(7t#ʻE sye>}`\n ]9%$~z|E+fs8~9je*-JCR# sdR4EDבAH%1V` Q0u#efP$a2۔Nb !W{^Ӣ̴xfY'ۮ޻0F,o5o^Ҏa`nP`SϣFn13-Ty8K'}ٕ]|)Dl*ϴƆ¦#ppXae;1GqlFI(B(`r~c"v3ZV5;#zb&bҒœ3;_hރrN;gi~U3뫃#SP/>pr62IITƦ^ 7BXVCH#j $-,#~lK*Z~vn.jՀ iakKSwR䣹?;$KbMwNEPߒz/`Ƥd.Md~&BqC'\Yz[#-`$WޖA.4SKEdy=Cs }M }m$*T"pV 2t>) 0qo~1ve'Š]BսwљD]]g%":;V,embAH3 &8Ft3O\A45x[gfw?m kBNv\{ ӭ=Pt1!=0S |x䲎qR|ܞ|k0aFZx5/1-GSɻLW+|yߋ_Y:Oj g?n tBh(33ʉuSa[Lؒ >ĈSG@joClwyLC=񸩄=Zilw.PTcWNmY܀=e+AT=RaJ:ihNP TH JN{}UIQrc^HPr% ] S #\3KvRf @b s31ITE=i4И_, Н$oVs/p dgYZ2cf3ac984326e5ec979e2ddf440fc22ee8082b5c 69d0c5385beb5869d409d00e3901fba31abd9b06 974e8213afb6cadc24ac67baaeb3ac914d640b71 9c232d7029a1b9134fee70a1ce8162a133580fbf 9f0b4bbbee284527170127effd3487aa8669bb978c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 d5f3f8441152078a178e0d5790fe06acc2802078 80ac7dd093e7b4938cc15be028fc2990d797cf30