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  X/Dt m/]LatticeProperties:threads=2elapsed=3.849cpu=7.068gc=0.128factor=1.847zXZִF! X]ŗXf1-/6vRZ"P*nIUUƖY`BNa>t\ V- Ȭ>|EWNM[ԛ~×\ܸ[a!v}{ )Rex:RhtV u/d£WjƖ&m[cG?euOeKoE}Xwڰ`eL#MwYbtBy8=֬wNr~yyT,_tm-%כ+a1}f娥~LvB}; #gYZ7zXZִF! s]ŗXi%6 Vɝx#}[f?V䭋 5u{wSuCFG4}A2zQ|R@p"*"zʩZoX-M~jntxpmlqMG7D77ۓ{ z[G^U~|Gl*D8EֽoM}c QN()0~B-uA״16)$ @+i[GD~{BE[fd鴱05~r>cV+E6dL P)ʼncN]>ɗ-+VAYSn F4^M"K0{x`2$Ht^aN!5ڂ5!$s Bpf'`_5?v] 66S("|F/To. PQ^+z*+v@iO5Qm 0ZUrRe3;l+he8𱚬M(V|agkQa/ P-\FYFHý֭P\I{r !#*+eƝ1?CIPib7Es̱gYZ1e83e7d4108494baa830cc4378fa00fcb3fec477 73a61ed164bc64a4afe6d3339ca73439147850a7 862cf3ac8c1fecce1262b05b9e772d879c94fa33 8b36bcd52565e911e4bdcf24e682ee4e68b41ef0 97928f84f738cddc76162b4420caa65d0902effd a94076b6de8406150ee988c7666b13850e5ec305 c98ee4ea2164dc2e1fda68947cbbdf0953045a67 e2b063405e84056d48c35f74dc2f5e30c318a3ad e2d43a12977f5444e54595e2e424cc3ecc1f6036f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71d968d81a6ba668ba02caf104e4a74ba340ad9541 / LatticeProperties