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 R1 4T ]/ Concurrent_Ref_Alg:threads=2elapsed=11.857cpu=20.640gc=0.380factor=1.747zXZִF! 0]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬D[~:қT#Ow$ݱ(p3Brz0n0bxƤ M e(@>AbmDlZӰ~Pȍ$r UW827ۧ\F.4.d~XIPz|7`<*<pD jƃv=8a9X-)1Dg~fB N}pameB5q[͖^{a!gtӱgYZ7zXZִF! A$]ŗXi%6f.LO0bdlmWV,OP [(1N! b5i@]e3NW&zKL){)׍cGZQ~ Te.Eԡ1aN8"k.ٵ}G|RW&,FͺGհ=ϽN`=w\* 9qK/p4s=Jrq8›f׊Y8I מЯf;ҎCK>"]leɬmOCQ:1)3ܢCpQjۣA< f,i{|Nd Us:`IMAyFv3M9ޢoD!E5!TNgqh0^w,"Y?sRq0Y&a3RBl"*#6{\* g@TY藭EDXMgh"EtSfP޴7wց hލ|UtZޕr="{Q*賍9nhoK12Qem ͛{l/ywUY6[hpkl{"u@̣r ZG|1أ2Z# s@ݗ H2L`į ưg;ES39H h`gx,^0>=`3*8-!=p>(hMWmLDLQq\E_5!bR̴jD[|1wvkE7*`ӝ>Kyh;ݗ qs=Gc"$s\!t}:6X+9,A`+f.=%'~Kh o;ƾ#|0`YjE[2qѩoCoyqRa+C|Ja=fל#+hgYZ60bb439bdb69c902cae5c5bcb973bd7d21c5887c0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 1 Concurrent_Ref_Alg