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  / /N <4\ ]/]ZF-Induct:threads=6elapsed=2.778cpu=10.372gc=0.384factor=3.737zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NQA2͒j8s5F70|Ž ` tNѢhSھ2,p<1Y1ޥĊe.^(n⬸ ^؄ga"iyJ `<>ݳ5ч]mSJڎQH}$yQ賕u P \TQ1gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|Ǫvrد^䈀C?#e+}"a⏾iˆ=R\!p g xl4v<>'! _o "^^Dn (bb&U,p?/u B8]>b) 9>9 fu09H OʥS. %IY#?G,zt&ItdrϼHׄ /%ةb{B]e;gYZ7zXZִF!  &]ŗXi%;3d(>B9l KcU:oD8Ph,ὣ_*I>6&Ox+slkx6%ګ˼Aϸ cŰ~D``y/Ƃ5YfźrByKR"<QY z z%ᳶg{6<#]cT͕IҚC$]O/֑> ׳wV6@)ʍrJ4|d#z sӆ266}=%+Rwkk_`66s32Cq 6ը?<=/rH,M/֨ IdRn(K /&D"/ޱAIC#ϛM8m.^_]!~9Rv59U@ ]Khad : A?9'#&(_CS$ !ǑgYZf11ea031cd031d7bd30bfc685a78bfd554a81d850cea6af50952712e101cf3d03ef47baba4b0476a fd99be729f93fa8913e1fa197f072c668b42b66e96466ca2031cf775fde46e539f007dde82a5c905   ZF-Induct