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   Y1 \ ]]HOL-Imperative_HOL:threads=2elapsed=75.448cpu=71.204gc=2.380factor=0.947zXZִF! /]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvix]õA\ʏ_OfMR &S \͏Sl?nlj*/ h 2˄5}'ņ ]܁Ü1 NPN&F5 dࢩ^ܮCi?]s&Ѷ52NZ :yeBiVYXPNur/5.>9TMD6ʸo s*53>.Hkx}a>^gbVZ.JЋ|"dQ~#VOd-Բpá/d #sz;'HٽU6}$*w^j1E"  `*]2?)@m!5-9. x#aE# r+aeId<^i=LgwJ_ᓐg+5~5Ko.>:EwoNW/꧕D|DP2WjsmY u MSsMDso0--(uXTR`A?YĀX>[I^4z&SZ.Ŵ! SNig5Jf#:fF˄}-Ɔ&iC: &yȌ~9t×j?Y4pEEꡥ߄4&142uRsZb +02xyP#E9f+'%j`/h0(9H ^0K+gb]< 0ބv)_Aep~"El.2 _۷gYZ7zXZִF! H]ŗXiɟ1nhЦx"n_8N]( eOtd6; dVr/bxTؤĕ'SQq΢V{KX 1 HOL-Imperative_HOLpc]i"7)S~[La ѽ*qRZ&= y#Z -ʥEX oS>Wzl7tD-s뀳">nu L<0RoH:PKJrbp|ku9=3+R53q{j^ s<ܝa&cug&wwTZj79vmXxi,iAvVB цgYZ7zXZִF! o ]ŗXi%ή*sVY` =p]e4d|LADoŻQqNaNq"Ux {kzh #7-A 'xk /k[b?Ftt[F"y%8oTsw*AKD zp~e%ۅ}в%6}2L ĺ-VzIgzljd? TؿYҠü2gC2>]QGA#Q&dHD>>kZЎ=',zi)-3~YKO[+ƒơi/=⣨Pȷ7\{N A_O#lT<c̗~KqzV$ : -= 12ѵO7[MSJ SZVXmpvd(}.&Ygh~H䥢t"#a}#cUcu ?LP//lr/ChCJW(u˚ë9;a& 82Vxa V1D""bb X6ONr-V&kq;]ћ8ʫ4Jmɲ?GţY|`a;σY'b7W(w Ji2sa ð/; "&[XY |vʰ5m4gi ^G80?k^I'3:cHws~dKO#)_V*F*_vԅ,F3 FBA *7@Y|/-Mû0كc0 d KU)'F>س`7N˺_lDnʶm;s|_d O26- uepu R['+1N9C^((GHlHYT<OՁS6 `EmamǝqʓhWN R7erMv& ޷5KҴ@-kTw ƣwjb< `g"8Ȭ;!2w=@&? ?Ɯ/۱bF̸#2 =;>ά+q(9"Em!c#=eZ3fwP"9ч{wT3h@*н-&\Q!yYM<=EVԄRōCP = x"!|%F KmTX͝k,؊6h@c-׀8rieL@MQmH>:xnOW!&䠪[-r!BiH%+aX I렶hgBBx3YyDRݓ[0R.&o8< 1R;| n̮wc'&ŝSvFNA2F6&Wb]K;ށE1vމ%{\ ^ђ%'*xN߹sc)7RUT%~%}\%v> }sKTVLWj 23pH.29̦U_xDM Mx.=+b&XCèZJN|mm?al/wXS^q -︺F/i$>޸J3N6&ڌ6x#VRCޭKHZfp-kŪF{ m7S^GD`cǟkB@Oj&ōi^0%&@hۂei7NKnOin"3ހK?KsG@WƇAۙk=x^\Q8,Bz=^@1LD .nj*LM<8w 48'"k,AhɝTWh˸Z=By^)rٸRe0*\bv /'a~ ;Oݲ@7*6j:*Jf!ψ=& D$l3AqaiuA}Q>E?^'7ν"m`v{oM$+j(ǦLwJYf[@))trVD8r&{8#G`"6tBaD7F{4-A{pI&W%P^i&4G& wNܾotBe8hilv#SwF9!\5 JlT>LsӲѨFB6~aˢ%GZ$S(^(bXsMS