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 z9 4 ]% InformationFlowSlicing:threads=4elapsed=6.275cpu=18.920gc=0.536factor=3.027zXZִF! ]ŗXf[&KvE{!Gx/d ՜fjp,h%9u\f`,?2GIK(3&~;7$nMphfU 94DYJ)wUZ$!a ;4Ņ> ӀmST_{}`Is @"J0L[S_s)sJS۬yH -G Rt\X-k%J8F,\es":yuIv~W 5]d(vi m86ujr:#p{Y.s| \/` x{Z̿z!?GyrK>@[l9 xts+ &F5uR{^ dCF1~jimvXs`CH# uncgYZ7zXZִF! ]ŗXiɟT>(;Z#>dZʒT.|I"| /njBRWk!նJ|2׿,Ƥ]6w鼡q#i8O['w8K%(YgYZ7zXZִF! :@]ŗXi%Ebbpa\r0ѼŢO&m5GeW| ճ[@mFWM7&5Hʜ,6P "q =c@HХKYXu' [61@eQ~j;Y~at qvw&+R\`Q5l Zl!<͚QWWl&=v1ia'@\5xpx_O*7:ՅӦ?2QoDH[EnRݩM'LAKFE:? nu70N*nk=ޟJGn }[x>Z@nт5˱CW@Zju~E rstmer;yKk~V!-pY(TX5PaV!?\N2/ol)M< aaZ0gOg;r$M}rHKH}^[ }O.bH,"YP!zSB&Yn>Ӌ 3tj bBC^=Oa[0\:u}N<i}ީ*nrĿaZ:?rnmUsWgH΁$_q ,a&Ay-ht Cϣ4_OJ7S;{ rh#9|D#ꔷi+A(e2S3(Cb~ mۭk jOTus" X^Xx D5&i&k ֎DUmXķ^hʲg|q~J6J9㳎\U!mM7a U,"@|֍'·獲ҫ^ۤD^$mbOp^XL*E݈ \[gCysOT= *%#erdp'hk5Cy&asa&>Y%Џ"z7*[W~#̕j={ma`su1]嚝ܕ iq6G,?x##_~YT-n|W/ zaCjFxЦU61H#5$2^QO-($Dcu&5 t6IgYZ3eb344871afa4a0f7ada2284cfa0df67cb47566beb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 e34bb98bff6ec3e8abd20ac3252ecaa43e76eb12 052e67d05ea5d81e2688cbb2aab9cd2e6e824355 225733484f5cbd52d82c326473d74aacf477315d 9 InformationFlowSlicing