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 }}p1 |L Y/ Concurrent_Ref_Alg:threads=2elapsed=10.757cpu=19.748gc=0.420factor=1.847zXZִF! H]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬DC4م.B6ﶋZ9q1cA5=B#4@Pz;A+:bГeVt6\BDvCWpR`Fx]zudAʭH&*$ӯGْ] TW"U1Hk)9G[T1!+\+^b|P11ei ~Jt.&m[dRf`qA5 3v4 ƶ"ꜷh g%EbSu͋;@q;Rgn.-7{V0P챶v[1 ĸ`d=,FlmKZZj](Re߳\i=SY8ʓU7eOL*sH8픝SI J\J! .碭T@B!UPp iu| `^h{|]3kFZ2R-պ wŢ|P F-t&hbI5̼B/2H~y' Sn^%&9Er2y΅MxR%#8Ĉ d* ʀ3+Wd7;xR/UVBz$g.߈vjP0Ák!gީ2Iؙ$ K.D'h?~ҕ4;AP7F!^Q zP{@.WUN"%>6.(p y8•S TC#*!_12n0 RW9uCՔh. U8E nN&lDލn|RmEckBތ&o8tD~q&&B5$X4(&N}ch8S>CdSü~uGk(J*h),P `췆y#(UhGTڥ xtW$'ikZ4|~C?bXX's(܎5ƙnB/k]JKYUP@Lb6~.y5{\P$eEfBmymL HFte3n{0p=kϮvY)a>;=|f~EgbIe$P ^q+YٴM9&KԺ>mHOWn\@"$z1AG`$t==JcLlypi@;y30N\^`\ "7!8K@O5jbDk(Pڌ [AtG슒u.=Ɖ<0o2k0к|g@O\~CPiiRG0@*)JMU*pa#n0nRqpa coZ0B.OP5