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  l/D m/]LatticeProperties:threads=2elapsed=3.997cpu=7.216gc=0.136factor=1.817zXZִF! X]ŗXf1-/6vRZ"P*nIUUƖY`BNa>t\ V- Ȭ>|EWNM[ԛ~×\خ&;Dok_:0)&W0rXK24+6$ݛNELv|636)/lI )nk ~c׿]dWB#ppDW Gzx>kTXW Tpi#+Ǿ׍@Wۋ-"g%*^Mx6e eP +IR vYgYZ7zXZִF! K]ŗXi%6s-eʎ!m/kGaBk׃FDj޺2)/w6Dî$]] qH`$&JLI#)nPk =9 0=%ybxZB23}exa@BL“AtRnx 6?Ә8Pܤ0)Y{d7*x+ I]|ck-m 5x̺w:$+=A_5ooJu=BЈX/ 3 J:uX#x݌tuU*;$tƷr.c/"~&R]N8H:޸2/u;I{s;ke-C~>P&r8$jWnSq)#VYfӈ A7 =(o°Yp0 ٟ(B9#U-t:)Wf>SBkή9篒Yj]wXUfIM^Μh xyR'{VT!ӵlK% VpŪǿ1T $6;utS[ C.y刦;7@9WDLV>R6{(B˥U^wOB /<EҘgYZ1e83e7d4108494baa830cc4378fa00fcb3fec477 73a61ed164bc64a4afe6d3339ca73439147850a7 862cf3ac8c1fecce1262b05b9e772d879c94fa33 8b36bcd52565e911e4bdcf24e682ee4e68b41ef0 97928f84f738cddc76162b4420caa65d0902effd a94076b6de8406150ee988c7666b13850e5ec305 c98ee4ea2164dc2e1fda68947cbbdf0953045a67 e2b063405e84056d48c35f74dc2f5e30c318a3ad e2d43a12977f5444e54595e2e424cc3ecc1f6036e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d60745c4a404462cb0cc8947a31bbac62fa4d6371 / LatticeProperties