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 29 |D ]% InformationFlowSlicing:threads=4elapsed=6.765cpu=20.584gc=0.584factor=3.047zXZִF! ]ŗXf[&KvE{!Gx/d ՜fjp,h%9u\f`,?2GIK(3&~;7$nR GŦb[1bc˖ӥ 7vgDaH`'S[=/3ҪЏA;j$8PJ-f).ЍC֧z^CLlTu e:9l< \HGdl0m0;U9<.2w*~?@sklmQҽKzyrl/xGr9㧷RC%Y-Gda0yaP,eQnokYBH8R ag䇯`W˖ YQ_ Xjz\0 [pP`Hª}noE;}k}$-6&Set$_nl̠rB0.G LyVЅZLZ-h-!h^ gYZ7zXZִF! ]ŗXiɟT>(;Z#>dZʒT.|I"| 9F=1Q h1u n PtѨ` bkq~!MDuigYZ7zXZִF! =]ŗXi%Gk5 ؉@?6@?b${kq.?2z#~c -p&UN5.i,+,gW4_t#ӊ!Xg_KAg@ќ-zjDž2nRa̕eA8E oo_}V`]L9؈DA!xq\B ?*$իt *I覤8Jؚl]#+G5X HV'KN;#prJ _oX3eo?`[[tX8E"2OՄ r|?F[~c#i7WsUϧB/C&F yhY.bG31h+._154% 20նE*P'ӆd7sx7MCѼ3N(Jwbzޒ)TC]'O:]n|"Q߈3̏K IYM"<1Cca]NcEJ,4mn\7qH.A&R᪩;j{)rhG#4mҟ;π㙦 D,؂>=P^C <;0sOB~tp16;/u:K+/T xR.AT!WP'-] Flkeؼg" 8R.|t(xԟZ}f*LqS?L5Aa-oaR7^G%S1*Z͏ɞ;] 867Öo]&9{5l(ô!50CoU/by\-?\\̼5DwB77gokx?<_R!J<p2Q塾FH A䫺u_~LTV-/*&zvьWO g]*g@ykzt;@0R2-rkѴvt\SyXx3O xfKK89j[ .΍f?Ͷ;ܗBRM..vtk:a?^۸^7Ɂq8ܺڔܽ8ZtH L+.@S眕NȏLd z;gYZf666d2535ca102ee9d5d238905698ca53e441e9d4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9 fd5766c301192227760110498bc6c7400598d5bf 456e0e674153411ee79f498860cf63582a9c4fc0 9 InformationFlowSlicing