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  #Ldd ]S]HOL-Algebra:threads=6elapsed=26.959cpu=127.636gc=8.344factor=4.737zXZִF! D[]]ŗXf1-q恈\T,rB I|2C;" FEIL+2i#% f|p!fUx״6enA>j8n܍T*QEMg"$9r0+ozpv!3~+gj1qD~ WKIј]c%(IpmУo[>#(1'ekQHc]#bU8M8ta o#r>Y ӶEf$A am]d-kz^G;H}-A!6LP^RȒz&aK)r3"|Ec;zbaބ=T?%"J4a&7ZENTB4>" d'2ʱ܇V=LLJtF9aàvPXt`o@3",ue?r϶ , Pm 7:_؈ f"PךwD,IGJ^@A͕&5`J#mDpܾO*0aGvdQѺ끞,Q$kPHxnGq sCD_$WH d1!e;o%2UڔlSbCv<*>J@qQy$ŎZJ m R29;O\f$D3rX5tz5K@ȝ Fr/"si#ieo&,MKh}TF _Uqv$ɍxwjF;sdjE=l43b(Q,U,)r  [nL*jYmPZaIsyjA 09@ֶsbfbA/7P@e ^LI?s&wP\TqI}~\j/ .VC j{RiWx7̛SVgq9+UBfL[@>r2nּ 72<%1\*{Kb9ԦcQ^A(gʆ+cؗWgMp>ݡ/ѮyXc~M?S/^yHbRM}cK~"[גmJm!2 # HOL-Algebraԯ#6RA|*QM~Jrį}欋~@xjղyb*Ξ8{˪)DERIIHI(ᠥ(lHB-/ǪeS H2>+(!iAoed5A +(OK綹/sTkc-X0?SU"0' .a~>x@9ݧ,jvMhv[Fu\DGgƶCqkš,)&asRe~+2)ƓIM Қ- \]!+\#؛ɝҠ[3TZޗb0#1Bjv쾛_W*q $obGw;~G@076Ҵbٯ;oY{c#7t.(4r4c&s*2KNbP@O+w ʯ"I,RMSHET*P}h=}'̌MdxQs,nxLݕ#Ȱ Ax4ZYW8ToVié~x5%EA=y1IVOр3fnd BLm5Ak=v{D'WUbeԶ ܈5_GԱgYZ7zXZִF! ]ŗXiɟ1`?#DaCu8*2?**Ч1GӫqlF*)K-Y`{dP쭩ztKzcW%E7x Ν!8E~_./ E[$PoBS,Y@i'02\$BS)5'""93|F]ۑWEO}ꘟԟh׽NU.:]Ru0ܛ# ] k|#0Ǎ-@9uP!ӆ7(ݢFK eJiǓ4)oB.MvمFoCգJ"zsBz)h\c7V{{6!NǞ-5Yh4fR9Fo~IDl8 <׾ȌL` +Ń^`֭GneΥLϏ q^rdID†JAEBsa矐D|$vV4 7<8aXᔮfy6"Mfw|f^3KR8V^` lZ3X1dM[Rs`by9B ȱne|욭vWiF%eO4*OiɶD/ "I"V* J*ՕK 5 e@lM05n DUo:ʶUBtFw'ƪq!hL~gB킵.7gq"~q\lInX󟆦 zYhiߕvߊof% $>Kg7zd!ip+С~қ K0Gz1tHdruX] ain&9N: Hm维`qR=kJ&QަTz -"CiRq ?KKSBs.sP}ڱjy~?$Y#.n瞺FK%/v0t1-7#sezOS8h>"#TǪnuv/2 +] BASD)?]-g޹T_~W@Ad6*(2W֗TafVo 6^w?g|CMqCg$"JEU|Ȝ3N4~ 98jdHF< T~I:cej#ũDISܮ.nz+^A5=AasX5׊ )5:i$=щ o)p \<}91a=4^߲"9 (\n{t{{R<ܨ^o|.*(X477 563,Z#':Sы%mb|"T-{Kဌ=W"F vY(%( *$irIraWm^;cfo9ٳNh,le ϯ`\XPhP)n9\JhY橁 ר+fΗKow G ,G%@´%=3+$#0h)˜I3NRk5퓌dfuc![YŇ&M] ~ט·ie$ uYyYmyJY&B@5p;+Uх7xc_2./o%hU\sҠ4H_*)K|#)zG) #y>ν2?:{L%^mMNõ4,w|4-D1\!fB#]&TK6ۖo.% [R=@MU^ N)lx:e-ˣ`3!J^h":@hg Ղ JeGf.5f!jNs!_'Mj;9 ;iZ.Bu.l 禛ۼ25F6j>:>zIlOo5cdC]4QyN\Ȅ ]7o$6WJՂmڷ9r-*A-ǖF-`jwجn_F\-@j27CGdwpJh {AHeT:(ZCfvWK-%9N>[ܑP `{S7ʈ$EtF$CX@edlvcD" Iݤ5#. 9gYZe7bec54c307f613ce000f8322b9dfe5db2ebf2d14842c8e44f35b38e84e7496d28f4c0448c77e9a2 424fbbb4dc49c5f9da5fd81c78ab3b2f35a10efb b24a626926d116f90b05bb3fec45e8af4a1681fd a1b9408ff9e9aa10f8cf294956aa01a99b949483aed0aade8b8e51462d37b87fbd68554d90933794