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 /5 <, 1/ Certification_Monads:threads=2elapsed=16.871cpu=27.536gc=1.520factor=1.637zXZִF! ]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu=f QҺ!W q$*n/]_(DD+ 8!V3z )'AhLj4ΰ{ UɎק *&Iv)^$kvm}b立q#%ՑjJ?ߺgQ|E:Nj @fv:6$R8G3-=s2# WMe 4w,+낉RDQ/+Eq߿Mq'ۓ0Xόo!C3kWLOI݄]>A.<MixK"bCϏcQ*$u obM MGW Tg#5WZw+4X1,Y.r[!T0㢻-/d6|n8'^ToҿEp.ᏢKaqfC.jONu:g 1{+?0 p`ۀt_t ZO_BpŇJ]SmTU ` ;(1gYZ7zXZִF! T]ŗXi%6wB7A?}zyoiH+dHk;ݔ&|๭wm܌WB&9&G< p:~mL%bxs%~>6XYv]؇C* xĉCV%=zA⼊`Z}ueQk5J= s8a‚:E"BU4:ҧ|ӄ zDZKlаT[#KQ(@) KŸ0ŧ:&zFZnׁo[\hcqR3^waO{昁Suʽ歠4:tNYcQT׌MD?X֡e)~bNy@m~ wȊBQ"_:okSI6rlQiv_x1=۴PRKqT r>:ǘ(OceMՉ_>ѱAŮSK_(O|lbt!#4%@ D$` =29T6@ eZuE.bzL/ ?ԋBB)"'_)Dyp [^Y\&KnP?EuïcgY޹,B!867M=2/֧~)٨.hF"qIhSg|/1MP_Erfat90Ի ja\`c׆@=.(go]8*#1CVߜCpjr2dccѴMN<.>JpU߻@N3G<*wͶ0 8%1(yab7WIlQ\16!H:@8O-΋@A{Xە%u< hX6ܛI}k\+ps(kU*sYWiH#5}#~==0׉,x  vl{1eGrRS`[W;*y tS;/Zq>nd%E04|כ$71gM3^6pRrkSǾVHKrvClloUK}?+7%@g C ]i _T⊱gYZ0b69d8c3f70856201e8c054bc34357b13520292f 0c9469e4651698f44e3e228873be074985fc67b7 11e3d63edaae207e5e2a56f61a02be1d8fc71098 12a0e6c0f55de6da86a2819ad3a7128396308306 185b62c9a47bec524007ec7a2225b16a8f4b9349 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 3997ad1247c599ff5ca5a09326a165d755ba9b8b 429952f9b1ab48f5480776e72dd795c832ab4fd6 5117119a178eac69d137fb85243808da2d667eaf 5f027145b953123734f36cd380855d6483226701 69b4d87e9cab0b856337e17afce32c08395ac7ff 79f31440868c5686b204e83e4f26f92eb8d94f9b 7bb2894bf6b2b1879e224f67e577c429b34466a5 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 b930d3b46ef544b2e9c7801324c8d49593edd92a c9a7834754ca020e75afb9d98e309c88e75bfb0a cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f2ec054802208841282d3caf8cb88ebe49e30b1b f6fb166b2f770db6828fc9f56f7c516fce351e03 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 5 Certification_Monads