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 H# t ]S]HOL-Algebra:threads=6elapsed=53.342cpu=167.388gc=9.508factor=3.147zXZִF! _p ]ŗXf1-q恈\T,rB I|2C;" FEIL+2i#% f|p!f2^#)>2o)n2 @׈7 L٭فW )oaW>;a>$ƩG7.& 1G%Zn$ }8ߓ)W7/o`؎`QG?%ֿ^'l7VQ4IF?AEm}o検C荓O-~)Ѷ,`x?&4;kXg#,h/eq71U0hΏ272 {tR`*f&6g'ݷy<^ :::gܛJLL"~ҿVRC-l*YJ &>.ŭj '<9Ҙ L#M,;RXR[P֋)\:w PjTc 3R= 鏒e*7B]ZSlu/q6(T:tT;e˪.IƆ F(끵jO} &Yk' so*!g;ou#:BB3|VgoI:.ezcoN3]׍ʂM̊wvK5{Ŋ>- G  ".C$hMn "C0^<+S5Wۡ[si.AEZ7*ʯ5پ>7d#^3gFD4&`&ap >&-F>Ə)uV+ _eR .U|kЂ/8Bj+X=={=۪\@5PD}*P;6&eҌ bR.VהJZ|am;̮m.  ye$B oDM)d2Ksύb?Sx$}1Ci6-lӬߒSFLQXP0V5 tn'O~9OW "\}=r?jn*)s׌'$n{~d'qGʛFsa9d%xI!}R`Pm'^#Sь@24hUwP7A nbAOS:1pL..UBZ6 1+'iMRq=^g{qW$Q}*x©qO9|i1]o\EZ?G,#$Mm' ~< kf՜-rtc; to2pH+GM\ #.*D)-6%D-T2hwYyQ!Ao,7 ao w n ٙtP.Ij3,sf⢔{b0PZb.#"56/. &:0(GZgKBQ&-&R,vf|k|,U >(/æ9+NQ^CۺHw9R\Mk^ >pkHNy? pm#[(q;x5  P}aimbC̿>2D1/nm@ eAEzOR+z2AߗVw[.|fgYZ7zXZִF! ]ŗXiɟ1`?#DaCu8 ?6쉫b'nU`P,MԊ>܇j:t0y\Zrx.Ϋ0+Emf!MuV>C^vqN/ LMsAd"f52e]DU)lL(rÅ]AUX9fA?(ڲH^TYJy i[F?̛0N_[EWCnu#C| NAFΤl0[3WtϑiKFP=VUs-Cb `6Meztzn"&9' R@P?גq+Yt'!'̿h;P*y3.! vK:E!ea>^]=K?^زJ] ` ˷}R>۪=,b1YGWQ Gvtif/݈uDj~ߐݷ'}ү"a56$]  # HOL-Algebra ;gYZ7zXZִF! ]ŗXi%9#q]^?!TL(E}X 6JYO#}@9V^Ϩ9-(h{IAd: +^\^<=v`[4{*|@l! _{>vaC]Ś8Zeyl8HCv5Onji%Y=B_pֿ>ؓ>+jJ(39eM8et˖ѧ5F`'Y|SR`?py,$:mYC(..Jdj[0xh"? ;S)ISvиA}nh7|FkKhr,Hm өoH8jC' =-_Hi7EfHd}WI` _9~jd;:CYYg9MOf N%B7㷄L\3_Nz0[ \k&R uC6L4euN?^oA0ԕ;;ʔI$(;bA,X1"2#՗,6.{TO8ZOFGBCCXs_5(?ac4LVO__YźmBnh/KMf] gkrhwgdG88lbsg9di&OaL(Q$C'bZ 09&ߥXB}:N6%!Z`d잍6"3,`p.Cdܕ wYĵ),?@eX}&ŗС!R[.T 'T&~R,] ̷䠺 y(9^eX3FhT`ͭT5$)%U#$ KKYL>maCрº'=COJM?bHL#Jft0w(c _ "3nx ),ӿMQvݠ^KLHI1\V?9攞) E$dpEQSS^f-cTOVzZ>m~j k71;m<!? !̫YPv3z!6)cve=Q #~$?=˟fءJfDamBaI7RD"UObO63#@6]JՉa;{yFFNMh* jM ﻾&L:Scr| x5_NLCUt'%A%$x*N4ajzZ>VX Soa- ì[pT7|,Nvr"tS)R"Ԟ {.s?ќtaWDc^:Qh5)Ţ@@"%EWĩR'-$*"F@甒ZیySiهS*݌Ī;9¡f n (˰c_/O!'zٳ`Ʃ' rÈ T{U,v~L GS2G︢:`Ct1\I%՛5A*>jƦ }߹=F^_tcN HYr_ᤃ\r #At$Fym)giコ0Fw)%VL**1Xto:':.*O±+ =9WA Of$a9,m"M#A 0<وZ!svLBj]Bi 92³`$4#|/(f* ;