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 n# , i/ CISC-Kernel:threads=2elapsed=23.069cpu=42.260gc=1.648factor=1.837zXZִF! D]ŗXf1-/6vRZx>3ddCQXfh^x[++謵3fFK汬X2>ee81H 9s%q/T`WA[-cȼ%`BT ,?Jv#I@}`e~w/?L7,%Iͷ90 C]>' H8i E-1u[gRG~ ڡc:kJv")0a`&.ܡ촉CMj4?eReJ^zwvg.c{Swh30ԖI %:atZOtq; ZCWx!V#LJTj눊hõ9U~4.'I۬tsPsJBtT1MĠD]sD&|J"_o];9Ir'ܢ)<*kŐ}(L p#s"y3Qr K-+ R/%V`~2?GwaW9_t? L2*e* T}*>MpBhtI2 1D"05,qIvHν.x]¿7V;cMOSZX?Iz}ZK^'1s|Vmʜ<ȷoJu]G2!I176.)aZC(!}5st-b`1 vjqZ7mFgv# iG%Zd s>mM#x#E+5gNtUk7h-S􆌜cEMAEx-%\o=Rq7gYZ7zXZִF!  ]ŗXi%6aCfTnZ@=m w}U=g|?ۀd%+mfBN3.L7]mxp ZY3O&jHxt ߂scgp wo.n>?R&g납 { XfSbɥSnq:èA`ڃŋׯ 0y vPS"fNyϲ3RR;l; e= ?'v|.e}Cnԓ'}ob8HGQJwo|"Z^6iA83)[/CѶ 4z*?N*TW&# !~@ >MF͛BڞakV K,TDYpF(l:=3 X&4R˙R*T+kZWP{W;J`_P/,7Ƥ'LEDP%ɣtfaW]贐%xu } =×!Q:Z} 1ӈPϐr I6gϻE%`Q3d0R~Wp\ᮗ!AÞp Q0'aKin#Rj1X{Y5 aЫ\UОWPǡ]7Mi #6hJ;ꮳ V/r= _%wNX FB&\w޼"r"1q ޡj 7lh'pVM~X$HҺsy`[ w­̵ AREgS7. *Gm|"&Wz-*kEa:,Q%5tc}Ibw, ~Z?{>0Coiz.!t,]>y>fºo! #?_h?VۅBCVM%pKQ+,%ۋT A `뛧y`jh=??=ݼgDvGpֳ|}@ZNTDD 歐DPEbRO]ve@qS\TIjP;TEOCk죲975,/&$UP2% b+Ʒ/.;0σ2XnY %Lem14g5:aq38Bbynqh%ďc Mpp Fkce: _sU,OmtԾ4WՏ^'KvrFS'] 0f¼^o^E膮D)ÑwL犼SDs%߈+S=6hx4Q5F_jH6(,y:uM*zF()#}\mU^ZX:ONֿ|jdlB,pMv>9ћŎsʙIQ/eEзWY@KMIi*8dz](󙣜;VPXcI 8~0@Gw IG`^&{籚H-[fTdP<2˽Ezk!crVTA\Uh,^x0INX=,Lv_sV7@O˚E2kM px*3 rqj4#j3ǧsNo}=aonU$R:d45?O-|uL/ҝA}O+~%9&p7z, gYZ0506f095c011835c4f7c437686483120ef02a687 176e37b82efa30d5cf8cc6954b8abcb106a34f22 1bb823657c5d60c183586fcd0cbc5a6ae117a16f 3592c30ac1fd38ffd526d039830f81d754495946 3de2d68c664fab32ff7a3aeace0d8bc43f924879 440b637391744a33a3e30aba8ece811488c7e9ec 4aabeb454f10c247e38df7cd714481f60134bec3 5061c1f8ccf840f9ea08ce306fe0df979ee274de 647b29895a9a234f8b44594b5085767187248cd0 68d9d51d23a8266e670f046ac0a501b349064391 69d3e870337e13a39d50f479f82adb8602093859 73b9223cabede58b98b327a5ba24c2decb0b5cee 7ce1d219e87e3a78d77a826d66242aebc0c1d8a5 8ad780413248ed3f56d4f471bdf9d6b24491f498 af88c9306c41efb487e6787c9d795ec3c6948c83 bb7be0def2547caa9c44bbe0efed558cbd09916e cb722d2a6a708084ec1755e0ced8044f4f1b734c e348d16c420645f70a5d38bbef9783570fc1e619 e41054397abc751ba6bff1a620d2944ddee02bdb fcf4d458aa667a899f0ce8a92bb49c3a31cc7d1b ff0c2da3bed4adad2ee8133efa39fcb5777340d4 ff997872fbc887147587770dcd32855de0cd9a57 fff085c83c737871c16986038cf3c59cc609f636238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c # CISC-Kernel