SQLite format 3@ .0:  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 uE D| ]% InformationFlowSlicing_Inter:threads=4elapsed=13.417cpu=42.208gc=1.572factor=3.157zXZִF! ]ŗXf[&KvE{!Gx/d ՜Y;[hmOd؍.x`dnIͩg:9VwE=Jr?aez74)-_/7⯈Ϟ})s+ՏlJ5'`l̴EF֪'_RJZOIRUtBڠʷ{j&>!OR- Pz[Duty,dTwBsr_A3J9#zh?D߄$n]Iz`vZ"Wyyy}84e6KMIdFF}_0G4S#r߼ĦL\nGw͜&t*<6鵗2A=_QOwa |Uv%#6=PNBxkj/u-/@&x`%D9ups^u'R" ϋA ҢiM/(?#eq2N휐ZwC1@gɓesS(YџHHZ I(!U8R-xblN9m/3S5S~T, ps Y58rgYZ7zXZִF! w]ŗXiɟT>(;gG"**Ax(ɳ|L~1*+Q+ǝ`?.R/^p&E;5i+݀;%gYZ7zXZִF! g ]ŗXi%B)v-L( N> rHuy|qmK Ytկˢq`X?vL= $ȴwl8BlmV]pBsэ4zQ= gtW}J~rPeř 'iC[͑M7<>D{|f%θqNycɖX4sB ʷt?f}C>e>b>Ok(HRbvr>%J}@ELfVòD$_>ݐ4y.9X,攛un^ g>c}|6btqF`I.te@Kgp}./<0vdt7oo1kyV_q,P iRBCvTfuR *u:u@jk[&5BOCio)s,khu[|pL?l[q)?]H 1E93Ri^@!+u|tpOԞcá#_!r=2f&vN2-?C Mo2:ZLzV1w%@P ]hh͘-}O0h6] c2חړG@[ >'UAϝ ?'@HZQ3] 1NцrbeF忑.@ýO:^9bp,Ai8[u1r?li A  lv 2S]Q_K.sR90P(/ՙ43g U?5F9l$YqOtn'ƢE\|sc\ H[ڛbχEzEXHv u~^}hg84ѰyEcM~f@o@ᤲPߩˢs"c~:6 }']Gek'R0p"Y򯪖V!- ֤l=eT-n ;Fc@wezǭS3bnūaWFU|A ygYZfe42b141ce3567dcb6200fe93958bc55c87f749376b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 f04b6a6c33ad0f2bac00ec27566d13b96a6832d3 492eeccbab16c0831b6e63588777ba0649214b76 280c7c8f257e7996bd5ebfecde3332e80a042871 E InformationFlowSlicing_Inter