SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info b5lT ] Gromov_Hyperbolicity:threads=2elapsed=139.784cpu=257.928gc=11.136factor=1.857zXZ ִF ! z.] ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] "(D LBטd~nK,[$x -Bd\7<%1:=u媰Um㻃Ǻ$.MH.||tPo+3$>)&\C~oip>4l>^w# x\-=V/AT]ȣ lx&?^U|b'\sgF ǪkLZ"ɔߵ 0;:0'zKkFlEdX6PN8 -ZӉ,}/-ERE(\y:fA\e %xٷ85XrILLP$h4)!\+ƢqֆYuޥ!g :RytlDJsjDk7uX7ޏ($2H_/fo\-ӭjؓ i)-p#,<mhP_{"7he=rWR#-<9-"j!\?k W]V~z2KK@0D: ^] U}Pk'!]}\Ūl0"&.Vf='6 ᴈSMzi}fkGMBMyel#GiLi7/b1¿܊=Q*(qVr(Fu|Yҗ),%.ѯnE+_ =X`Ӥ14`1EpJ+gz^Ec$pqQ{<]%VݏT=xꦌϡYs=7xjh786>BJcyb/*&K"|8 |Pk>&K8zٴc6$sԈbX"߽lI˲<֗?wgWӮX3ŅB/zKe*w%߄vW~;FJvWa>¾b2elX%g 4T[+oB㬝mUѐV\d#I'uVx|˻ H(9MӈUGT9r /ĴEEחF^(,Gx_p$Qܼn_a
J<[:Ec^]r< 1CS0#S.qj1۫?$=X) XgկY*0nֈ" #M9z(i8%=-9YV& al+9-1:+U!AhU77e ;ev-"RucLl d<pkx2V'm`qT,&97R eZf2~Q0'O`*϶*t$]Z@Id9tsCTutMp>U$V(Q|5#OV]|XȂ]|%u0