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 39 t< w% InformationFlowSlicing:threads=2elapsed=10.417cpu=18.744gc=0.916factor=1.807zXZִF! q]ŗXf1-/6vRZ;׬S@à;@&dwb/Wʳf2|S--ydx*`B+p? b=Wܜc1l3&}C~Z*FI +TgYZ7zXZִF! = ]ŗXi%6ב""~+ }ed1'K$e *k [6,q@vQZPZoz0)U.R.p K#&FHOJe_m"]'kuP|vßô9V6P!]۝i0֢L^ <,ZA;+=R%8@&^WxAlUTR $&/8YH/؛R UJ%RlZD:Ƥh+vEG#CK ΰ5PP>>!sB¯TqY<3Ǵq*8(3 󸔰mHcKh+q4Fs OZV$sƌOq"_q`J~8•7wT[|UzT-(*cq G$=R S?sgっ4Mؐg-_LHj} #Yg+p(,!xlf )$q㖙?%8%7:*CC =fIˣi=' ,:{4-;<]*bc>p/*>}qJp4z<;jUoU]#a0er;bP3L܇' A$GDiW|hn<(X-g#cFR~[s=yjdnc8l u{Gz na9k{gZ/H h't}?exΈ^aj3DKK &t&Wj'^E,,q|_rp"oR,-|Aη"XT+c 2ua\ܝb5r' sQx';s&BMdL5*ҿXfÞRaL"f,Կ#R ;tǤ^ӆc80tk손)MKPd OE!lHz}t6a}oxrx$z&gYZ974e8213afb6cadc24ac67baaeb3ac914d640b71 9f0b4bbbee284527170127effd3487aa8669bb97 af0fce6e79c19393b556c8f6824b18ac961bcf30 bdab28321b67323894438fbaa3bbaa05d37270b0 c92ab62de4be442c5aacc5328dfcf2bd0f181305 caa6596dfa93f7644db52f75d75dd6e1d7c2be70238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 8d7dd18dcd92458805cbf5ac0bf743bb16fee329 41975023851a880e747b926a1c51bb123ac1b3f8 9 InformationFlowSlicing