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 W1 l + HOL-Metis_Examples:threads=6elapsed=11.894cpu=52.964gc=2.788factor=4.457zXZִF! Y;]ŗXf1-q恈(K&Կ6lZg ; Ub|q`?rhtb^$iX[ƠMSjAY2`o=K+@Pу-QL_c%d$pmQToJK LgUsMX9TRO=u(L/{J᲏h'jNܭ?|\bᕤg4sӖE?a+( ͟zb7F'rm-PL},ܡF8v`csߒ6ZMN R̓ p'6i ˻@T B30 _hy tϗƕm Log -DOd~'5kRr pZf֥1%|6(SΖWDg[z;mLfh̓%T\D+_s}pa҄(Fn/yOiD+E 6rtTHrzYtzf[Nk?A%(]xFmVb)Ej0g`1l 8Oy['!iŲBlץ-ɛ^^E %d] ?K+os6g 39rd5%cH-W5F?>=HdNpfVxLUFMT*h ݓZVDpJ(?m!Ggl}cԸ.B>e+ 8,rbA>R/B/9[HEn!¶e_ox b9Iju:@o-2;_I,2ܣҧr:Xo\A)Hy?na.7 Zgi)=?ǛJ #W(&ْ>(ԌX c2#_2I2-Fi՚ vk}X(^w5 | `NEEAJtXLvJ7~4fDLbd+Yb01e27o"*EU/1{Qv>ev n3JNeV Ğߦ$?hVHZRaGua A jŋ /}0 S6-d&x\HٶYX-uy/N?h `tpAa{DV|P}n:mMUI'pX*-A1gڵ'LvF/9^;F$_ivrͷ GKsC|[tԕ뜋 o}.9 08ؠ+*K~e_\^c1iqu~&7cdJ}[CkZHwH w[۽|ƹϝ fYcF:n6-ITL2ٌO.ЅN*`@%' ElqdY,D/SqL. :=E!{IrVAݹsZ &a5FO2%vBAnuf VII fR$'Wt-i%ɣPSyܲ0܄7S֗[