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  11 w% Stewart_Apollonius:threads=2elapsed=6.231cpu=7.944gc=0.132factor=1.277zXZִF! ,]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mHӢBe+[}s vE0$ GޱEVBx떭d1W\v%zh!$mm_Y )[f*?2LG4e<M=Fam(q?/N gYZ7zXZִF! %h]ŗXi%6p[b.[_M <nKq-y:zEn rK7B4=eSOqUe|`N7iᕠ6 i!Dعd%˨b)lg(DUqibO g@4DO 5Wޭ|%1*XXss kF9d#ޒx>8!U1^'c 3;ee($mbOsk 8d[N %n,o;aC4 a+E_A\Qt}|%t5\ݶ_h柏7 ""zƐ\(8fo_˗@[ yU} n`˺m!nKϰuL$)ωT[eV"./ ~r L, 6 FХ^H݉w(5ɦ|p2*HΞ2kx78̽boi]oOWN+I,ߏUTup*0(O'1(;N>&:&pbNZG9cԭr)-l*haRꗕ[On'-'wDJ.gYZ1c7218c79fe06024108d9b2062a97daa8ef55915 5e6e55d3f0f56cd0c9a445cf196783ad8eaf3a51 67e9c1086d27650a831509a3399f27d4871f6567 721e4ef6a784a88167e95fff874ee5ba5b33b094 8ce4fa722f7583143a769aa7c347d7c85fa61d44 a19e8b1a5dc2785cf0283d4e87ecc1e6e3925a90f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 7a682a676d8a84f583e52b3d25f7f4b30d4e186a 1 Stewart_Apollonius