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 [[" ,L ] XML:threads=2elapsed=18.326cpu=27.924gc=2.072factor=1.527zXZִF! ]ŗXf1-/6vRZyjg 78pl ?e7g.j;f\xCLmCw$'R ~cEAH3+Io|F0΍]a:XNKp E&jPmb !MdD!6̧TH&ZhlP5 5e!>)ṘSu}v!Zd `#LdWZ~rhR}|=Fi" ~wY!3k#Ϗ:RR/*bOY@Utq8Y/o7 ~;Xgi#2+dW͵%ek&%ezOQZ+) 3?Tg>ȨA@EILs+lwa۷yiFO<l TU\ eUL] C}KjgJ?7`x=yZObӧ(N8 ?~$6W^'z%*`ёqa>z=J-Kttucvc@羽A7O$,O_4fEp=‚U]-5 N%jwr'+XyT!_cQb 2h:Bp32 lh>#I#RuhqAJ7d|&.-z2;uZ&[t\M,gp>71/ gYZ7zXZִF! ]ŗXiɟ|E\Ât+.*aphG)%uG:kPCA{ L`:D*k o@dQR'sإW*`Ps͏]8*{Ө7-NjqҠyU@(oti[?݇m$TCvByM?HOTѧ./C{V$q`>%UhNJO3=[O*זdYZeZwH5 tO Wޞk甲$ yjxO"]$xxr%46'#gYZ7zXZִF! []ŗXi%9#sP#L*'to 4 RXJ96xSc-תuYÈ}.+MU2DLF{}xxǙEgF7-s`-!Ɠ"J")W%9^X/hm!vBtJƅ9{G6!Af[ nkC ) صm/Ѧls$р#a+&ixBGZkD `˚}-o$yX2Cͻ_Zav~YΜW# RA\BО݅ c'[MSW*cdvXKE (z5j#n,2V;L37c=B6᝭&_,c.NگR*{p v(hoZ;3~6oSvHTA3 _Sgs'%=IeU{{Ogh^$Y *z_47S,2"kh|l#-$G߈iGo{{'LV[ Z5e B1:%)쬤Qbʉ(X>*Y;XO ԙI3̊ڗ-y2[cs]K(U31I@ޣ`:udZd#pQѹ Qy:dn]>[is3Fan8E{>jϤ˹Iu,ohP$K 澕D lqMUC.zI[T>h{Xɺ^:r[3f_RK?(۔c `&<l@>$Yb[dp:J9x]fnP}E7MOK΃o->{0f@ \Vz^O$?:R9?\ }:0Ut=~4\Wg?I햰Лz2*dۗD\3.&p3L0}d W/(ϫ :p>Q &I>d vߤԼ]vuؿܫ^q21ov1@4+{XaC)L0h͓m<өĪ扙p}T򬒩.Z ngYZ94894f1b151efb89ad91de74e18020b82e0c3a408ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c  XML