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 KKE TD %S InformationFlowSlicing_Inter:threads=2elapsed=32.843cpu=61.068gc=4.012factor=1.867zXZִF! ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#pţbEU-~[$ϕ]e=`8T? ]O7[p-ic S4zJWd9ψpJ'7By Gⲳpcn];zYzAŒr;W.oһ7olZ8P5K@@7c,$l#Z\+Ԧ}I)Y9b78Q*DDVMbѻmɑ3|젹@cfccJs1j9rUfn!_qpA]+e.ȡ]z] ;IU ~F-6-Э!^ꋋ+ N~Cqy*9+0[0G>O<埈 רGaulK'ʫkRnߐ9>=  EG_7[J;#%  E InformationFlowSlicing_InterhN.V o?tx&Qpv;n>ln?M1 -bYRX*fLv}e2]8E}ol^@v#ΨJoW\h:\8^B}J rV9a~&KМLxF{6n*@bJFtF=†zPj2FJ)` P]/[@4ҳWl-_]84فptQW͡D $ٮo)KfCZشQ}DRxv_ V.d=\LA>A(YA9 }~ aq,y A_n#<VZûRFa~+8rXSwmТ'VQ;0i%f,*l]PJm:_HwŠ8@u۝]Qc'N"_b&>ܸz9=výgܿk_C"jޔmz 9z]w;ϓG%oiXOi]_'c֮Mte#KF+NwlvIwҒ }#hqbb5,잀o }DBL(9Wom_XB0NOd z]gW5q٬fbGfn[E ]~z]r@: {;nԴTgdd:-reC\¼Uݗ&&UJL>H1mcܽxf,sP. .GT3Ud!\XB6 ?ǐZQ;(@)M^1@|*w"rZs ȶTz~%|.n|7knffeۄ cKdIcupN{Hw&;q!~&6Xq\hƋ/`9%&iḦ́PވD˶Ʌ^v<ütXpsYl>׾uS{$KPZ1Pi_ }W/fgZ[9(\Q9~UV=fO5եuDqa@fV2/#ܔQbsM 6c D<^w֦`0T.% u`R谢ku8Rpe$\4;Fkߥ 88C=RsAl6RCh5wsk+h՞D'}u*C4$[5Чh-|.?zh` #pH/{ZlrUWKӿ_ J($A-%U#so;P N2]?38i\KdDϱL.6e>!΅ܪ>tM3(d׆W؇Me=(zEy `wBhЫ[vJ>/t.9uc!(u(n^ܙ9|僴D7qjutn`m芞uoѫlt$ҡ1:I(vjx;wA."B7F6elnmg!p]'\QCzw.k fqQ@%Tƭ1[܌z-4C7L![e\1GTudBbm`3)'9sO(iHcd;`*[qbU٤tRS181}Z;8<`5Kla~`W2NxGۡF*OKIGz-2=tf٩#Ђ=ݤ~- MI/R 1W- bɴ?s)-sY =պ$5Bυ 7vý4?сʆoa2lAh ɢ5B|3 ?Dҝ <֛J|D3viiA[x ,B |r\Wi#9E }4 j"<ҙx{{9B$1SBr g xy 2K?0NRRX^/Swk̪0f,_aN@t`ܟe!)@qVqlaC]*C/I0o|B?'w]^Y[TC~GmM9ԢdŘ\nAnsEB]|fZPɢ?ݦ"j^crh%ninl\Lw*1~mkSdBRFp7;JkP^ʙ ,dY! M[=ٯ8 >cN>fHiJ|}t d-n>5u#T;CuxMlG1$Ŏ&'CFT;ɼZIQ|*Rէ^u` js C!!RV[m&, :?%yqZ"g;"ud̷N;VL*V: fOtgR7^PtW?\') xK,j^r˟-g7 T) E/ve#4™G{J阺yٵ7852N+,~w烮[6nsTm 7&xT:Mvs(eὭk#;,zQ +H6  d=ٷ JRM I4eA'.Jrn$_F!f@MaGӭp _e[Y,[2XO5FMDęO:lٷ:hl錊je& sA3[jC9:]Iei9^RTTwĖxns[c.o?\pR_/ٞ>/ @_2&9 );/bcF{m =+PevFVb ß ߟ'@фDzD+w!ͤ\=cPPU47~WJ opO&mSԃP_JP=n4'`S%NqND&޴$޺pP.a0|pz|kqul#!yaa9|%='el{NטH|tZ΍je*it<Bz;[ 綺 TfE<0rOխt&bO׹^\a;t6S~]AjYrSڌw\[6푨yEZ:Nk|H%`ؑ~8j?;*"嫣!v&s9 >:{=~pT+0Ke