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 @ s/7X!*#C}Q -O2̩oq\+! |c~[ӏqG' 彤n~؃l㯩gEQ=Nrم7a[B47p.Csh<4alv~$3jt8'=@#L;4 f?Z͒)ΊgZ&^|Ћoڤ5<ݙ_[bT $ȱ] Py*; 6yԏ JDEJ9kh3HM,W-"?%fs*F XN1VLc[/pה,'k[cÔ9jUFj_-X"KІtx7c8t'7wk_W=!0Jmt N#BhtRݍ7?)_.52.3QwR_~|bWY4hMiYܚV p.jם-x?P2U1m!^R# ϶&Dl‹N85p:ZSawe=4 ?T(:!W";C=xl+ɴA>8?1,6bR0x~o{GCp JhOc.)ȹ $HC es+*$8h0UUnT7T50bF=5Ӌ07qKgi: cQֺtrBM`vnE̬ 4<ﰝ_tʎL*i=~tѣi9~ѧmFeǽ^xuZ+{ ^Z]-&⦇<}&&pFl n^|)p# E%fui“Ͱ5y-CgO5r(e+ypp)%ML[&,Uک7#V:^|ȁu nGI`.-`4ٙǂWBGxfwo~f,pP)+=W?ͽ .>RDAۚXTa5kY'? ?;##,Qd*j93muj^2&Z {LDvmXh$GXv¤Vd#aZ)]kVG]ĭU!#uim)2yRṆ{DD=CKt P A҈ؘg>-<``W˱s>F%z0FF%i<4T \;zRKɈ ɖJ]F>3r'pv)4lʃ6 ̎ʪ6ϱ Q)4fxF_T|y`y_ʪh;pf X6ǍWq` @,w(NHLӎ{ S4A {I"(/!YyE.ZPjCWK83mrQձTG$WȲ ~*dPi%PiNl֜qqKtT7󎙕7<>ސgPvҪ[U+)*7O`$TObಖ;OʶT_.' d~a1c6gguL2i7|##K~zUC`o/q]J.Ѣ7q, 4f^P\(e$:Խaݰ&4]zޘz-t)n8^-?liWJЁEVڠR.u{VOֱ SE,U$5FXjc+XЖHfKDϠXٝ1I\.+kĭ=sn^K`hpEAزCt-=H#UˑjzX!~sbur(a<rΐVP3BdnǠ3#_Tn?VmߟsiTϯHOni}wk:Æ?Q0mBsYTSO`$4`Z~2=NUC{9n9MMtr$FUOҶ6qw  C Rpq