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 0! $ , ]/ NormByEval:threads=2elapsed=26.498cpu=45.192gc=1.284factor=1.717zXZִF! I]ŗXf1-/6vR[yK6Φ + ?+)82AN2mt:l# h ˱'a-2VZe7\/[ PvXʩa*r Mcc4UHI'2 +Um/#B4GY?qbmƩ0QMM 㰌&vYB=I2$aϚZ'Q~U H bQ-cfHWU C[9g]8J\%@Z\i4iM,=C6 W:C~IǍ&qg>pPZ&0}gfz?Ӟ2|NVahG]- (7s.mq ҅a _\dSf~*jo{0p8@D42|# ~"C)PDtvMWt!5&TY%9QMU%eb~:?ed Rs*=W$}Jq |V/;$!4W>d&^J`j։A 6P$-7H$uK ZV;a%$'{v3)RBrS~bd͸6=D-ס處o:m,+g=Cb}gVe5S6-[vFӟaw*yl*tO҅@#,]9@T@ я``Q;D@OmgYZ7zXZִF! D::name=NormByEval.NBEelapsed=11.053cpu=20.380gc=0.876?j]E-#%)}YZ7zXZִF! ?]ŗXi%9(SNBӟHYpa6z;b2[z{WڭQCן;&ɠ cJPdU<('o<3O&􏱍=]VV_!㉁*ս9 $,`n:}~ 2^sH=(YN9 pߏV?OR=u^/VAOMG!lP]QTWRt'ꙆyAc|!-<(%,+)/њ!a|tv\iX֌d\ IJ B 9J+׍lcA8N77]|'W @Fj$DteNe 5:UR.dFh