SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 G9 ,, w% InformationFlowSlicing:threads=2elapsed=10.486cpu=19.140gc=0.940factor=1.837zXZִF! ]ŗXf1-/6vRZ;׬S@à;@&JOy%q'&)!AB(hX~8K:`V4qs_&ggc%ƘEf\?ᗊłUW!4;9,b8?(J)ޙs n~Ύۉp}.]_cVh6!mG]GKXZsNgYZ7zXZִF! =]ŗXi%6y4-%نŜS|$]M\H[YpOp8A&g98D`Y;Wѱ"5!p#XMoGl968'p , p-jl;q?{kN,/,3)V92։x2eCRB4;D01׭<V/EiMICP`E,~dX%B[֤HS8^!7V>pwڊ*&P'̌P4.|MrOql8`.)ïr9b (Jf).>6^Ux%AunDHG^cD?@e2q*MJ Ա *&]T51V-eƠ1ٜ`{ ~"dyy[rb'e GŔ潀W.zw56?o;H$cO,!ٟ {YW%RO.T@r-)|V5F͘LPKȥ5j]>`-F@*jlQTEs4WLJ~ɤ۰]-O'UV&?~jœi~vX4!U0 Q%ArwruW |w#%_:kvePchUH\GgƸ%?UE$^8l:c1"Ro @Qt }3'E,a{60QETZUKPbA!\KZW>W{ࢄ.8YfNG%vDVRUnS7mΧlRZyԨəm<2Lb*JgW OKntl"XriC^@PKW]z_ղX `TmN[`Wnj}!mzx; f* fkִKllj) ňlC>fnǗT9 zcgYZ1812407495cec5df04e9400ffda893a10b1dd05d 48f54b27801ac9bc464dcbe870311259f7be9c1d 974e8213afb6cadc24ac67baaeb3ac914d640b71 9f0b4bbbee284527170127effd3487aa8669bb97 ca4c55c603d4b24124f9ef6fe58d9fa69fd00b42 caa6596dfa93f7644db52f75d75dd6e1d7c2be70554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a 995e2f2d633b936357320d2d485fd6d115dc6bea ebff3f7561c4d8b605dea242659f6bd300ce00b7 9 InformationFlowSlicing