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  l l%dD w Pairing_Heap:threads=2elapsed=3.218cpu=6.324gc=0.420factor=1.977zXZִF! ]ŗXf1-/6vR[2F*DlIWu,|".Vbȟ_BKx0@Vt$jo-k1M`au\>XUȽw ֜ے4NE>BxC(!y eRWdYcQiCIi7N1B:wg;8{f~4vQ8q9i}4R( gYZ7zXZִF! Q\]ŗXi%6y4Jyh2|UTo{Pd@WCM0w(ǥH|VxK$MbUM۸#M.ǡ^^U¼\TzB: GR+ƿ8DRMa)O0ם؆}}x sdžKyr9͚.J[^Kh37J k)ZEJHT  c{Yn|Xq){87,vn1IVsItQt!S3`4 RR_ 6T,c3<=p6K8׶#K)[- jWz!vq D0$cm\{+.H>t nJT:F7Fry>O6C}F́ 2'O5AKَ~tf"n ^Ѥ4c{ק"˕6r#Ki=%b!MoTv@XI^A# q5=H6g;{Eg=oG y _֭"Pס4(xVn2 f/\E ].qgYZ2406350fc8727bfbb9cd0b178f37f8c3eedd0690 7ea3e05a8f3ab2b80d8a8612a361d715c60d53de 93fd90144aa239ee204184369f17168ed5614265 aceb996a5b707b618f7a30886fcc2ce058098773 d84bbd8fee625c6b6a5d1fb74985ca28d566399d f4f14f1c2e8055d14d9d44368f0d53e3945c2c1b554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a % Pairing_Heap