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 88E l ]/ PropResPI:threads=2elapsed=16.533cpu=27.192gc=0.860factor=1.647zXZִF! p]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=M?HB9edX;xI&lj-ٍdW!26aO iÜ%߈+xc (1U._Exj{U]>P+h= i%`@Z>KpeJv_RW/!*~CJ#!݌_ּ _V3T,6 %Q<ɣm=w7o#!-J'rej{(vxv/?s?c|xɹ9НAcLYhȕRמ\uqX#@Fصzr㠝ꤢgYZ7zXZִF! Y2]ŗXi%6qK~EsSG1҃ep]?(%"eK3Y(/YWo .>sV.bH#3Bv ;MF0M7>(valIWcc~-Qmq&P7"ıBf::VVYg:7NPtǻ([ _V>?ͫ-$xjeL"-?`d?4㬯Fߙzk5`3_@avu/*"|pϕDaeQyA[uc?2DSep 'Q\L>9BݒȊ;ցW$ ?kڿ`;U%4WYʔfJ{^!)!2sknI :L&*]n%HV:,%R=lod!OlOya[ vㆊ*;=x[Kg`(Km]%"uKKBTJp 0kC#n@psqoSr:ddY Ϙ}k$5ӛG.K (mov〭?D- ߹NeGZVB)Ĕ.&|ɖ+$Fw/X8 v$Ҭe$mn07i~wdURqnR1 rώk:b' 5_)PaoKѴTb)2JKTw`  EFUP4JB߂uc0*;iyb>  )u>uyP$yhh*,IG_1E鏬:Qq#BoßiPA+t%#?KDs%ΐ{# ZchJļJumgH=~XWծy4~1Vw_PY~ %wv1+˜_$¡)+B%.T:~g'K@ $3[-T<4Փ ˀ[)u` i#ysrB-F)j81ұ/鐌= *V]`[gs0B8ALC-Z4 Ʀmt3<_V1]FNx&@5^/A.bc/!u?K)y ݢxj[]|fr} 67'~ \אo  nJi^Dnz)-z>waw%I/@o\fwZ./[Z*" A~gYZf7ffe06db8726a21b7251e52f2aa38ce60b2639e1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8   PropResPI