SQLite format 3@ - 77Ytableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER) m# OcAZ 1,sCFd?Õ=@[]q:90Zd"c.E) ֱ(.^u]Mʼnwx NV_/ E5݉UP)!'W,M׺W: Tŗ#Po#וԛtrl ]3;TNZL:U0T ə˵Α?Ѕi)1۹HQ7nT֤]]샖qk*Pn^>a_H.\"ho'-t2Edsygo.ʊc?ỞkZ : Zs/׎ mˑd\=~R>+xGĄ 슗Lc %ydv A;ӂ5T Kv>/{9۫ >-\#qk /m Oc9Wg^n +Xq4|H|nqZRBEk}]vjrCӭr a={YmWuC9ubeyek- 0uv!f̀R3=Rb"VĀʑSHajTsXk*r-!}`L VS?gYZ7zXZִF! ]ŗXi%};q{h@ئlWwpH7]P^ ƌ^FYkq3jjGw 2-$u ɍDe̟勃UW3>67Q:Kog_ޚ6/ ;%tXsD@]7ײ a,@D,ȗ sw5Ji2H"c +X/۝ Ij \.""&LGz%nۅh F%x}Iyؙ|/N;!<Ɂ5.Ϙ= vf[?19r) IXw[p"Vh6Bru²S~ }8Vw5 BW!Ù9@axX딌W݉F֤iTSW)A0Ã_W8 n]  Z*%O cF zI8rymO@>qI><<cAYaje]!\(8]]eNZa}Y % TZYi824i1/9N\$I|\$dzUWYu`$~SS;!.V]X_\4"҂_;D:ċ6 byn1&zU9RunM7Θ72BT="gYZ0b7be302db04bb48259acb49bf498330f9feee1d 0da2a0c779f73fa4d68ba73acc7c8256db9aa224 260d1372f9ef6050c9be39b36bb113f51b37d924 432ee014c9aacafa9643f0bf4c9d08c8433c4e1c 5117119a178eac69d137fb85243808da2d667eaf 5bdb540d5d2df48575e3f652e12ed3f3c44ff99a 66adce971d5ecdef0a49e4edbb5ee8d5b7dcfc4d 84d02217878a0ded53c9969d4cbefdb5baec3adc 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 af3a0cc7c2e7a5792f1be06d056e20fb695e4477 b82d63ac48820c09a7c175c7d4a1dae8c95c6f7b b8f1fcafadf22f66173431166090ea8bc1c23476 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d75db1d9c8bcf6bbb6548235e3c7c906b36b92da e98d989b0d56b347c6ee1a9d61645ae944ef72e3 f612bc828037d6b79efe4fbae9e84b91c46ca856335cc3cbd2f9ce8b131befbfa9e75f5612bae630 108562fee9097cfa723856c8a7aaba823433e3733f17bba371cc0439c9c363b17c0934693faec5cf