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 |/$\ m/]LatticeProperties:threads=2elapsed=3.965cpu=7.356gc=0.148factor=1.867zXZִF! )]ŗXf1-/6vRZ"P*nI%ͧ ۩\{"G $Q݃LOIJwaQ/G_FxԈǪV-kz'z{*6fȉɊDJa YA-k6]u uی XqlKAEX%KT+|XL f/issfNߋɅ]FXuuٲ|YFYWlX̃1#eM P NwZb J%hgTԙjEiw^Ք؃i9n_Ç~StHI)Rp8ja(OhDAN)x@u.#vZceb>`׉&MTA.}|Gﳦ\? *Nzth=gTIߕ+hASbˬbDE&ըfYy3|y,*D]>NF2YSbouCN]^d4LIdHp z-!ViM-6mj!4hR1,`^onŭg T3$6 gYZ7zXZִF! ?]ŗXi%qԋvagE۬.8=ح,I8ޑ/?Z$f$7Kw]tLg!⵾\$~b㋄ .:YOfkyުmۖ5EM[QP e}jg,nT:I,I"\-?߿nY̛W9hze!{ қ"r!w C<ļ }#Nּaqʚ9-%;V(MhtX5Y(nѢeyv_ު1P*9S(i⼓:W umܟ}A\pt- p8ݪ a7)g$_Ӣ[ ]pKx(ij@̔');)%(pАdx-x 1., DWDZ&axGjXY3 M% LWD} Uj spe}xq p#Gty$ݷ / cݘx1>X'nf,zONrRz=6RX\/K. !A4&Rva 5$7w[>,yQxD¡!66OPb[jİCh^޽%<EDZgYZ1e83e7d4108494baa830cc4378fa00fcb3fec477 73a61ed164bc64a4afe6d3339ca73439147850a7 862cf3ac8c1fecce1262b05b9e772d879c94fa33 8b36bcd52565e911e4bdcf24e682ee4e68b41ef0 97928f84f738cddc76162b4420caa65d0902effd a94076b6de8406150ee988c7666b13850e5ec305 c98ee4ea2164dc2e1fda68947cbbdf0953045a67 e2b063405e84056d48c35f74dc2f5e30c318a3ad e2d43a12977f5444e54595e2e424cc3ecc1f6036c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8fe99f305f613daed7afb45fc72c4e5b9300cd5a7 / LatticeProperties