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 ll %% InformationFlowSlicing_Inter:threads=2elapsed=32.663cpu=57.436gc=3.324factor=1.767zXZִF! ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#pţbEU-~[$ϕm/(#q+( sE$cd9c-7e(xCxJ|" Q "ccV>5H[(ky,yښtD*;vTQ#2G(w1E"kGeg!\?xibV-^XWZ;|0nځjU9!u4gYZ7zXZִF! 5]ŗXi%6y5<^qnJ\nU|+ YB]0?s~(<ԑzv`E$HIulܪy,@Ѷ7A'35[0dmw}Xyy4%HK^Ysamh= d \ À 3#q62r_"Sbztk3LUKP.u$8yrW^kB,U1QA42F-/@rYy?rŖ~;;jn*Adi lIFB-H^31aBgf:7~4SO3Q0uӼg3PPh6!p\$N# A4gBgZÐ.Na EAZd8f<#绺w)'^[V` DW!"{C<.5W>I&)Dio`F[Q}]i[o*}̍73 !Ӝ8IHR is3=a幣41w_w{0lq ,Q`ʁ4s)m)Gj,}rwwUWGi +B_zB Z]'#ĚW]yps@M.7(R##eypȼ%h$AV;s&Ig^PN}mN V=ײ/`+Z ػ[5>ߟWrcoQ myĎ 2Ɓܖ8j12# &:$%xbU_"u| ez\ DG7m*nSYވPdZ G񿊫C5?f.jl '8˒|VpͷԒZyT0қz0y} [u s82 kએf;=U.p唝'0%c&hJ֩5N YF`ov;tfRo*D62ڏ둒~M*UeIƍ/ ?e1+:$S]#Ʉ8k #SNCJ4Z0hJt3@NxyQi0 BjZ̚˹MޛZx8+B_^H<5pnX>|P\d;smKN 覟L`c?0Kl/fهlQr$AzZӦ==(F 1&lS=C(m3.Jit6KkH`s?0km6_Qhߍ+6c̗:πڸzз)Y|dÿmG׊H|0Ǘʚmj> e!=T4h?] a=U|V??6z;F86W)RinAIvG. $1An&wJ?`Di5_&Fdž"}L i(؞=ʊܖy0mX8EjNS;{m~=3ȷJL~x=jSd@ˏ̔%iPCBUpQQ{]2.=qZޫ/hJf&$@ozn>s}lF4 q)եsY+Vyl&|\E*?WkIc&o&᰷ KgYZ2cf3ac984326e5ec979e2ddf440fc22ee8082b5c 69d0c5385beb5869d409d00e3901fba31abd9b06 974e8213afb6cadc24ac67baaeb3ac914d640b71 9c232d7029a1b9134fee70a1ce8162a133580fbf 9f0b4bbbee284527170127effd3487aa8669bb97554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a 995e2f2d633b936357320d2d485fd6d115dc6bea 8bc0890ef342110f1601c1456c51fa47e60839e6 E InformationFlowSlicing_Inter