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 ee\d _ HOL-Bali:threads=6elapsed=60.363cpu=202.760gc=8.900factor=3.367zXZִF! G]ŗXf1-q恈73w@9!Ӳ) 0y`D^+@n95Y<_,l,խB5De/!A?L Z`5&pWَ؊nX.0Ae5r/^?sIdtjL ר6@z,$q8 ttm_z$]ŒT|J{~5LypE+wbXu^1[PdqܤsFd@>$Yk0nyW_IO5f&m5sd) ?q,AP/űH=H 9K-T a]B c!>.Auе80Ra4X *g{y\!a9p&&SYP6I^.+.I'/CԷG* |Wk[y-Q2mI2NT]0dV(VWX&m贔B oIzBܼLtw:;9BfѾ TGC)x-) CkI(D.C-LޡCZIB÷+d}5ehٻsPUZI{q+# *el )ہSVjZJu੘Mz]임B@cƉ6_.NfW}B((/W*ل:K5O1 ;5br5E;U1'b^)ᥑKCq :r;v:Ғ/F/_ ]C昘(u"ecbtC-`9脆_أ'ՇFl"7IZN~*lx>}#E홫Mi,CT:[mN9Y_`FVsKxūʞ()7P4´4{nj.Ԟ%-VVG: 0z=ɞu iS^F=n>}T^nOdA՚R|"+ʽ,]'q&:>?$~o]q$Rz[r)e 9[gYZ7zXZִF! k]ŗXi%ۥ6aaܞU>?$e6=6)[*g"'W&bk)Ljr5L}7^fUxNkȆcu`U8l<7>H 1?(yb>JXTRZ{`yH)?7W2@ҶN!i#bw2zy:Nkx=AؖvzRR! VƞD}D%n{p:!#I AsRiΛpfЏ-jv 0'[i*1[afKٹ"8$ƒDQ;w3kK!(HGj9F0m pC\,\$&wr䠥!ڰ7S៶hni&Jp )3쩉e ȳIrHiaUWh&Q)ǶIwc?'wl"8NM3;OK۽?`jb@'] \.$IZz)1$/A)B窦&~ŀ 1gbO}7&m(UseU7-q9 ;M*Df7Ks~&+[7ûHGbn1n1%1&e U`<>.zI9ʝ*;{\m8:9:w:rPHo8&F. CkZDҼýwܪ$pz8#_TDG0AZrvKD[4! &]YS1ȆxI[-/E5x*0zjP4>5C:tf7.0kD}$:t?\"W eJS6?ה>tܳ<AG_>&`O_03Wyj2\-o9Mk =el5T8NStTg9ZgNDi44PqjO-06=LG)1iҷiW# iХ iكpZhǔOX:uijQGuVMr FU Jؙ|^j V98C@d(Le?% !3W'}3cX N2LORWۙj5c%\ N^u+6I:wQ$_,zAYFAJ}>Ty$DscuV~5PcAS*IcIDr]qQBIYU#>k"ϢlLJD6afDbIfI?Kt@/z9Ҽ:? #"cEij5ѳ SfipOO~IJp=C1Ox N燲@HDlCa10vin?7Ֆ_Mr/XCeNnE=Q|X=ʷ# YBP|m+"6R#F 1)%E4aG,FK鶱[髕Ts9hc`’sjt`ڡp34=O-0C3 X!2HFp ld'6 /wzݔ3jcgo- k%|vsRmل%j"LM-+6kj3,j^J_1Bt qc(ɴR?>Ѧ+\qhhMcEW¾gV_ y.*^4&^VVm@GpOV$>m]YxY]5Ҁ{i}‡Q8 b!z;3L I/v$ŘVaן:;륦yBlju\'xfz%$rW3ۤ?ZrrT_QN_ ?Dl%# SW- +yeҎ}vmi>Al+0Wjh'Ɔ<1s|iBqd[\승nA7aWG83/^o"Qñ~QSw9܃2I`8c ko-{Tb?U(1[r [~Ktw۔izCGP J8Nwmxscvd~,ڀ py%,c8) D!PlMA_ޘkx+D'D+59uV̾k.JVf:4~*7g3C9~ 3,|)APub2 $ lŝ [TtHAfqĶX2t4pTeřD%Mx!D]E.p1cPq_U &6D@, 'Lh08iWS ??:T .&h/D#7%9GOOZ{/؀ R[Ѩkn\b ^]:xTE}%>q6+.'S}:UuRx$8!p$ǡHYWE@|gm2FT&#_gYZ1d61bd41b7c5765c7c22059ec139e91e3a8a273e 20c23879fab5e4214a9207e09f84cd3d6a73ca8c 2f3ff0db0ddb37d3baf4bcedc2e9be8a010ecaa3 3299e28da33984c23c8f4e0a4b6e4c8558353d3c 36801034d896b236e7467230dac165ebe7c0b6b6 3fe4540cb7413f9f901e99af65742d8209898d1c 52cf19753f4cc101c53b9754ff163bee7d6d51ea 72cf4d0430de6be55dea6de763c19c94f0bb40cc 7968a5176659b1f867e0923f4ea7bc1137e1ffe7 7ad5c05a09593310abdc9bc7f02482d84576c05e 8579f972454ca757444bccbab6239f4e8af28ca4 907f38f57a24e3620e92135b5c8d8f10c7b4ee53 94db8c095db4b558fc2e24fdc9241f940426a436 a17513be351693f499b4d2c77390120fe92cde96 a1d0adce50228f8326f7d2fa6939b26fda4e05a6 a26d656cd49741a44856501a1b7f4bcfef40887c a88ce6213eeb3d2840cbc183a2ab07e64fb1217c b8d4baa4d8f38e6a19185afcc81d737d475d5390 bacb19f11615a1099e691d34daa5ca1f230fc048 d12d3cbb1172f36a0d4aabce6f3d42d9d0b80475 ea3c8c7803625888c491700086ab8c690d645197 f18332bceaefacaad4deda93cfc03e73562bdc17 f216e73e36408ee403b664174917affa2b5d104d f5f9986aaf2dcefc1777478208ee4d0d0dd7a5ea f67fdbab3d4d839e5491743ee963e2cbe0513ab8 fb8dd87665f0aa09f8e43b43caabe77d5987a3feb91a3f2e818b0510d726666b0272511f10b50e54 22dff0657b35c8921184e6e2b14a3d15c6bf0547 725758c6acc3401d6d59de3c3fc374056cc49661