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 44I1 \\t ] HOL-Metis_Examples:threads=6elapsed=14.741cpu=63.464gc=4.392factor=4.317zXZִF! ^]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ї,Si[Q]t?ɒm K?cҗ XG¼3_K&*Z< kEPl)*:;"'gٯ-.m"GZGݩuIsqG?nO >Vb[Vܛ)Q$1=b2oxk $ p? }1 n"n~EIrł(Wld>K1U{L9{2YC$t1CQMcx;pUu9*s12gDrm x9`C#t]e( sDgCj&_d4ڼb5J NwERV*$mG2? pzۆVnKZ vǼoCy@+6hS|) x6SR 9$(Ԉ jUF88nWS?0{4dV%O5R዁gG${8 x=2$[q#%Yxk R,h懆 (ocoCbX AHF8WK3b"wPij6Wmt}Zxx;wE:65ķBSq64 i'QKlR?kKJlA%[teB*N*]`(/➧Z4Dm*Oڪ齗_DCy T/O d<*q7w8y+k?h"Ю f4'5=Ra'Ƅ8Th: jBbǠx+({vjj6qF˳ptpӬKa 1jz_J'ogX0t>mG3w%oƷcI.""G}쥃ߨC $ԷvƦF'#ՖPe2s3&ܟ{sFz k=LÑ4 [HLy kAM"CZ ﮆ4y*ۛ~Isb~!&eAhaUg3j\T_.?4|P STH;jQ"!ܭ ӱ*jL1qty(@T҆M\f"K:l :;\D@Qؑ=S˓@'}FԷþpd-5 ϗJUAJJv; /U 0"ٛҀ% Hi7lшIRE$qj#/tc-(ݐe^/aOED[,[Qyl׌)Gt HWE7öZ%~%U/O\e|BpƖ!=K9ghx2'{ʬ۫ؐ[g10ICRf ;[̤Y'(# ]ǝ^k/{-4[V&97 ^eK cbj3m|0yT">䨘mq/cBGt]piUQE)C))[ԂS܀|3I>YDn*nfWFp[$ ?p=fV.:QK-;rh'͋W/=8d5*aJ6+gYZ7zXZִF! (]ŗXiɟ1$Cܨ }X 670B"`}CXoD_SfwžMV081WlJUi6$4ƗQ]{`6眇I(XwXI"/nޛ;wGS~3( S'Eے$q6k{ͲECCg_+SZ['w1)}`C][? V3e mU25Qg_ǁnM.(0#d]~BBŊ`X#@.u>omאPψՓA+4gYZ7zXZִF! D]ŗXi%;L xīEL?;H/1ɳxT4_ѱ{AfT8iM;&A9 U,oJH1KK/95uKw9{)ԧ/{[?Y8j-TYLWH~>sP+o#CN^H+@AA rYgla)vHl+T-|A Z(N3C0gX4#3HD:9J&Ο(L(-D83$8O|W# ǣlc6MQj{<83ƃ_۸֊閾ؔʥLeKqWo鹇뙴*k|2W͒6lCL^›)z5~=JƩP?uΕl[ǰ]y [) 며GnǷ:iw@7" *7*%%NsYRoJ|9Ԡ.ybM~w+*t}PR \ϓUl}Ad8gDkv,;%wGlW'bS}h) ^_ |s;N%8(`\ECF^Mm.>z%l={J jӅqʞ`νY=l{%yF`cwp 0d]zR,*tr@wKHFb=up4g1 (gg)h5>捇H7E Zq2|Q1-6WYmLxў;4`o`rf?P9e'YziKbu=.c1@S\g8Ij~LRb7OCy ӡ_[pjnyh~I]S0sҚ;]SGFuP13qNwĸ,kN9tD;s3 Cƒ`u9'a|hD'@x0 `^HɐYG[!عܠYIV$BTQ8GQAؚb P0M-34VgDU76l@SWg:8ZǎD?*FB}{'eC˝UeDbAHH7"2޹//jYח/u9`S_'6qfezGL +XB3E}mhF6Z& ~ClV0://}"AL<]Qv`H:]D}3mx'QX"vFREY$.ӯCk+M@W6;W"D }ggs ŵjfLL-TVVIW⑝CjN5¹Ua"FF{OyTb՝L˷kan/^fУWNdtk]%<_@{~O| GBMnSNn.b