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 7 l | ]% HOL-Quotient_Examples:threads=6elapsed=31.406cpu=46.280gc=2.844factor=1.477zXZִF! 1]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%PbP8tWQsp /cxyD}R vdF-<UEݱ 5pq@wUj 9/@}ʫ.wg+pW!&R}eQ&-Sw"Twc,m\f-l"XB ObcqȄsSwwT wVB0$[Dَ.qd;JojPs1N?b;azvle0yCy ~Vhi$5%x*)J).G"[JWˆn]Z$62c s׼HNjt:O/F_eLa Ww ̨x'8Z|tI:v3Wk̓3C1!6xB?@pP1yK[,A0~i9p|;KЙNg(E@B8 >,`S< bvZKF;c댷źBNУ](noXT5Ԙ1a^_o{^c{5,.I !]W@KzbwPmBVJ6Ilt: 1.0(gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X͂F6¼ ^yQ9t'oAqՏ.]Lk>@īy%2)\D'0o.}=~yNބV8Y@jzPwF*8&zYtjv#&{m2fm*z3K#Yielj O͞nDgYZ7zXZִF! 6]ŗXi%90.rr7N6JuEDK>3CۚYHoKF-!篅atn0%u&KEb&^϶zJOÁDM!MAVjnMu"֡k2lZ/" KhF鷗~\%Xe%.fT߻߿ƤQBlE2]N  M}r\_a,O޻YK1i&.ߗ %"78HGEa䇗Qc[HIw "{UZ7RW[W )nZl֓\Пr4jXh*N@#$5YzD<,0b\pͿ`բRB yra?|mj)[ifJ5;7Mfs&ӥ= n? ɠ o M0>WUr-SW}!~`YĒ[uZy(vdwi8'OEv^`bmJB|V*~W c(;DFWб`SyTk|XK|m_!: "džjOa plķDޟ!xxNIp,VKpDŽPQ WL҈t%d~V.l!r_eTK`?{Vf<㷤^YHRW &?Y8N \PXt ݪ ~Z%L#EF-:0*-J:zMf!M]pmYt¾v0W,Є3FjiBov6S:Yc~Bk:k.y:w?(,<).̲o+|7 wBHWȒ.Cc:#* L=#1+lО|Z\T{B֢Ƿ6*%Sd9Ȫ-VI gI畯"^xN<<(܇=*"aF&w\ˋuP|(RK/ =Ak͓#&Bm0jejѥ'8E /1 .s鎸{bOYgϕ}M˟iQhjǬLh_^Mo4x&5[ٽ\,d<u*Yu