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=4.027cpu=7.416gc=0.176factor=1.847zXZִF! ']ŗXf1-/6vRZ"P*nI1x{}\mp<;\*ylXn"@u@:'9 ՟ki ڃUA',v)e&FJ8OT/ _D 6R4^MȰm.qRpv[jKmR7q.HqPL :[Z9cǴFan0KC-,Z9NV|)0N\9X Z1?fhZ8v% Z'eH4jMHh5.1k sK|I PD)͞dAgk*TJ):Ը@SD &%e>!P 9 ⯌ CXG,Yw.HXnP5>El1|4#ΖbJt,F>YDr`hP8-WE|d1lZR&+aNcL$CGT?%b@xlőuW*\oO9JCso ][~yS&)m9>tT3 A`;g(Pj] J4ڵyX-f <`[XWNT@DJyq{WkoǓEŚ@~o 6FgYZ7zXZִF! ~]ŗXi%s쯒4s_IqL;,_6wB`Ve1;zKwn{JuVҿ8TH6Rni:kPuۘ󇼨-h0-_l,:uBI"hSFα.!,驎wwӭ(Зr<&}jgfXs:/ 7TPgbsl_| S{S= +,MmE/ji=y$4-@"̀f8q`UrHɀ2\6I]e z"ifRĪdŦ+D*5d`U;bc!xG}I@#=ʪ D^/aװfw )gȊ(2=ۜk-WQ!}4%srfӴ @|57CgYZ1e83e7d4108494baa830cc4378fa00fcb3fec477 73a61ed164bc64a4afe6d3339ca73439147850a7 862cf3ac8c1fecce1262b05b9e772d879c94fa33 8b36bcd52565e911e4bdcf24e682ee4e68b41ef0 97928f84f738cddc76162b4420caa65d0902effd a94076b6de8406150ee988c7666b13850e5ec305 c98ee4ea2164dc2e1fda68947cbbdf0953045a67 e2b063405e84056d48c35f74dc2f5e30c318a3ad e2d43a12977f5444e54595e2e424cc3ecc1f60369711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c995361ec0d60795323b5ef37701c270d020c15474 / LatticeProperties