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 qq E Dd %% InformationFlowSlicing_Inter:threads=2elapsed=34.020cpu=59.180gc=2.932factor=1.747zXZִF! Z]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)ҰQ7oL8t4R+È{9,_ qR]wegt;r"TPV  yBԕi~pуUw\'ݮyVjxvo?Ga;ɓfV $9cox,(ᠱhus#\\rdpab2dm+ՃiU:Xɭevl>L%仧⓪6T.ξ(6U AN l.C=u\l u bbFΩl/Cb48KMm FAg.OI¹}ݵ]cdUjJV]ܦCayr>p ì[Ni1'v HrV]&K4Y=@I]@Lƿ"_N?@9/;A6 ?@jySRؔdC[gDaڌZ+ƶ)@ߖ9Y`tXNJWrNu@Љ̩CyjՆŠ?SF\2^](3_{z#~܁yLS=o3ڲ88°~+Q3)?!h2xp[lMG_Pw/Fs_ENu*ѠRQoOލ<kΒgYZ7zXZִF! P*]ŗXi%6uT db05ebb d1!Fa%*J[= ,DhVcʱ$yoS ȠFKba'[ Q`( >dAKhT?z $6Uv~{rB;EE?@iyٻJ˧-/&C AR&EUc:`Heu(;Z02\?vWUdhE#aZ$[ƧCӒI !>\o{X#+z9H3 Q\ьtӓs9j#:Q ^7uQ=L了 sR5o,9 %`+MaE>}ĝ[wi6(oDVmLci(( o8'$lXJ=A{ߖ {BeGx\]`WҬ-ykoM| _.6.>.C˜災eN]|7'FwH \ Jtzz kŮ) Y胕Xb%iƛ ,ǣB1Wl'0@(#pśh\NO1ikhkYt8ȊppJϟPϥB7VUf4ꁥqbmL>_CL\͔ԕl)0֐dYg=<Π_@Vv ex@)3YcGIRd߂Rlk{UUK'TD5ZJg9E!^,ǚde1Qr{uOJ +js2oxvڀ>/Y"1cU`7QEsё٫Fۙ'0AP7- Y) e?Hx/CL%o](]HmU<&enC\LVڕQ(XTI劣s~jl9 5ÓaY<\/܉$Q=F̈˥UuersuCLYaF/XB$^{PMbzW C_lO3 ?%c4S t] QS&1Qc":Pg2w/Bx"̰?VI9jhdȽlTB4 Cl(qLE[iY#&t7T:rhᬈ=߰ v6Μo/hQ^0}|LL7` vj9\6DfŹ{nBHQc ZQX2iAE:(!OXG5 RH#M?j-p DwNm1:\x.z16?oȉD`Qz7;[~"t,󙚺ȇJ[<^ E>^SRr#yTPSp 3-+XBϾ)j x^#? ͐DQZU vv[m6` ysHvf=rm#*Ov/&2M@P,\H^]37~.1pbM"qdyGd9ƓSK!hXڌo"PK5t,u*?z|-[jtϦDGmuR]FgYZ2cf3ac984326e5ec979e2ddf440fc22ee8082b5c 69d0c5385beb5869d409d00e3901fba31abd9b06 974e8213afb6cadc24ac67baaeb3ac914d640b71 9c232d7029a1b9134fee70a1ce8162a133580fbf 9f0b4bbbee284527170127effd3487aa8669bb97e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 78ac5f2df5edfcbb5c602ebf69c13a73e92cb839 550f85e46aa5235dafc2418f2544c700b85399d5 E InformationFlowSlicing_Inter