SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  6 6G ,\4 ] HOLCF-IMP:threads=2elapsed=5.851cpu=10.708gc=0.452factor=1.837zXZִF! =M]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHSudž~a2u>)-#)e1b{A;= N_qdHt3;sڌ7NnVgMI&ᆭa%i75>ukFecQ}0}!nNv2T~zQg ;FT攗]UN#8 !mT|_' tdgo6K\4JA<>;XNb(HM{LK,Z i; w0ơ=4!N˪J,)GVTgYZ7zXZִF! ]ŗXiɟ1,plnQBmjsz*uw2dU MUu۪[6SS|%,m.+r6^#sF(%hLD;en-zPA^a.4_sgaTF5fE0ryH x-3;RUD/egYZ7zXZִF! *:]ŗXi%;`^Qu jʤ[ʘPJT65 fGbF\fǿglYNpBǣR*H yu*RdN5u@‘MHvN0Iť"t:TUX8 0ϋeUP0Pgz]5~Kc"8+A^\Í ZgqKׇ.Xe6ʗ龴͹