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 8E D< %% InformationFlowSlicing_Inter:threads=2elapsed=34.124cpu=59.164gc=3.064factor=1.737zXZִF! M]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)_(uVN*ҟ'jխJaWFr`L{1Ņ53#[0_bKO!QM{^U{4_AJ/x)B'$S+[0.0B6-ZKҘ}[` -OبZT8Y],x8w;!-0bXfI"9!wvFT|le}"F>m_[6ߖÅ&Ҵ,igcIpws6]qDx_mU=aOͲH15$GZ0k8rW!ܧa MI6%[_VZ 3g%&?~2TFKR=V7=LS iHu}"BQ6OY,KacZ-n=JRF~촮5+1t8yk dozVo>swLLːM3lTu:'m1q4CxtXT0Xë^90f〙˂LUȥSަ6*쯝1A`1r3XI(_Tу+D:M֛6XKgYZ7zXZִF! 1]ŗXi%6Soc|o(/b$ i֎8FLbNhV*H>}5w4*B1e΋b#Zʹ e(I SF8#P &{B+z\+tʋzL0k!@s/ >@q(OnXՃkgJ̕oSNn;Vlb14 LQzLäec2D)?=m ˧݃Hީ$y3= D!3dүv=-{ǮrLk̦W '2k|^DQؾP{-ӔH:ޙȔ:n`^Լ}vS'\' $$v/Ƞ?Ds1#)SN1ο8@l918Y-nU'?P)%A4FuRDټ: ~%{ +!/HS+D ؏z MktN#G/p`c)!\ Xcl4^.^(^N"_k=\hhL?%*-X⠱se@̿A(""] zѹ7Cn1 kk!Y8/1zq4!NK?g-U OLj&gq<^#l?pwlmխog^пN忄HIW ~*˯RTu$dl%v]w%W#/`6C(Pqn(W AR :{"Py |ip!H EG͞uUʀKe OhėJƗz B_WPMn}˧.'!(EMmFv읻B ǎ\<,3CISL+uᲘ6I- lH ZhszDL1f"18g7T, &Y^"8)upJT˵C R>\j5۹)?  ؎\`l| -l͘S.i] Ca N >}L|%3?=0Zykb 3hܐ:] hQo_213:n *d ףq/.HgY"! r޻$6 i.{__VF \ܼswDfzHwyN+J#;,k"09+בH ܯH˃3>Sy; 1)ՖGe*kinO?н^g55!O-Nl5'+oJ֍FiA˴TYDwiݤݎ;"ؽaohZ]I"J!" zUDžw3g~!CJ\MYX&!(c"IqZkpo\2| )\F{a3#K(CHT:]z