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  y?4$T ]]HOL-Computational_Algebra:threads=6elapsed=34.116cpu=103.588gc=4.272factor=3.047zXZִF! *]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Az{ A1ٙ}( , z8r-ϼi6/W] %F}>#N:jc=fcMYA_h,\NL-Bƙm#oS rM<'vhWVJtW"2fKa09IXIO][x[p)$ynF27gA:4ߖg9C%~Qu;y _t:˗?7FQLv1G WoL/CX쐾d1q4eC1YF}o80I \j3!z }PbJ-RiD=nƽ`486YAh4@L#k?,8pҹu;s7oM~sV+b7I?WJ%쑔>#:vD0 +3w+%!r] uqjbT$-ZAG(ek *C}}*Vb\ ɻ3e\}@Q5ҘOٛÑu+GvRSyMY m/xnP(QKG>DB*T*pQaO Xؼ%O!.?cլ .0}s/*'OAe)ii.6dƓߤw%β7DBzmh"%{Vx.v 9l R(Ɉa22_Kpy]%iX!Z=_=P $ԣSҶ1,a0d|@Jp3r;Xh[Sel6Nxs>u7׊M_ПD GDZPon$t,ҪI3[p*0I_Fwsȍ`!ftK9h$p] s](Nm#䦏eF^$ו^z0Ig' [{3ysWbo%:3K/Tɔ])Ha ͊D¢ `฽+b1P(} צheJPԈ6a:5"lZY"1*r dOS`o _ ̌¯wcQI%qޮ*{BPy\\i*V]Lis+F ^9n#lҭv0*I;b0qK-M|p0yynؚzѿ5(L# &ү𞄐M,9(= so8֟`ID ']"5w=pٱ^pXVV_u9ToC۲W)&{MӒH25qa-2$qI?2Ͼ)]["$)X~ҔYhUv3-ĂӮ#iE|?+1P+O''_nqBߕ/.@eXlo9L{ИAgcacO-pg . @j^>)+9P$菱 l0֋VBiĞO#rwܘ5'b%Z;!T# $S60\X\8{؞Y2sLu=N\ս# :^㉺g̥k{]cay_Ob 檼aJd.m;G&cABE9?`>l=$Fb",%[iCrAY`}{P~cK}6bl\ZWW_gYZ842d5ea951014b09fa55250e4f2b662a7256f3a1c02607a1ca167edcd658ec3d4e79e4ea4af5ebba 3b9edca41ef3030e0a722d7987c2d1d2e4c73333 b56428d245432f5f15b93df17818e6c844dce2dc539349dd356423236a9feea966cf9668e7014ba9