SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 9dD wS Stuttering_Equivalence:threads=2elapsed=3.800cpu=7.316gc=0.220factor=1.937zX 9 Stuttering_EquivalenceZִF! "h]ŗXf1-/6vR[] 9*%fk^"i -Rk~ ŧPaSE 1CM͵?hߡwk|ZGu3# 2 OIVYh>nQᢗ2\ˣo>EWuJ[#M"Ѯ {ldl)ܙ/o#SKO]d8QsD2.e]1D8 j0DXRmB FeLPz=p q.ˬw8X*Piga5ڗ|iIO!zg\8ŰJkb6)>Q{1I#w{1rxCU!{_[MTSWe(?D؃oU.K35P?teM)-0!aPJ&S.':KPoʇbfe*~FMz`*ޣDXgYZ7zXZִF! ?]ŗXi%DQIV,IIAҰZz%x5t?[(v kL[tnr{u93"r(#qmwpm;Ő|0ޝ2]2Q 0 6RW9-%.3U7#0Sa=Zr,]ī)'rea9 Aԡs!&m=_y!OQ+l @z8L5 6ↁ7vd fC+P@gi萩F]/A%G5AF]ojTUGjʼzaX`P8M_rAHNi?˜Cl>+f]_ %iht:bt?Qp m Becv7zeSHB ׮BJ'mr2S;?0vuJiώG1Sgֆ'b@V E4C޺ZD1JVΪp]bv RVcS +cM+ҥh%vȸX  LSG&zyG7@Hk[bWWnTf'Gaop :CL 3??s' oW\;<+gYZ3ae1dabc7b8ab36c35cf101b3548665f4e63facd 5494a10d7bf11c4de909a12a92e487c26fb55ea1 5a68d3a472b4dc7654f34af4ba47bdd150c34706 857060ed8c59d8e65872a569304dd512a8049f5d c8fc9da4a636155d4693d0f1f85cd40cbd01b821 f41b3316ae144097e02962efacd83afaa48a6a087df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f 9f52f87eb28fecd1e14c0d17cb3b978a93b52ae1