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  8 8=/< ]/ HOL-Proofs-Lambda:threads=6elapsed=110.558cpu=140.924gc=6.284factor=1.277zXZִF! -]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}8U>0#鯚A:>N2O0Ubm3'o]jjIqigYZ7zXZִF! iV]ŗXiɟ1˦r+g'^.e#M˶pFrG +ym{_W̙8k/ JZl0G0<2ps,z6XEEjDsu]/Bp!IDeJ^|m\dI ?B i9n.04Z,X>s*ƽZ,j%n)\X}۸ ۜ3̰ \S6m 1I*ntDcO~!_G6`J#&We93woF|{dZ7 JI_0=e]`ZNf]CY{z2TKVgYZ7zXZִF! X]ŗXi%;k9^ukLSaRL`XoޒqjX F *&#x ~ԁ{rlO@`D.B 41L㐱z9`6_ e/${ 6:e$ mё CtG@Qm|"$jui2r<43vSA=qL|IX3o%g_vpT\>"Fy9438s#VTm0)(W淩 ~ԓ*9[23_vpcuTk jM>ѷ "b!+"cǘ,ܢ#܇OfhV~%F~,|#">#m'#V5cA_**q4l&W զ$wueoPb;}y"]CX PU!b̡/@ C+ ȇO e  <+LTt\`]ێ#[ v&:'`#[DnkSC]Y厳uu[Φǯ#;.ST 쎯-3ɣܽ2U<)+(f|ihH@mjHi / HOL-Proofs-Lambda_(T{mT6&=ͼtT7?A_sN:EL)!)Ebj?-5 Zd>@Bw$";R}]ﴐr/we;p'HMgBy$ԍ& =D檔 _ҞsxMAgSeԘV5W4ۓvᚨ9 #QQ>xOȻQ=+Vʜ ^/C)%J"{&YOPkql?mW%bX&Ӫ^urqS&3ȲH.$ ,3%8 DOژIdM a/E 9JHSCia /dždFpBMcfKQ"Oȴd.%Er,7Vm e/V%{-̞nkvsWP=>nI$D$ B|d 5ly »lX`:%XVk\?oO0 P;EI6*b +Y݇$37 .S;R#c4_}cyoȇyJcF!Nf@(Kv(2PCE_df<.DoKn%*q W}Hys=RGea1' nadkhRV1ѡ5a%)jiǮ1ch 7+pgHZMDu"놗-#\4 s2R'X̷瘈䃴eK+$EC U/֌\OfALgJ*W!9סlbgɣD>O!ByZ;q{8<L<{+ O/ejھVxhUc `b1 ;{jy=N(/:Ґ ֌8[D=TMn'zafAe4## {hѰULP6sP6>#(R"F85^@i\uQ8fD͂N;T 2 ϊ{4#i w:m`Py#gSnY 26w-vc =ҟe ~1(R= PڟPR{NagCE-o~y!wYK(c}*ue+j F:7_7 ;DoXH w_<jQ|(nqSnx:eA&=W-Gm&+D&ʡY.6~xKΟ|& ZiU41-zxnL vuLQf'^zu4D[MrLn0ժ/o݀aljj܍ L^.0<wM[Lσƶ!c:*Ta`;Ss~j6r(9f 3Jć"(y%G?-Kg4-"@.:!cj8dJGa?AI"AQ8ЪbLGm"@LZ+^`Fo<0CW !K%ϔ{1pLKAip^XU' "ؠ܈Su]k[C6+,-bXa"iOWߘ*ȳƞ7$|j'鬅/(c;סp洳zoC95cLYogcbmFM(؃ߗajfjda3%S4 BTRIaȤŜbSʟ!&nm@~S"2^gwi]nd/{^m6Sr밨!ek1}/XYnU@BPJQ40z -F,"R-v58uyͲӂ@i\tDy7:#.3Ω(fF/.jуn7w$Ele#'RLiwv"lv8 Y5,H11-^q}k v;5Cw@Qp9 _g|ލ6Rq:J\ݽ)2qD ZX' zOZhnќ/(]2:D cWc%:"&1w,=$dZ\BkɯfTQ?"*\1I˰>p,|]ں#Ayh.Q!X}N?W_AI/w Iǒh9,#T& Qi`8=&0=REAݽ0;όB?fܜYnl-ڻe^A/=GKV2]'˜@4~\)>oFL/cPR¯1`%wUԅD㙺$a8<7ZD Li#l9~DяlT- Bj>/A(?42/v򽐰;TwW+(-8Ž.=30aũ,bWR kx}#Eۮ`v-F~p&i9{R8w8ݏ-n3Hosn,9/$gLJQ93Bw/t_T,I4U"-L`(lR3!lCՉHnub232 ΣBU>aw``vNhƼk]C