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  o#\T S]HOL-Algebra:threads=2elapsed=94.835cpu=169.300gc=10.176factor=1.797zXZִF! c7 ]ŗXf1-q恈\T,rBV$--O:1XlҿuzVdtVBBq̹G[D+;_+aCܾ%)ͨLl{"8FjrAVcE>߱|MaR[U/c֬ǒm XϏ\9B,2tbК.lpu])1|ۈѢp rL\1nUHΔݵx樉a27vט ѧX#ܲ#>!{voɚҪN+?6G7nxk{ {l߅vsql4Nx~XM?6V2jsmՒx0,StY]6^ءU$Y@.ELb9j Y|h ?ı> iV}pOU^ ARQ+dB"Ҿ KrZvLR%FU1~×|MBz1Oҫ8YOˁ`þʔzj$jђ4Iܤ8*l!Lq!GwƭѸP>" ylvu#߆eIcZxdy;dJA|'J z]f_Y4@H2\g,f;O2ò(52̾7R_c,9 h.EOy0&lO<_{Ԑ|h˦)e)e?麎xn1;LNL;ofkY}g)bg>L pq( IJ.I/޴k! *@{x9L?:u O:+SSx̲TUǦ)FmL4H*A`##|d7ЈHoŨ'xAɂH/bFT;黧K]\dKj2貭a6H; `z`LϹTQ6uvyWWǾjgl7"C0pqSw zo.ǿƔ*CWڒLM#16 s&M(y@&`׽1j@FɝO8 Š/x`ă<-U}<ߙI9P ,+eHDWTP6qKrn "$B\rYr[BUb2 %kX1h@o,TG5GmWnWmT4GMf.V/E;^~DI.{;w Y1P0Ejsś``gc1\w<CMCd7`h5tAt/" $ 0c'f41=VȍB!J AВiy( ]ј ߇^ȔjzvJ;mљsc@C5ųST>F~}Uz<6ǟffd^&7Í"x70SV4gQ8҆+  -j@~xYV5n޲qdݔ@I6]rr 1xbt^*yfWeOv Վ]B^X*ɻ%UAh;^dƋw$[/] }!Uw$Iڟ1:0T ) y'~wfhG% bws-t(:w`.rChh!n4rT~k3K|8qK_}a9MbB^EU=Cb4-hVGp#+ ~pO=w5'k k,  (^"@uԆxq/^DcumO h~TX[NcI+юfFrt#-I'rX Ҭ`mH-^CvW*LuY+6J=/4G~. m5 CMmly 5k T%wwfVȖfnd_e+OޡGabB<0fʱ~|U|&vk䈼}n=JL 0>~*}JHG^.P]$89 w6k7c+\nےto *me݊lj$7% `0~„DێҒ6J5$+2W%:#'7nz FOܘjrmro4x%lAS{sjzu0F Ū3rR_( zfRzFĒG l҅'|nfr?FAޔܷfUevh))wXq ^ f2m_ piA%W>eQ7?kj:It1X/++^QA?,(DwpR- Mp1Ɖ+ul)myfGdIU4Ẳ1p6])aF_=[>x[i+JU]ZWxaH5HO}]8 Y[&Y^FQ27ߵ-'mYQ,Ӿ=)']OB^%y;Ĝ[4ǃ!] b dpcS4OYAu6l}J9y*E1 !cEt ~.Fw~yg!]W/ǣEAE2{QYB%IzamE@ `OZ647~0; '7UNRIb{,tJxVJ^N)dB>an>&* % s&(XZ=Qx$p3ᐝs0.囇Y?q `C{FD->ŷ*mA߷h;n{uWZ-#dJ]31:Tr,E%@! ioAO'C~d+Y_ 満>[d;#d![3CGJC%h̄RDfţ05hZGW&6TN4! 5{0شrU `)fFB5i'{0d*a^.nLRLLGJmTНHϨ~*qP:!ȴ/p|teѪ1LMXQ"Â ⣄6<\A<  lцrh$bhتjϏԼ;ǖuvUM*νYbD&Tt4OЛHtP:{-c7!ئlΑ㍌\g͙yqg!R;$i?|)ǿm7n rvT &IՃJдb&^8d+2pƽR'ԋ[Zx]cib ,nGJe3h 䦭/eV0_wj:TV&K.Low0WKp҄d@8\W m=iŬO`441.ud,Ģ$"N|q  waT`7ͺtNNR܎vS)+M70ur͑h';K6BzjZnKگ;D=A\UI :rL(~sdr9C٥3f߅T d XoV,~Q\@mɦ>O>T޻ V8 `#un>oAYY<ؽz.o)coE FB>YwhAO;٘ f}QZˤHhZPym Ain48 oӒq/2^i;a$4|[g卛8ީծ,vtc+E8q"$N-DcN*ԴWTDng_'\84 B8M@C{ zJLG9ֻ"LQ6?$z֤mW;\j+ZTUn~DjҽZ8=R2VQ\݉U!xm' t: 5+{!c~H&PLJqzN1g(C$ҧ2u1jg-z> z./B;Z" Rf5!Ae-T8ϪnC#*Z jLۑy̠ .a~ Q3;-SQ研 FGqxA>ð^?JBND)qٳ MB{J MINGbW+Ol"Ӑ1RSCnqn-|CzQűLC(62i`ocճP9u508EKՋJcP/ssuM LM0$y