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 d% L4 ]S Sturm_Tarski:threads=2elapsed=16.795cpu=27.748gc=0.472factor=1.657zXZִF! ]ŗXf1-/6vR[]Sԯ'=Xܬ׎_[Fׄ<88}rW+Y zbw.9p/:^{5#=Ƀjy'CUe j4wu%SY©4*4w厞BGC-XzR(9Uk(H:y<°}e6֪B :FJLf!NWV7Ag(ۘ%G q><|<-_Zеu`PEȰBMM2RN#u3Z4&+x93ឳv>(-Ƿ8ҎOkV'[Ns''H3s&,+tz~ ڷguc ^$`C븰y!,w.@#X)j>8h'͘O:y^k!bgYZ7zXZִF! ^]ŗXiɟ==M*]0tI'ZbrCq]BQ:~(x+ =Na/ Qtu; s?܌7z&0gYZ7zXZִF! [R]ŗXi%9(O[+}q#YW?MdL@Gx-#)uV) B>J7KOD ιmQuPw$ä|TAԱ"X:KmEp]EPvf~72bOwr _а/9kPgLHJ&֤^-mntl-'(hOdqBCNV!>t $qRj@h I;*g&t{S=5/ПP:Uλ6 \^p%KOױ yhG?\4ݛ*쇔HɨӦS Qsy% 0g+I}xs^#x8?d[+P s9ߏzdjҍH(z7k;G%R)-oL6oPkϾ#5^֛m2?>šg?^c 0O˽Bgڃ}JakL*L:=k)x&Dt eba B'+UYhl<#חa(W`;K1븦v*F }FVUgpz2XeOy8ݹ.+8 rtw-%]=>QsK.1~g*it:}砧3C C 6>ĬM,sH20ih7we198ͅ%Įt_91:/jhXIÀPuKp R8'! ww m!%vA otP+n "]:^#:\DA2߇]b񼦊c1 yչwoS2 ,AF 9ھiZ^F 3FFU 2n5ғ;_4eM#Dq]bvQ&Z>/㽽3 O&7ъK YQvtPC>o̵t)_= r݌{CX4\E~uTUN^XY Hq: = M(069sBȹHLzoB^+zeV¥KU fP" NDe%PxLCTdtU%Z1-dų ~Ae  figYZca6e554ae16d4569a9460f138fb70258642ea1f93bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1a298acf65fb27287d69b79e5623fc6ffe185b72 58a1d79a11e622615d10ad99cebd239721c5b867 % Sturm_Tarski