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 = \4t ]/ TLA:threads=2elapsed=17.640cpu=33.768gc=1.016factor=1.917zXZִF! &]ŗXf1-/6vR[j K<ԏStpl`n?GS'Gʍao**Y,*w x>%Mg1O:/ oWQcc+ "5ȃV+܄ݿ+P>r7#t%*9' cR)D,B֬?CI_s%aFw11"2S?z1:5.,Z`+DFFW.0b=_eD-)X t+ݏkbJO|1[ݰaW $#ig!5tFf6B,$.w7LӒZ\s*m3xhB_fL$_@gYZ7zXZִF! ]ŗXiɟ&ݾʆ])03_F_]9 [14NJ;zCl5#98W0LnVe@>]pvE_mϟuG BBy/ϓ.V\K=N*;ES^nG%5?g&N}73,TJp | ^/"dƒQACXHMp|e}gYZ7zXZִF! i]ŗXi%;:0gNϐľ&r,V P[=t[n;sǀH5]@lNHgźmF;ؘ ;u \2j%&?J^TF;t tOc1"2IbB&*S.\`Z5t2'cR_2d@Mꙝw0C|iCe^K^Lc)'ib d /w2f UW U['#e;Da6%՗k2gd 'jJ" T(xY5vVf7tLh0 g?&nq~(oX 5sj Pzl0y=k: аWh|,UVpaQ˷tpdkuxn2΋5 < l7\J'U.؞cv b.SYtʒu+]*SFHRuXkC۴fڷV1깺_Y3UGȶKDו߹rA~QӀZ_i\ˆ\rU4JVA!@D pNn{FW!d^z*j LP~H%o#ګ%x6$).p%7۝Ks= 8YVU޸VBui^{+r;X'\)-iA &qEq(y,j2wԍqcoc=z! (:$'j]`Q 3ĉHh4?Qݨ0N  6ՏgYZd5fedab10d931a6af5d0ed02ee5a53a16746af6d19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf  TLA