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 TT) | ]%]CAVA_Base:threads=2elapsed=8.657cpu=16.628gc=0.728factor=1.927zXZִF! }]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=8M8f \6FL4KB*!_WpvdPX֕jT@f(ޛ ?w20uѼ؛z0;Bn>(aʱ#u}>.'xOFUҺz3u+Yw<-;:Dv=b%6t"QRWN]8*sUGTh*wlvO!|m$T.oKyH'#;wqy+}GRI}<;.Bx!㪒Ql&b"Rpg[nLh=Xyĩp! gM:FʱnEu߅gYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 23 `¾{U!%p zJ'e܂YF04ی; |wr!X\Wf(ORcTfa Y 1Iвȹ̞u׽Y)->4RӐЌO\m#!x΢ǙgkZ5V1%~DtЅDzCu1(uLso TA$$lr "Lh/!S47p9ѩk'S=ŵ79!wy#DdwFkε|Μa:4gJJ0sKeB=9=4ĮZ@G`>w-QLlCR 4m&4= ~ıgYZ7zXZִF! *87]ŗXi%932т,5V2Ajcyi놫7ϲXD *ѾQ{* ;x6~`+c-X?kd;@#(J+vo{AQ ng{AV"$6IM%vO8\h$Х!lՃ.|y}n, F1*P2,i{g TU)tVC,r7@D%Z_p4_{Dfr1t:+$>dHmHXXxSe=9*Slٗ!O'BcɫA+ rXZiZ,m,)[i# XBѥ2'5V xuWp1(=OIn?uMjh[G+LHw{v_27>nta Θȗ /`ۦU-Hc}P+L!_Q 3&ͥI8ʲ>p狉fMݾr9D qCD 酐sQ}p1(cV |F~u2fkHXz!3icݮ5dA+ĭ,;^i<5o{RG#BC