SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 [["C t< ] Boolean_Expression_Checkers:threads=2elapsed=17.493cpu=30.916gc=1.728factor=1.777zXZִF! y2]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DFIUw,J #vX1فyE|m;vqTH(&<#ZΌ|調2{MHP,A@>mRL{R']6jGi}L&U >d| F[J2! 43~lx7NvQ~{.I|=y_s eXIg_)1@*|g$B4I* Rڠ%@zew$ydgYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=QxlMfl vI2F<& a(|Y';Mss-=6ٕ#|y%Y5gYZ7zXZִF! `?]ŗXi%ή++Jˁn͘FlS0:IQn,lvܦ8-(0^apzy 2 x ߤ5G7VcP預#<Ży)bD+7P;}s.fR#JpRWMެQ|s Fg1p3sѸq븲 Ŵ, ɦYӱ gׄb>(;qFki =jEhc4Ӟ]9㏣jdSu;N.zLWaS@#<|5 W.g>Ʉ|~_&"t?͹!rϤ)b9_`MzeघZHZvꦭ^bICG /_yaE*sD D'tQM'vDr&7>6L_OZG7R!˅xULR+B,M RUu޴e qك6OX5h"2v8BȡQ9 T.]&r] &V9r,A0µ[e0~sxDV/t!-xd!(=?:R` $Obf= ^߯һM\h9O8թMmr8@L(_Z.7`"Ե)% 4E')pyOۻ3<=q-/P%Mrs,ax\o1pW"HG&v#Dɵ1ɼPn/\uVW{0533WuXaDʄ_=\139Z;T0䳹PSvQʓXUWk$bcW 䆀SlGf*jpnĒuFzJi;uq bx4v'Z\QwYxN;+oAgWLʚ4KQol ڼJ80 - EgYZe4dded984f9c36aff34947610723d5389709e90c00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c C Boolean_Expression_Checkers