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 -# ld ?I Random_BSTs:threads=2elapsed=7.328cpu=11.584gc=0.644factor=1.587zXZִF! o]ŗXf1-q恈%kV^M[-a2'161畕\op+ot)h{cYi J؛4oFo$c(K;lw 66Mg]OfU ^x7Am棝Rxx 6,1`EL}ܨ h4C%2\Bܕ٭?}N?ɺ"CÖMqR }`]N&<@P:5k[Z/Ԏ xܣt W'Kq(8g:$6d@ m >NS|M+FAg|`zv%Z@g\OeEA`E gYZ7zXZִF! ,})]ŗXi%6˻h`P94D]Ǐafnʕ.8yE6g6v <,.iA ;M4>*z@FvXBm !qW U94N\\ 2FV3waG$d9V+V*hlGl]:|x{+n0&ogfZ֖,u}OE51}ޓk'9 lV"~h6`Hj~!c T, J\*E@++‰[KCe>Fs2_P>c;D,fx0POD2i~ZV l81M<᤺5WP{[uO%j֟g Pz mCOB$ڈ`" 6HG4ҵ0