SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ; 4, ? Stone_Relation_Algebras:threads=2elapsed=48.523cpu=87.244gc=2.788factor=1.807zXZִF! ^M]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQĄ'6qԃ%̇gAȪJܻ/M[@Cٛic!:=A+m~BpOKm+7vPBaP> tRܧOUtTgWiZ޹~S]QP62/8;j:ʌ(jU/.x z'w;/L˓^5XWQf!Q Eq+(ԓ ~WţKV&F:UUȽgeLBL' <P7x ; Stone_Relation_Algebras^MI(fC$וWNb^kqϪٷa:1%p0)7RVѪĆCq 9]m4džb%ư$+YbdWV`XI) _*+` ҧf86I.R)29A@N-C^ C@zZ2ta0#0gBM3SS#4W8d=īf҂#{ traqڴhǦS,-ѣ)>xz=Q%<A8ON ܛ,&P?}a&Ϸ/ưЎR hchk*!mGP[ Xfz.X!("fV%XM /')QDːx tYګbs b8$*0ۖU @ZbbD%?H2/̽kC7bM(rRt `W%GL8FbC[aaɷ4jAQ9 $Ǐou@JHjM`Gɋ:s* >zEՕF˼k'`#9(`YѹE;xu 7,TevWXEpp-K|B=LiOIvan+k[nwp]wls&͉өA.jd7Gn"Au2A:^R(DZ! 2sai'[:3@|F4oUQDw2!*dg ( I緇*Ҏuv )~ B.h3Gʖ ɪ2휲JpSHOGInUH0%" ҥ@7}O5NS1T;*2>f42K1N`}:wLD%ՇHs⸕Q$W'S(N mmK~Uf1!^-q Qolsu~=W+rhǤ ':Nc=uQ'w.)hW7~Wq~x%QJj%@ZS(ƙX޼Ƨ=Oc҂γS5QJQQC2/'1'Zi@we˫*\`isrԞ8:aǗܒ,c<~3BaL1Pnd:睞6"m8]J@=ΥKKO(V~h9*XYhAbX94yP':n=-{,#.uIBKʐMr‸ihUO 𬭞mY5&VJ'S;{RHTxY4&_ƒ5H1 ,o,zm @8#>['VJ\y4L W4[63-U*Z:qQ+Bɗb Ot)jma ƾuj/Mk *r(}JYaeg0ιaIg ^EEG"1J8*FjD%&tIx>ΦR{VܕJ%YkS[? "/ok?>R5+6\i꾺 Cz]8jtBqzgfQ]a?[RDkD(O1W 1 y=cuL0FUC~^8̕2a2*(vJYˍ&!Zy`E P_O]'r,%R0 SKB;i*l 9倝 >[DKaugܲIq} P 4C))D]PZz4ofa⦾`+=7#)IvtSFz٫\)yO &)$A*1&4TF|C2⮄a# k~IjLn۶-r;e:œԅ:bJ AvkvU!,;lVD HN杕/ FZ7cL"lb'wF. ҍnsB`GL#4tؒ# Yo{. K!WM9sh/Jf=3&sf)FIY#X!U=;&  vL棰{zwo~OMQe .H(5gBvxNQSc'A&%NGwNGCP±C)%F#1td<9. [35mj0ԈY.8 |q')2AHp*śiǟ1j(W_0dFZO"%AbSV{4d OTZ\ꐕlCM@?jԇPR 3Te 8#.p*1FυXP- ;t>h4mfip\.4?(`wh f=j733fTJ3Zi _+'  lf؟GƄ^P;#5zݦ.@d&v8 &μMfgYZ7zXZִF!  ]ŗXi% iTE q%Q91Eݡt~a(Hpmm~Uys1:NRN]I~.hob` :^N`9 n{cm>y,VN`g4vn8<|5ֽE ]8EWH>ƀt@n3d~ nG}yiWf~8O1NʥK2UaNVٍ]$#c=ڒVt Seg_ 1b dOUx7I m'(60:?W&iC8 2'`dwڰ9p70 :|9~俴 e|초0HMkʹ־ *5ߛͱoG oL,Cv **qXF՗'ue6uqk׮{*uQ ],E#oj;#DM8YG\(dSDo>Tj/BFYGq=}6udΉr-3oLЏvU~)ZT0HߔXa zez6)|i<u,w ՙ{'Whqv)3ozּgvF~䔒J36;27@t37LU`-Śq3@ kJ+~Wm43Q&W@cO