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 f9  ]% InformationFlowSlicing:threads=4elapsed=6.210cpu=19.116gc=0.480factor=3.087zXZִF! ]ŗXf[&KvE{!Gx/d ՜fjp,h%9u\f`,?2GIK(3&~;7$n13{AJpF" =BC^o.FW2^.bl.!EZɧ&e)"prDn#5"_]"1A|7yfF'=ϛj_rEeRN2*DXGQn1%OcOr>p!*Rb >.):g s[@vߚ"k?GW:z8C( 2qW&%2׿X{ǣ=*bwwT0fje~8Vsۙ>ٗ)*P2Uy^3r[hlmBfNpZGR|gYZ7zXZִF! ]ŗXiɟT>(;Z#>dZʒT.|I"| 8Ɏ1Q6b|-uξ [۰˱*>5+("@A)2sD{H!"WgYZ7zXZִF! :B]ŗXi%B۾2CSw6$ fѭ14KV̮ +RNXrЍOd}gAh z=JU!%7 yv.R; , -!Yh}J>| fm Swv7ͨMZ~'L`[}57(Ohgesc ;aMUZ>bn֥Xx?h*n6kfeC0֫Ա(|giz!v럀-lE\,,-V}m%f(עc.zdz/ h9As8Q?a@V0';ms2k1gѐ(.Pt Ǵn6XFt] ]˻]ƂJWӉ61>xN͗35K~Qi$WG4zLjʟݴIVTΨ $ST3tF*{-5]vqۓd 6ߜ-+LH׉(=XPw>siPZaƚxtDo@p$;[0.(jAO 䝺D&zJ'v4N]5!Fl$ s\P|ԫYŤk"x;n~ծ}t Za!*5*]8Jhou'1nb#IԠjŅ~O)%H1FRaK.o| c ׶Bs~6*.+3XjuS!0aSF'lO,OUMZag*">d< hR>b7