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 ` L s/]HOL-Word:threads=2elapsed=21.969cpu=42.148gc=1.780factor=1.927zXZִF! =]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z 4:ZJZ 'xZCҤ4jX+K77ΛHL9N$]n.`3G/e `-#ظC#rn%2,|yJ (_}@Jrp 2cxxPd-K#U}G k;(?uP6RpGⷞkDw"ŕ9r aI}G\vX^4g DikY)ؿuj )*nԵ#gMn;!ř:pLNH؉Ff>wD.Hy CsJz㩢lųZD3)/!rً恳\Y4Uu@83VS{V%^A)E=3Ѱxg^e3YB&̔"LxY ! {#QsdJc8˓,GI!q >8*(:ɳAg;QmPGms xMj؇p3qsi(i5Yk[>$ns,42ʞQ&r&~d\@k21݅i8Cw<.T i3mf f^:OI4 CLo p G7fqg{aBHIJ&䷛'4'B&|i1sކp`\ВRR>p޾K[\'SsOwJ.αgYZ7zXZִF! w]]ŗXi%6x]6{Ow?kQHt^)21G<)(4PW^WFH#ͤS8H1$~`1jxϾxsf Yk۞ $jG_Js??RjF#6)y:_s3_ Uh7[oYVMD iZ"ÂEl/`*4C0!vhD_Nr?2՚b1^⮽Kǒk}`5tqJ[tWh諔ERѺUI"elz[WV=5fnjD7yT W<頾H6ӣ5c>KЎ&hQoHבX2ܜ5}iNv>V> "M0?jfp_)%#sM `N+o"\PqTߑS}PF74{},"Ţ#OfR$/4m Cr4yۻR3[/N?:c>)f>K8`)$UaBQTGYM:%d >+n4WhVu; z<\͔ptU.ׄˆuwgQ<ՅƗd@ӘPr,ING9b7W?\ao &Q0^'G:Kx{TK7*DޛYAtgmբ#Or%ʎ  R:>$Q|<爠|O#{s_b0iQ( 4۶$./Tu{:mE*4 Q QVw av9KXvvSkrVzøQ>s?qI;-يHX[Od>a[etD!w)s1X{vTZ X趐*MOZf0eqhM2P݁%]~{'6;ֿTPjܙ-tV=Y_Xe𜚳g~1e*5W+5\vn"G2S_F+Ҹf iӘrc"&V9閒'e fXF~gMu nRȐޥAn) t{ZM@~k q,**A8o_4"n?{/K&i & K*>Ķm/>8V4\~[ۆRw0