SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info &&G7 $ / Transitive-Closure-II:threads=2elapsed=13.758cpu=23.244gc=1.032factor=1.697zXZִF! :B]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHly{3 JR̎Y̷G'= 7 Transitive-Closure-II"×]$ԡ de`޻;R:SALX*u1-(px8ԋKy|uA HՃD>Wf^3Ъ{K=R g}8M/v0>v'N3.6%BpjҀPOH<ͳJYxavaNkYUa?ȕ g$\Tt<9z(d\ 8ڰ#Z8*v$mtoIB3!!j\vJI@Nt=dY]{l8X 3jv+UdY<+^OX -#H:rEv& $ƞlhri=xj+^_Kz) SƊHa$CɕW%Q.w7sDZ mFKuQrIe`I&Ž-) a(]z b7s_xD_(d1Yt0PY1fGiۢX'7ڐ<1 .+ ]qeܐ :F6ٽW.6B */d{O;^Qz!)+2bP3MEm| R0zo`+-GA*އVDTSҬ(/vcbl<ͤdT0A:2lt'A[Sg8}0QU WW08_C:'@N^d"=wzeUId\WuAW*˭cqCvɚ\mD^*|7/*VaGz>!XXΓ:ӄ9]G:lTmU&3w{ؖ5I.׊/'N ٹэ25~h\l"2"*$~9bD( 8H^{Ĕ(k]+~&HD*.q$#l!}Z R mh_2GNYi&lP榠2Mi'a< <J{OXZ\f44)Q$0"#]+V$AixGYro# DK_|SJX.( t{U9Ugf $3L}-Af"_%J0P_ }Έ`iȴlF3Wil(Q ;n^ ٳs*E# *?V2vTQ&ڊ C~md =g~0ˌon&@ hgOɤ qUk ܿ4l/Cqdhiߕ̏KQ7Uq |':9W`e'>(8r` kj,&RM<*?c& rgeSIvl]ePSFʿL C}Kb!MWӝgp@vkAL8M?= ՛U3-FJvN9w=ҒX;O40^2 .*ۭW̖:EL{z4 Hڌd:gYd RvT ÎxG2EUD.S):@: WIGb8ao\zBX4?v^V{wvUYÙ}@y?OR8,%3SkQq=/RiF$,2v*ȃg?SBX Rw`:* cf4V00sH+