SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 N' dL ]S PCF:threads=2elapsed=57.673cpu=88.592gc=2.936factor=1.547zXZִF! 2]ŗXf1-/6vR[1Iq@>=s(qKgslYN*25ѫO ! ZL^: pM^^C4Y#@dF!.JiwrŨ?#= CL(nǁ%;4*+5 2ݗl< 'Y15 8.vUeATʥ̭bH l8m168eѤx .}09D~sȫ*"&jފwK WKet]\cľ{u,>>QsvrBh]20;gv!Oy@a_"kRr_{cwv3: QN,1쨨 =?Iٟ :!|aPL5HV6xvSùH!G*uKĖ( 8Ueݮk6U]g))LrYoSܧ"h<&],Ōa(Q*mg42SGp~OPsuOj2羑u%SB ͎  PCFȴLshdqߔ3RN1WDŝ9p;x- lU&(pw^mF5/v\raǼt{Xw~Ne, eGI9fBsƬEWOچKcP-f5aF!96·v.¸p5E4ɿz"Ǣh׀(̑f{)TӅI5*&9hVysW~̔#PKMd >sȪ8шA+V m %. Vy~Ne`?;7[u2 lP86H0cOV}&h =A-ߣkK#uQigK݇Vѫn<JzgYZ7zXZִF! )]ŗXiɟ1˦r*E$O @zֲ_}@a(ıHZ&%B'5x T]/qLM 5e'&4:#%amTȎl}ÿWx&ߢ Ek3cRh)U /ת|*Z aE>ÃT5pBUdaQ`A汘ogYZ7zXZִF!  :]ŗXi%9#o*WEp )Ԁԯ󴞦Dvog@J2H'/^TmFhU'4ia. 0(9PnKO9eϿM\Zm,Ox8y |]|-d9$*skgi;YQyG3lmf@wQ}d󓐷7:˼+*"1A܂/G&Zw3y XsBK^ AG$zweCyI1%&m]?-EO8QqY5+`5j&+ 4bmut),IGU-F (jޣ<jzy6Im7vf$.L쨂w"0閎2UJq IR xV3z:sy;jUfA\w8h55,jxרpQ N,ۨ :A?HN^ˌRbS">j Yt!na:{,)w%DP`%)pex15-"ؼD*wbЋXnGؗAAt$N9[ʜ?)VRIo /u} W478piGlgS ⥳dа,rE@J7spɁ[ǭ Zm҃}+^%S E ;($A'WGx\5G Rd&'1|iQ ]e"eOu:C.q)&]D6g]<ij7-eQcԎ!P0YX)5~5âTZeDsC~{S.+֝*B T[wO3'+y4 C0`Z8"f;AªHqID>uQWx&Dh4[7v#*&4{3_l-gxt V1s0}v`@ׯ< E9*TWL GK $W6dFlU2-(?L<6N~wg[N8x OAH20 TWaxcQCk8ۇ6n0\hpz}舍Y힜8E"" h]B2cq*V*hYua3.ĵCiSVԚ26.RbK~"H:!}/HKFƂkޟT6[^7TIb5Z MCP/V5snxurPPmOb1Խ 8y 56:g!Y<̍ +w Gg]9w%i2-}՞p}sJgIߺG\ T]:Áҹͷ~E0%GgJ#J0'XSV ^%r=p5&0wx3BH*8c(zi*ȸ[܄ɯ+fL@L(8[ՆOG,=NH#ώK.HQU ,|%zNċԿ\E0x5+9_1 +?Ф1ÐfYעbmp*Tj0|^d-!p>aYLp6M]pȒ(sW14l>F6R{>bhU^qd Df bR0ɎypI\/>liT MqD,~?^72[8F_VM Q;!ti0ƶQa>8W9ɋH Xt&|*?SZ9)jU hߛup4+CHwiNgzqMs%Q4MDzX>7(U*n hLбgYZ6b6a9729fb9ceeb3c9403cf4871f5d469ce4a2a58ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a f94956453f3c9449081944f015f52317f1e1a8e3 c79435f4bc641410bc34b2bdd9584adbbfda4e88