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 XX%E D|l ]% InformationFlowSlicing_Inter:threads=2elapsed=27.593cpu=49.476gc=3.064factor=1.797zXZִF! .]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)_(uVN*ҟ-ό!6*~rKS2=qTB\ITx!t2*?xÑ!nM!AMLޛP9Yic9 aM:e7d=!>x=9&*JwRvDD9smZATFxA |dY'{fᡯg{,mgjEBͲ&bL/qj-?\)&5V#:>㏘Ca3Ufz3ڗ2yXWǹfx ZU2Ԏ:\qJ,ٶ}3֨y$'U.U] /+m5oC@̿f뛭Iՠ|dkX#B#K"XSͶpB.@r69gYZ7zXZִF! w]ŗXiɟT>(;gG"**Ax(ɳGz7@h@.Ji Eb|^RL* 1[ddlW_%gYZ7zXZִF! m]ŗXi%93 n0&Q+@-L%v9 0EK绨w]HtCv^pgψ㎜Cиi3orA}.y)p_ʎKx03w_q} ˻5%Z,0 ӓ c;cBL6ҵq~ gHnBg ϞZ|>cЁK3B:q$M<9~mDl+F'ý$MzV)E~iA`C}ërkSKa_O%TGXuXD0{6.֦o⒑E8&v+ ݛsj;eswl_PӝcJȫXiY5X2gRt'ov,5=f>"",K<ڦ (2+" Q 8QfaO݆{E\Tuw.t*YRߊI}|qOn5%=dԓg9'^N^N}&bv\+D{dZM8>~~Fb7[D3,mmzwI~aKxZAbD`wlϿ1'X?]ayؑ4HlaT?HbL}i]^x07ZbV}]Hz#t3lnMsCc^>f;7xqWG;=?f)(x/w$)q=Ȅɀ{3,yXm'yA(}ܬ<1J5t_).cJ\V+XyG~X?9^3cƄK=ZPsV$)0TR[Y,@+y6f _:~BTTO qQJo΃Ig!hI.bYS3ԕf\ d2 oM9㾏GFG'ӝļdU4a:d Pb pWU 5:\iWU}"*ҕ,s5)"y0iW`.G`Տw]` #MT`fɅ[=rڕ@|4A}.ў66fL "3(uy7o>4"EnNEWeIpOji'nP^>ۀt&y _Y\$?ۢ̓4P8l['rk~(%ok2n."od@3eCAN4XXV\nocp7(>D!},-!!Jށ0%J>XHLƫik&K_(i h?:I?@FS}r)8ԗ)(Qa