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  w w , ]/]HOL-TLA:threads=2elapsed=1.548cpu=2.484gc=0.000factor=1.607zXZִF! M~]ŗXiɟ1zV=5_8f\r+wbw ]SA0.KNGokUrA~ 7WԝK:yR_EmQg -zױgYZ7zXZִF! *]ŗXi%;'rd /YעHG lOf@*/'T zg%Xkro2A?}J:pߐci*9IY_{0^٣Qҁ9.^#^$|+vjH05Ʒڧ|vRsQl6iHpI | ?6X_7$ UH?6𲆋Sٕ\WI$gF%~|k=⯩FAZ,LM1}sOEn`N勒f\MlbEU^|~עa?$#䐕pi'u9I!yn;4(,*gQ!G ogYZ67cb76e2faf9cf4c7646a1ba7fe3e90acc1afdd3db6f05ad5884c3d4b639d9f4b203792d5968e568 8f4009a03cb4dc8972f8428957511cea3c656c5bd19ac00017152fe4051e0b514721219e8efdc563   HOL-TLA