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 i D S/ PropResPI:threads=2elapsed=16.092cpu=26.820gc=0.976factor=1.677zXZִF! J]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^OP-Vh$Ub ;RlIZ)A8PvbjLLX_<Ἷ1M0=\?ޠ^75]Rl(tIVh"GG^WpI;AQJDKLҞ/,*&Nd[`i#vAOϻݓ :*pmoď:LOU2Vdz↜lHu7 J[Cj4a~qk;+nWʿEaҊ9CҼ wfywc8<4ޓSE5.V? -l:#<&b Rj&Փ|G.-tkׁF}Cך?DŽ#2;!ox;~ Iv!^!iOR{/{{vC\'ND{[hc'+a 1V[I$Nkdd@^ F"'.*;jDLj?z>&_c\⽈t?O":7Q!szDTB^7ԜeF:* 0FI4-=i#pĂŷS^Ht)8z ½xBo,\~ƺ5Sçt%-J.d۵;t<)86=r"  wc9XδN7胆>M۹Xב$:m\uN|-G1\V(Tܭq6LjE^\&"F]n(0pF#o=i1>d /PV .N5pn{? çg?갆q+sIcv1RTKi3y {8:696FoHS8ĪZÈĂ,sߚhYJ}9.=pW߹eP^f0C朞zĚ'oܒb9J[,]ϙUY'Ewo:N樽ElAXrDˮF#4)ޗY{Vz͇_G(ބnk7$6mk,-_)FSy 0{W˰A~m9PD]7`}Sm4p'5ŹRk]"<rѴ  ?:DgYZ7zXZִF! V]ŗXi%gt=Ik0CV7K,p亞ݡ.bAoCM`)+Vۚw)+$ i̜U*YL(9(Ů$E,Ycc- ~ÜQY&y+n[Unw@I,!cVyJI7"R4:C۫mX~:=0Ѧ>[!cv&s.Wb:FsyjED5UwN9U°9C+#%PM*;uVKZj\<>@F2Ö?')1e!BãO۠ #dqjuQTf*4IQZ: jơJRߟgNi=#䄳?Kn,vvݚcQŴ "<Lvl)6(=.DgqVveuBPӗ@\x,3pY6<$}%1uZw6q4!Rx옻9kN-}׳lj݌gKa?o&6-V3OMq 3n _8Fhf@.,0+rȰ~S~픣JTa :sUc\+fu"w;Wa huQî쀋*6mgjī8u,eKRe;j: B6/O#(*Zc(̏]@O%dNz;=F -YgYZ2410d4066ae373bed1722c6597e4e0d5d5c05661 80acea014f50df07de71735a0b8d00eedf3656ac d58ecc0b1995d99105c1e5da62d531bf6634eca3 f343e270af3d5917d4d9cb0e5171fcc3a1f2bfcd572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb   PropResPI