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 .9 Ld ]% InformationFlowSlicing:threads=4elapsed=6.758cpu=20.740gc=0.572factor=3.077zXZִF! ]ŗXf[&KvE{!Gx/d ՜fjp,h%9u\f`,?2GIK(3&~;7$n_kò>$lbɗlu;˵l.:!V|^WNsq5ZiO~tcwԧcv1%f^6ӘiڼHoj$p}ZX(2MÉ%T9) 5 mM.<ۿT#Lb7InRDA[dgTCkh?v^ к5~%mt[%9 `{+9 ֭Uau(?0]f=Ձ*kocLH=ϯl/Y9c}wW;1wߣdv5$sq-90(Y-4>$[RɢgSfÓR|A/6*H gYZ7zXZִF! ]ŗXiɟT>(;Z#>dZʒT.|I"|lBvZL[$BјP_+@kMY^n&J$uw) S= u|"WgYZ7zXZִF! ?]ŗXi%Gf'+&OV?yƂiUf,ep-K9.诙UVJO{Gy=zpuOkwtVJX |2kBvg@ҽ)sg 1i3ެ}T}1 ':k{KtbT܊{=L)"44UnaQT gl3yo`KDԤVHs4ẘTW('B`v|0XN;^Cqf^ftH=m1n>Ys}J>0J5:d@ 5=b0Un`iT=N`ubꇣMSp1,mf*-ܵBKgէB˙B#$MC1*wԔN!/ | pɁ2C=% +u[ؐOW\P $}1^pmpS.KQ˚`)ri$mdW14"BpFȇTPeѹ{ +jy٣ys|8 ֆ:~qm]~'?mK~:}E(m>s;z bŀV3PD`u 3XM fǐRrd3he"qJ -LJWT[SLIމ6~ ʄ.ߍ3 F}0ƞ FKQٟC f : 5>,P6%z.mpQS?r@K2cĭ")#BFh HS^#G-+{f 仛2 GT_۫'Z=/EVKqB7{[=eeGPY')8D< Cl[3IʄB*s