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 \\!E L|\ ]% InformationFlowSlicing_Inter:threads=4elapsed=14.692cpu=46.872gc=2.668factor=3.197zXZִF! ]ŗXf[&KvE{!Gx/d ՜Y;[hmOd؍.x`dnIͩg:9VwE=Cb?aez7YָA4 bCM8ҭ>:/6N6;RjLx_0D(tdHw1VEGT;s'Ok'yEL9`ƚo-u ӥ2bX&x| @R jc1oJGjFr fV[IT"!Ql[;%꽿<4њOkkƬ?Ho'umDC(b}},ql$Ɖ8OO: &:\ 5Ki]ې  J^9 ׊ R$_HJK"- * QCU \8OPXꮰMe)KVR4NH)H@2ntLѨځ~sz$xz"Ù [ԕ"v%--xGp=>Y/ Fα>W3;#o .CGuJxH~v8h)E |C)"Jj9Ԛz[;@WAMgՓUl[f-Nrps,&f3- OѤEҶ5)x:>"8s>PgYZ7zXZִF! x]ŗXiɟT>(;gG"**Ax(ɳ}z-tPxNPtKAn:?$u.=O#1҈rډ-!Q`;ݓ8gYZ7zXZִF! l%]ŗXi%GkArI4 d36ݢȾ ![ :J6vHgI H1 x&BjQp&klDvUD]وv-d-e:SvZޣI(>{UOƧBV՗y[+1eôPLD.LM 51smB:W^l>a&7UvI2_pfh>|VHj]f{U-4 F'dX7ކaޘ*x?ŃQ^~sR]/S j$Xa[ITLKO AU⠛' 0'AL>ZwiC9ń" }} r'iUNZZm=˽]b=?z~|k`3#$Nh1mT؏&Wj8 `{vyذ, pU-R a&J.{v Qh1(F:`Yxa҄%MD%խ ip~'LrNz%3 eY|%oowX}1jPH3'6C)ƏRTr#XǬu#ɯr /%Xf: {gB<\|xD oEgR5qUVpIsLy7J@q12:Ifox~Q;^WP]!(a6LqZd.&&A%wTC7pVi)@nBلtTCi~}? ~933 CԜ4 ;tw_(+aS9 G1ƫ5B߯RP4 bP㩅08.\G-L3taPQ\hN,N,m1XTGQ6aٹH)tˮjgq.d#8̘dm5Hd=< /IȱN +Z=^  V&a!ٻ>b "sm\gYZ19e5c28840024c88a5d5ca762a4d2787aaf745f24b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9 fd5766c301192227760110498bc6c7400598d5bf 18a0376428abbcc9024ab160677d2887c31f4ed8 E InformationFlowSlicing_Inter