SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  8 8=5 $, ]/ HOL-Record_Benchmark:threads=6elapsed=102.264cpu=181.916gc=11.484factor=1.787zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2w@G2TԲ՗!WUj6Ifn)fe`:cEX/\JgYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h0!V/TtW%n{#+1[>&iebk^{\*}YZ7zXZִF! M]ŗXi%@drFم}s_QCY ˀ_\ 239* 1 7XhDE F]!40=)!'OR"SఐbkLIxbsR!F5 E1ub%<4șLnd% Lf#lOLfU͙W3i)UtgϜI~CdgR5B\N,@IYmLpeH 5ivHz).Læ6L3++hjg5?Ѣ;Y[Qܜ=uWbxXɏZKqT:jX|j5&xrs4pQ_I$,K YI) *q>B[8_ljM,ZNe _v$ OS Di2:1{>RH^(߳zPoo0VcCay9ܮ<4ի2c7(,GR7Jbr\l![z0A!JWg;Jj"BE@?Ç M\]\4RԺ-U"Ȉ)>w3 ';2P@ګ\B^r 5S뇊U۹֠v6E-ʋ)._&ѿ!gABݣ4x@ ЅVL.’5OeM P~HJꗓKMUe(2zeRf\d<ٔVg5ɐrZe"s)Lrnk9h\'¡ @7QvȭHLْRq^³sg_e a5yTV>Xíw_SD8Gﬧ2%7_HZbr'*E2l^ N D&#l)A|K䁺:ZNRJ-"s7t\fdA&>Fi, pѻS|J5wv |^sk 5$\W77H&walU&jM >~b[Qf6|ҨĹLHܤ,)NKD^ZXR b!&J_- `cw+aEp/+My\2KF ڇ=NMAz| E78ɟs&v/tOl}Fe?6{!'Q~pINN\;W5ʻbI~*ΫFcy,D= ,j\iU,D~ܲ71*/gjUD1)ltsט$#%Z|v~<{DA pķA⊯2ǎWK2uNQB.1b.4oׯ16MI l".д i0"o av%桧˩{ʕ6ަ) .cտ a0R>BânE|=! ; J7sFK8l=)xR Ʋ=1xG(xIPYlmM@H{L% YE@^\ȆIo\kqD@*öt $&GfȤZOպW)!Wa>QY̹ rB6X8s(M§|5sKd=V9Ac={_2,|" =zU8H0p"=vp4'7/zNvR"p힥GgD?x p`TːƩ&\{NJl)21nt !oȧiOHB+ _vrU9*m]37hg\kR[sFi DnQ1mK Es6$ǭuErg^\`xZ=oqg t'snhmF ;6O"/w'=R4z`ALsy}©V<ɳIez"0 )DZog* ;I{ts4]X6#@p5߄)z+tR?3 9t퀅ia#`q\"QN7nJ{`}04+51VpW!,-٬5GA͘YOe phI<9n/)LB~}> {Ŋ!ߍFxHeÅ1qL&._iY?;cL0D ;FqSe퀉hmmR@HGQ{ 1#<#*k |Z̿;0cpvGuTbB{:8v~TI5Ԡ@(Т; GMfZb‘@Yk@Y:q 0Ia\J7S+JHɳW4bK7l{Sܹ>!`GA}z<%C5uZw J;5^7yxOvDsځlչAhϊ*QDn 1\n+7Nc:XSSmXj2N~,o#4dh?"B[e\W9iن]xhƒ[Dd@@#'UG&.EcCÇ0ĢlG9˺9j4%ng-N&bM/گz<)wʍQ^9m!PB Of=>% YlӜ Fԟ|U:)+4=^˝;?-u}0T ǠMl6X+ERM8ܤ\jJ!cG~^C +% p{r8睾h8KN[h&EѓBl٧ϝ8ZD%'|y8tB+R TD|p0<_` ģMt0$X<w8lzBŔm8у+Uq%@AT-|IuN3BWQohlw9,k8h9nŏKH [EwNf4ET1M:JaI'QVF İ'Z#?>jD_ԍ܋F? p) t~f xxgAJcx'lh9!Qh2ֻjZ]