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 ##Z- ,t ]/ ZF-Constructible:threads=2elapsed=19.726cpu=37.828gc=8.396factor=1.927zXZִF! ]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ό_li )@"}n~6 4F} TiYux'ɋm"5zWp\\iEƗ270 ѳ }JHnTc7bw"nEr~4Rk5k]i9&V hh)~M]aˁ=v  6wE!BbFIKKeѭ_T6s3 3Wm2$5u&}xB+x>J OWYNT$#h2 W9eӣ)uA}gYZ7zXZִF! r]ŗXiɟ95ZrY!Zg>3gAKrWH1CC,Jfa%~_BjziT*vxajo6s1&%%?%lg(MC*Mϰ߄pAY%[P&[\P =үD`i}Ue2Ą-V>7uj鮭\#GA[^P%(h*mj0̰AL@&ԺJ^s2a* V}7ail* |gYZ7zXZִF! jH]ŗXi%96UCGtINRw ^uqHo2ە|PG5t0@yfڋn؞{UȦC\*pc 03e, iw1 r(?bL9pђ6?ׁ~>?ɜc PF_ `Z7N&ڀ;;8Y(yf].'hgz^pEl (L=0V/Y&[eLч5zQ{I,yrĐ1_?;HXj,?gU X4\;$gǷP`s}7-dn Kݥ[{z*l3} 愆Sr?\ߋjh S%*79LF>fe.dg#qS+ *-8@.#wTۺ{YRֹפ4* Q2tm{&,[7[ 46:)la>VRa#:^{qnb(IU, L}֕{r6.K1tO}xuLA;)!4~l?N" $Dywf=Y6`ѐW(^r@6żEpFVuLEyK{HB~9l(lҏ9OoͻRF93|#[ጽ D :QZܪ-JEFѵٝÖ=8^w&[`'K-H\i+S@;f ,}A-w,\p%TY lŋn)CB-y_(vf7 QIJچ?@u&ɚvF4UXXEju zaؙe$okI{ IX]'YN v7E0;[m) S2(F,꯿g ~ v6ұgYZ09a8b4b16176b54e108f20d0b23c912fc46d5260e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc ddc254d247935e692b26be3a557b1d1ce79887c6 - ZF-Constructible