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  /3<\ ]I Bertrands_Postulate:threads=2elapsed=71.789cpu=120.396gc=2.436factor=1.687zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ѥYbuBF$Fs]4H?^a; GzW+,&=\2+1*xBGblţ TՄEt|Y%WI5=X{T`( gws4- jSz$h!;"oP d#|^ EÈ!{C㸝/o,['Y/?sqێj4eӛ&>lxDl3pX|,8DWQ!(O qa5M3W7Ç'b :Ü8ً_! x`}`_JTpG7$cp_"}%Tǡ0#鐃xir+yH\*:J7XG^6 O& C?3M`Ͷ95[( 'llPy@NWDz-hM@9"#Ng>iզEeƗK${@di(VIx2-s~ɰ"9F (Gf DAzSLtՌh,pr8@~|xVLXq 軴+{- Eo+1wM. o5&C|qPjھT/\{M#}`fBoC"0{͙ 5$o%|rg0s,`ڂCxgPSsΛSx2@I #mūݬ~/ی $U9NBkGu|_\͛S7%8hYgFeΛ3~v]lsq+, ̈́_֥m)b.IQ~ D-MqzD79HVȻj0kqL@Ds# 6DHC9uZ ]HH`9Uc쟴)LSBN=`̕'%Tf鹊 Kp-aDYc5rwK 2X..q}^IZS[7B_F٬kҖmoq?_>6 pr=tܺdMPc5=c0iVJ\tYzߩO,%ei %T;FcfpE{S#szHz}>}~6P:c~.hBڥ柹=>ӆ?<52ѳ&/~AzUc,zk"XJ,M4ɫ8s^8]$s-lv`pVC8\{-<0Lwl3O%"СT f &hʻóFҷgf'Lm|/nt/N 2pC^2*e:,K SRڧc 6:i.%0O69P!< 'eڡ\[Vqs_16>܉]SYWOZI;?:ڝob#K}m4%0uXD5eJHsLpMaWNBH[FfF=kqv;"׺ }`mixkfbk떙o)d%(Y5VV?M UTuEt'睤we$+rpժZP+_֚H/f3K5U^ZV}-+r@9 飯>JTGC-Ht]Hc`NqFk4j#r%+Vq *tu%+VQqB܊cx&٭3{p9 dkV 8EHүF[Zm?>ORafop]8$Eq| CĀZ+b<Ú'0Y0oFY.-ٽgՓ8{=d^Zñox{m8NTn_3[!ʲ5k=^͉$R[Xt̀1UQF6ErS}zeh<^7K|XceL)RxqM:za:J=ȫ#z 6jwFVhN\{Toª_9t4xeK%- O2@hjsclvF M(0S$ӖIvfęN~s+