SQLite format 3@ . BBh77otableisabelle_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  ]% InformationFlowSlicing:threads=2elapsed=10.021cpu=18.208gc=1.104factor=1.827zXZִF! ]ŗXf1-/6vRZ;׬S@à;@&=ER!|jz*9sD7{xc;X}>̡4)cJipSNȓ 9=(WNXocy/#0OYei3ؖ͊,9Qr\ʘyϬl[@#Y@u珫PW9Hxh-NJƋjsjKI€g#JmٮF^$*H(pxeĪԮ,o9K Z+ҝsĺ6N,}d Q 1vvsEɡ4R!gYZ7zXZִF! ]ŗXiɟT>(;Z#>dZʒT.|IMhsϙQA%=mwP >ޘ+0  *Zpif_B'hq&^p<YgYZ7zXZִF! ?m]ŗXi%([/E1;Q}/ .t `1R.z yq-Kwٯig`xq;ҭ&KubhcHR蕚W Q#$S 붗օ vQ9[EObۺ@d:L`w> 1z79,B` Ņ? gDh9U ! 1 Ao*|SN\Aɲ0Gx1}2ɤ2M grླu^w˫O/d%xUiuqZgube^K0SF>Y^TPSLmyV![,/ڧ OdamFmfZN` WW$##y9< 3D_睩쟛)$\h( d5hyep,V-W5KaA>K\NfkY'h0T\^mVT;fOL[4IlܧcxCW!ߨ rV[JFx[ؤ|_^|kwGiw{lV`k ']dg`]e `Ͳ^-I-$RJ@Y]nm>.sʨ;e6<xeV$_a2^"l\22 n՗yvՒB(f4I$WXn+&OJi\s5Li49R1r3k ]hGN}6|pVgEoyxݵj`&j/3`944gX䑅w2xD:ά7AMUr9{ڐ  _`5;JM殺 ǵT[n'0_k2"g22hsYOxR($\xt9DS(#%9 WV~.IgYZ89be84760bc1605f6100ede6d75c26315b87b4b800b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c 3f405851623109b6c17b98133628f2adbc2d6baf 43130106924623169cccd8cd858f62a6d88f6cc2 9 InformationFlowSlicing