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  k k D ]/]HOL-TLA:threads=2elapsed=1.541cpu=2.536gc=0.000factor=1.657zXZִF! M}]ŗXiɟ1zV=5_8f\r+w:òbw CU)q۞T &dvo]H.Go9=)SK)\0 ! Yƥf0BdtJQgYZ7zXZִF! "]ŗXi%;iH*.4d9XHckc88qFP_Sxv'k'`mk +w,$T)iC=wҼhv=Vd-jW@?8Ȩ"aÎ SO#$N3pZVLf:ŧL`qAUR??P%獗P㠟UEF2Sh[; f1 mSY:U Qvʡ%X}5=ԉhW¹؇bL5\J. Q;$YqèPG<OA 2 RA?'u֜'"D%xIM󺥭poK+VQR|ԛA~K%Q>펎gYZdde76cc424b052a1963097e94c2390d8a6425a49b6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde3ac84f0467ea4b32fe47694f655bc1dbad549120   HOL-TLA