SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ))T/ 4 ]HOLCF-HOL-Library:threads=2elapsed=17.217cpu=30.192gc=1.332factor=1.757zXZִF! |]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjScyo47vx/+|`|zvoquy~}{]/ u2#Vqs0|_`^| DmK`kHB)G|x&0|ٿcnTߥ|exn̑B.ZH5Z`x͉ f @=\+aXK(׭,첞!f8w ׮GoʑqpqYi_Y4ë&+gYZ7zXZִF! O]ŗXi%6 Z1,o-6`1{?Ȃ0w=gR` +fGFm\ *̿Ac^pDHX-n(I{΂Q| blJ !9TwJ%<P=L>B7 j<OOM/oqyWUmP=CyQcyhK9VQ L=|wepůTg{dq0Ll-e @ ZCRIp~WmAPz jΫ8p&s LVA[}ݡyο--]g Αs7:zWH" gDO% #!,ŋip.Ex0HYFQ8v5z!{07C*NI+ʞѮmS樐Ge-NڪQ(@nnf$A?MۖNp̵}$:Lqb o"kLĀlGiC%md'ZIF\Od^'s׵m.Z5~^2/Ϝp2L+4ڦ1ܠ!AUHv Pu-pNF0Pz(ZcOR>Pırdh[rr6G4>LvDmk͎s7R=_m vȄvn 5GsLSLHi`=*vb2%!k3!5E3,+5މMH-iym@زѼI*ywn6] 6'*XVw $c/ou+41ys2Gp"7%Tpl8QidTĊ"nh(4 8xi$@nQ@^]-PհdKh>-=x]-51.2B5/+tGyN~>