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 \|4 ]% HOL-Quotient_Examples:threads=6elapsed=26.532cpu=40.340gc=2.440factor=1.527zXZִF! Zf]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%V[32OcZy̪}i=zȴs!rgOC f*BgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X'6Q*Pa|G7PI&]qAwrLImU_äz?^2萟u%t2R@O}W_yZB e;B%/I&1`f{DZ𢛱ӍMS~ " `+&Kxґ:#'egYZ7zXZִF! }@]ŗXi%9%z [ 69=˲Gʷ4od{8,3JdݯhY;? =ԼZ2v>wY#@RB(hL:4V%39UߢU陀~e`8+u @vR?L 2>v zDlpqVRkzyNz S5>zRB%T_9h>\岐e z%{L@ y n1CY3}晛'wG:K7ca/:pdU~`Uu G@!W(zI2v-F@!7FS@A|Ј<5730#AJǑrU2Ce>kG:=[-).Bb>'G!a]]g`KIclf&-T.lgn,(1f5|kv{KB/q/FuT FmnB~\ӏ6WFc;~!Q<|u "[<{bJ: b>schEkS/X  m̫.&Pk@~FYMY1m945d)Z%#;]n7Ÿ;:$fWHX3& f_3TX븝!VH#rhw0h3eom]*J7nu_w~)hv{L`[1s]0ya{ny;ArZ<5h-B;M)-' 3>F\B9[iK/[*4jCxMVRS;L&_.>gpf=.e.[7v2T! (,\3%wh㬕 )PL-P;*xv s1 S\4;Qf4TY@$rC k H9_L;pV)<2k=[Vzz~ VZx.g2uiH_ϕ=d}7^>1l#Tdf~Y<'Mݍ4G2ڍƁzv[;c],U!Zˈ%T`# hn60^C';Lc~%mE'(EXbY@ e#}D4+>'~|&'%-*pߺLm ;􅨎f'Xئ#J1UJH5l