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  O O. t ]/]HOL-TLA:threads=2elapsed=1.795cpu=2.876gc=0.000factor=1.607zXZִF! M]ŗXiɟ1zV=5_8f\r+w}$%*ѩbm)ֵ9jn}TؖewM_t]!:-5|w{ǪES^l\^C)ۿaQ034ʱgYZ7zXZִF! q]ŗXi%96UKYB2sI'j=xv![SBNλWܻRdwQi`m.pקpE~ߣBs$veຎ ;"ݏ); ]=j Nf_Ai#*S(: lY"di0MT Smw ,[q}֩eS3m)Jgp߷۽Y ( ;!)[O}ٝǚ>4Ɉ< 3Gg*gpR̓xOBѐycЧ,!fHsf;uB> i \7iz?2ίb ?eie, ȅ DYˬty*0E{)JkZ}nMD/GgYZ3cb414da8ee204488c29ca707bc281d525bc6109e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2d8052b375d845d4f36c3be0d03c4ce989e4b517f   HOL-TLA