SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info i< S/ PropResPI:threads=2elapsed=16.225cpu=26.536gc=0.820factor=1.647zXZ ִF ! #] ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^O3l2-ܐZ EoyǏWkhV3.i>07CK˖mٗ3C8wX,Mb+^.);Sk֠3݃^LOE3۴⭪Zye5Q[a $ SD`F҈n#Tj9.~v!b9hP>?cໄ%.hʺrp+.$ҍ1HA̴َkJXQ`zqLKYDB =. ϱg YZ7zXZ ִF ! Y2] ŗXi%AbFU?b-}N}gߡ<@ԭA$l-;!}~j"g0l;}gK|W{H 1MrTN\_J`K}"X#19? lÂ̦Gȣ<> |kg=kҹ"Z^ًK`zДfxrTJKu[fԤvv{g G.٥TDaBY68DT^ BЬmTPB %@kfK:)JW}XײSBU;pUs5Sw4*fV+mf c0gE(Vgr-lcF ˡ