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  $-\L ]/ General-Triangle:threads=2elapsed=0.678cpu=0.956gc=0.000factor=1.417zXZִF! h]ŗXf1-/6vRZwF|"Ţ_1T#s/7ٿVi8` $Z6"%gXVW(&Ɔin?TgYZ7zXZִF! TG]ŗXiɟX/ZwowUrO g }v`ƑeKtaWYrѨUa@IcU4(Wu}YZ7zXZִF! ]ŗXi%90øS5)/PgJф`;;Gq mݝ1wZ5bJ *_yTSÃPF}#B/A~C]۷D\,V"]w|de&xܒk'Śpé&)Ϡ4A+B8f!)הJNZmLm$tc̈́ {[6\Ѝ:vIM.ד~}jVEݢVvpxm۶FF4Vp)ʐWҥ"Ze,ncQ$ϼ}}=i6lBoS~ BB.nS$*<@L 1Sr+;GƿudqqKն1X2c6 IUp.kbLwf HL _P&a+EV5^='aPR& hq,.|L1)1zgYZb1605d5cb12af231b1d75546364876a809a4e847ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 - General-Triangle