SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  `/4 m/]LatticeProperties:threads=2elapsed=3.937cpu=7.160gc=0.148factor=1.827zXZִF! X]ŗXf1-/6vRZ"P*nIUUƖY`BNa>t\ V- Ȭ>|EWNM[ԛ~×\Y|ꐺۆ.Uʖܖ^p|_'Z p:j0hn8A ZKa KEHu<" 6UM]:"\kux #aT0왁P753M8| FgÔ?0Xs| XA{gi7= n1',R* ۢ;r+ gYZ7zXZִF! >]ŗXi%6yGJ GS܅g@ԲkU]p-F[ː65&bEv0y3Hf}'A-H|+I3%J ZP~^@{<.RwYj-P}3|41iAUDEy&dVN 6>՚ +T/iۯE/  %;)>%p a<^rPʒF)R[g4lrdɔ=/˃%VqJ","BTg%q Hn`FzxB&'X0 1D>IZ膣CjVq5w"SaCV5Kh'N9I d~ٝVPByBRH9MhbA[$COu[~գjc{[Hӧn? e x(<_F9-hwa]8;xG1^"FtV4?"3Xܮ?GGo ST8>ޛ,FC I=m ><{zgYZ1e83e7d4108494baa830cc4378fa00fcb3fec477 73a61ed164bc64a4afe6d3339ca73439147850a7 862cf3ac8c1fecce1262b05b9e772d879c94fa33 8b36bcd52565e911e4bdcf24e682ee4e68b41ef0 97928f84f738cddc76162b4420caa65d0902effd a94076b6de8406150ee988c7666b13850e5ec305 c98ee4ea2164dc2e1fda68947cbbdf0953045a67 e2b063405e84056d48c35f74dc2f5e30c318a3ad e2d43a12977f5444e54595e2e424cc3ecc1f6036f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98209d52f5146ec1c954d13fa49178ce2febad9c4d / LatticeProperties