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$ ] HOL-TPTP:threads=2elapsed=6.336cpu=7.460gc=0.164factor=1.187zXZִF! f]ŗXf1-q恈5Vs1{3 k8gx'3 ˍ(`lTr`5{BDZB}_Y7Ceu^12)Xuq[1"wdW3Ř\[~-t{Ɯ͢Vp@hh08O;ohl!mMv:pB?EԅMB <ݮM7€,VL *텺 c\)لagYZ7zXZִF! f]ŗXiɟ1{nH4ʼn8@ؓ&lsɄ=م#qz5|Yp4^#0ܗ؄,H0Fܐlz жF N2b ;=>X%C7cQ0HS\lksð@MTS:?N߱j"JVsɱWNw4T@X$)"2HiQNRбgYZ7zXZִF! H]ŗXi%9(P1E1^6hřRS Vo6 |k* J *N4ܱnHCBB~H kJinJ$Mb9><^{'Up#l#'R u*9T90F-ފQ:shhw;eȄ Mӻ٥%,ط@"&42 TwAap}{_ "UJ҉2RND/;>_nX(aCz8gĦ)wX\NFR}@0 mik+-<w*J2.jי%ԑiÉcX{^] smfu IbA-5l%涢C;PAyb1=Rhudy;)F՛#5ثGND7Ic违ڑ}9t'R<q4?1ZiaPkkh /7, /T{P0d7Yc,myB8]!@gu7 ;iL?cF*7Esu!~WʱLCJ3!b40-Z (P:pV7͇ f*Zb>~Q<fPdgYZe6c9511b951091cbcf350d938630ae00c4b56e0c5f6b46d75794d7d779141526bb8c5d38bc06bffe 14fad242a862a8a0327553b16251c149a42b3da2 01ad035532cbe486194b1bf219cd96ecfa7467a0   HOL-TPTP