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  : :C%qL)Ln7GC|Ւi:jf;~N[1kzn>w친P ۬“& TRQQcuq& UhERߎ,hG ?4z#nfc vgYZ7zXZִF! # ]ŗXi%6T]Xp痄> D[AsScd 舗8C, p]2#1%%F!'Ax Sioc{`hmJ -5g }؜q\rֵٝV<=n!+{_)!m:)(xjzpקwEFpcߕl6+ONowMC𹔬ݍcreK/ˡ Jo;#ὴXVv 3!H1-OSy:]]קƖ,P.z>meIyD%-QS[ĥ {p#< j:c~M66E>df|#}v9WP 0&%mei'%[ ۗ za]0t`//7v+(4B$-tP7a2qׅ  -lp!GcAr$qHy+QW$}b +%LMvљ1 VY8=$<9"$85*ykYrs SDLBz TJ#wV:[H:fdE2bsVCib?3HU<| 3WS+