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 dd1 dd ] HOL-Metis_Examples:threads=6elapsed=11.796cpu=51.488gc=3.552factor=4.367zXZִF! Y\k]ŗXf1-q恈(K&Կ6l#8 j`;"<2NSVV@5ZGkD?inLIק܃B5l:u[m4(؀c~ zNJ(\zt*V_3Cfm BŝsW)2Vd,bVrl63|&BU<DG8ș~4 Aa7a6+-іr{ӕ,VnٳRmvL;tTHs#0JKzG0 "ݿǑe%uF6 ձQZK3?1$z=2 [l6*J~i?ע3T_6U=Cv'lHA] wmc1_`km/ ?JnZn Zx1%Uv|9] ]glX>-:-e^Κۘg{Ij$WVPPٯl0!dv1AOs$VWRE+ENo<Yv6\wTYf1 jFzaۮhuz\o"r*S;Ja4++|/`5Z(c.CW VV 9ez'Pi5_]G]4s' Q$ױĪ+Ž `AT4HQ̓j,~*VLB~`ɇ[(0ˎU^+1iJ#(CY* [77~NjKasӾK SEHv5 2/~N [^5zC@ݏLj;_Zм9o$$,m+7Ҙѐ6$9R6雐Or_-\8HyEM}\ ׮Z ϯ!&r._<1^ᘓd-!rcI̦dm1` EMO=BxfJX*)=#jMS yw^@\}NT0S&VL 04k3'T2CCҺː^+b4՗?TmhyO߁ "n=qKJ $,x3_eFY(hZeɫ{M.0WYQFlH"Tc.RBm^AZ!_j1nfx0D%rD uo4~X{K7c^K>t-5lkO0޳md`v2K'z :g Y cQ, T/z>!}BT㒺G~wE&s8d忱4 CzI zzgWWBB)V5-S|M)Gȫ#&!cGJ VD $ESgYZ7zXZִF! 89]ŗXi%@O-Q'rnz$F6}L(`ֆ w68 MR)38!'7QxaH ܪhwH'vD3Rށ.^`kD%j^K@1 Nr9OաC`2j #^CdX[0Fi"`T>~o$":.X"E%0\COP'=s wmGx}_:WBtwr&ke&RnXy WZ;a*bb^]t|$<3~*o˻ZI q2 \u?g'.8kB6֞3kVmC&F!eDi:C[(RB30) thZqՔ4b3 dJ  ˦A׺ޖn`nmvK#<[ԓu(㎧N!̠Q(HM[ў9m7/p;%q@Zai,V97 d4£2Cj匢Hi&e{J{R~-0>9F[z+O'MdEm fCw3/;´DwTD`gO޵,jҀ0+hqGp?fFu> ߊFȹw<ȷG@0VjEHD˪ ="!pQh>i`v%e0Mg5&Y %' EDIXt 'lbZSii3z>+EՄbp q (=gYZ8bf6b5b0bb952375f50118a8a7444def71f52050dd6687a512096fbd242a18d446c4b55d3f2372f6 a7edc0dfd0db9e0ca7cd3388f7504d2b7e824607 5c678e4a838ff829b19b28b6ec73b6a65cad2c18 1 HOL-Metis_Examples