SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 4| ]% InformationFlowSlicing_Inter:threads=4elapsed=17.340cpu=54.780gc=6.828factor=3.167zXZִF! ]ŗXf[&KvE{!Gx/d ՜Y;[hmOd؍.x`dnIͩg:9Vw<$lb8Blcʃ8+V]lY+!JbqH,eYT)G-0=oI*40=8z+;輞 (Eyy[=$;%5&fo^^A, [+ցm-,R~(!M/c|ؚ>LAn9/5]r0؛.H.h>S֣jCWԑƻQƯ?a3$l]֢'ϥ~ ?Do[9N6"S8T<*zyzgjM Y>V alhAl*R|, xpG2:RzH`.ZQu oފGaQUuL p/Э&JKGOXbws'7{@I EV`nҦ7֊EaOFfcjC:gWHŁ7xcqL[j̚āʄNkTM'zTeص(rmXrUmftʚ2xgXs7pOcmK 7U<9 )ERf'@A{gYZ7zXZִF! x]ŗXiɟT>(;gG"**Ax(ɳewR XnTl/l4/ ܃T48Y{vEBl#iPLdUzG$;ݓ8gYZ7zXZִF! u<|]ŗXi%L mf,Pa ~z ӥƋFl6s-in@Pa1$-˄ |a_wi+B7&5hqc mEfTo,Zi$;:IF#j:(?0v[.bhOI40&:XJ}=RlĝfO 1ŦV{kRn,SN}, b7?D jGC")=(hsA.qNĥJ3\wD WCb¨:66#e")謭|x .`GB'>aٕ]&H$:8R׌<afD*4\VSH6j8XgjY9^o΃v".%Ա[wyR='ߙĻ@{a5<)˯qk bfӐ+v?:sHRjkrq:Y-_He{+ EYi(i K2.=krv0W^;/Q^}Q7sKoyM̑[I741yߗ.),<)=$~ob}"JZ\D_KxՅ |0XJY@Y2Ɯ Yn7&ʹ1nݲwtC?׀H͋K>f ,t*q3Z p`VRaJDXKܐݭZ[%)WzJDfT#(̦e|/=O r>:luG=A;z@*qyߌ'cn{zQ/b~&9 fwL6'bײiz\n).e~5C8pDQ O]?5 y_QN:'emU<=~sM@<ޣpxlݛ|Gt1U 5u:h9[lp*j`Մyjv.v(e0rxz$~E}x+ ƨwl@:XL Z82:D=LZ2!'E ͆f`&䴰.X/'}{M75KezC<҅oڹ iVa# 7g̝JTє[h}P4)nrlLoh.P5vQzPSC7bz%e%gz16K1 KQG V.Qb]Ax檖C;"4 -&$m"V@+ $ބߡQ(՘{!o!r#zƊk;H{48FY<+<c\gzA'"CLj-I5g־ٳǾڒRׇfYy3)jst0j)RUЀY)Hv55uu 04dVc5]] CB;0D!´ "blZR"~4~NBvNLT#dܺs[EwNJZ5Z5]͵ ȑaYtI ҏWb\RI(0OJDCƜ?:b`]%kf&Ӊ{eDS%ojeN8`w]KWD(.Z5 J v|Ҝq5Lt[\M|:t0*ըz'D3 baYFm~;^SvfZfJkȼVTjl U ^´ =[p} 94Z5¯y?+A^wXe_N v{R%FgYZcea6f95bd54d55131e3999b5da105f72a77d2cd5d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a 7cc7617eaa769705609531252e5e3fe47429ad14 c3b703d32617e0a4aabc76a97ef3a2792c2b7adb E InformationFlowSlicing_Inter