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 ) t4 ]% Groebner_Bases:threads=2elapsed=36.385cpu=68.820gc=2.432factor=1.897zXZִF! ]ŗXf1-/6vRZnihNsDJ,anj /0:ևY4Qn_G;GVR8[1]BJϜA(#@#|cݞ2qͦ()9F;"vu{v #xY='6y y_$hփ]-f@3dr h(`)$4%zFُk9zJ{~5JȌKX}p! a!D,&Iߤ_RI&QQOd.>Zx"2;scکU/GCۂF2aۗQcLNMUF4*Ɂ s/ARhӫhdp6Vh5l</M+7 8~HoKNafTIL4TnfEyRXpS$: HR}َ+I$so#G6PgYZ7zXZִF! z]ŗXiɟp5ao A/VQF}G ƏA,ZRN>gKV}3 W}Jp~Ju]pQ}ktXvޱ4ML؉,}i V:ptgYZ7zXZִF! 9]ŗXi%9#rrhh)݋TDfZh=޵7#K]ΒJMy5p9 upQ)ȎCdMqI=sRxs3ƿ3وӄjKd%y߳KwyoGg0Cg(|Rd7 MIOUՊzRe׆,FNX/nKe'=s, r`O :}>YoO'#3"4Q!WgI(FrSC7+Tb੆N;I=7NX[U1mmC!lcC r4CY<ݹi(zD3 i\7KLLY3k_ie'̇&OvO=(o^isԽ-d活XQ(W󌙊2 uTS1u I 2`58; SYFZ$#r GlM_sX$RoOn&#τUu;칅qOV%냻#cf .گW+`FCyݑ1FE׃Ѿ%PDi֡oٷq.I[>/ ~ȡM<_-Nhm6QUhhBQaQkzƸJ6/lZmG qzo?<4l#H,< |_suho.O-~.z?>kwG?}y`4rM}OG7:GNmWaHEGb T:^&!爫-C}YY^#әgYO.E\YuENm[[e'sl}۞$~:.^LjIDiVz#/^ B[4H=m }z7!f_tU7Si",NfpyQYxra;P +UIi^97?>ך:MD0\EI~Lm0D5NZYŜ-_MVIpK\sÈ'wԲ` vUP 5]f嚹3bKL1F藫 F%c(!~>ӫ /+/RJmri䢱JyG,U«G $أc`,^8; 'ASgLkk>Z|Fȓ/ N v`Mm&ceCJ:םoJP}Œ(__Y`|8Hp#i]~ Og k5O kktS&e  ?cAIMgJ[>6X\KþO-7&DŃWQ[-,e@Y!Ɯ4NQE) #pEŠH̩$n?]6ߪߙɉ{OYgYZ02ad45aa2bbe481f9962f90cd1c273fbbd65b20d8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c feac82058b7494d758b6085989bec9aa566aeaa8 7492147160aa35362fff6e1c6e1cb72456b1df1b ) Groebner_Bases