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  p-4 ]/ General-Triangle:threads=2elapsed=0.667cpu=1.048gc=0.000factor=1.577zXZִF! eX]ŗXf1-/6vRZwF|"Ţ_1T#s/7ٿZiF\v]N/I g6׊Z?۷أtf}YZ7zXZִF! TG]ŗXiɟX/ZwowUrO g }v`Ƒe< N$&ރCc2]e$Hy9cU4(Wu}YZ7zXZִF! ]ŗXi%9(PM[ܽy +"-p?O.atz8f8\b w,бW`0RM ((s;3~MKDcHmI{>odt\AleJd (&12Re. q[ŢTO5ZQ5z&o̬ihrn- rHbWiaNX~.\..^)X;Ӊ#ǁo*:x 9J%h`XgQ*!/vff≲n( 9rxz0&s{D e 2zn;-m }@P;_uU4VOu/e)3e'wf4:ՂՂx%VaѪ ~2&˟Lc!s뗋}&5 ;wJ^'m`!NWs&TgYZ4cd8bff31bfe85402e931b0927574899392d616c620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 - General-Triangle