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 EE0d _ HOL-Bali:threads=6elapsed=61.853cpu=206.560gc=9.040factor=3.347zXZִF! F]ŗXf1-q恈73w@9!Ӳ) Fz_nU|!i"JYre@KTJ!KIjk ioԬz!+L)P^] 9yEX kȶïJ*&L"pgsnKQGVeV+?#k, %7wH[}GJfy`^%5̰x|M}LB&5Z tjs\C1Yu .O48HK-g\PًWǍԖx JVð`+ٹo3Hw3DepGD w/ v0h; Kˏeu5:DU}6iAn.VhD[U5~o<)֪-a/s{RصHpS gc z 1{m<ZFPR{ 9 ozrKL>$zN'b\")Y_!gu^k>+ټLȃS,bn Orw*0Y$I5"W뢁ģSp% hi1|$1 u>C{NHB̶7RZQ+C43@Ɍui:\ȍH2X &\g>>,r8肠s%B^u*V |h \(g]54Pw|կZTN!Bf(19U)@ZEsgf!o:<E.Pɭg;^swtKTqc>LI:$ogo+%WYj27м|'J3 ݭscZ4'.q|0l7MxIruh[H,6\Zyx\)gd|ųQ<|Vڍ^?gYZ7zXZִF! !]ŗXi%6p֒NZR"8H/;Ǫ6 R G‚Zo/L4[[M0 V y*M`.7'O1J7l?[tױW4H_^' ZD_&~ll߰WvE:D_IV#ݰ1)xU+pS&QTupi4H#۳pz͹?IqA- f?V ͋>.eJn V,ye?"5M>BCݸ:?kŇ4_SY9ŭ"~g*h7!湜\?=rY0b X7~C/.y:NH^lQ{Fd7=v%`jo(Y kǧmsr+@ 0+m1-M 嗢\Ϋ(qbd,Ew6k3R0 JNAMmE `  /λVh9]FG /˅{+R0=/G5t WV. #<]*#2兦9O*Bp欍Wf am%6Rs |E lGM?Bq s {z4lf5<[W( /G^hNdZ0j=x{67WaꚵqАh‘P>QZB17)@G;.3D(199Oԕ>[`-- b:]p7p,_7V"jŧpF}2DQra0Wh1 |d!:yQ˄w碵Z%*ө/נ&=L~T DLr &?f|KvqAoε|9"xek|2gt )3 c3rAAMw4sgx%{d_8q|Tb^ =F+p3^Ayt^\[gueɜí~2Y€ ORa< oC:h&r"w~j@ݟa|{>oZ\6`m?N *˅[{"8-͸y)#~c@JMN(:"c7wuz4 C^|fH嵨&֯kzwRTzAZwmT_kr2DEKl 2 bvoDr(,#YUJK Eig_0e>~FL*D5zA:JȮB8Dw^TXl:۝$\֗[pY,VYzvŸ/L#7qzҿDB-{!D|*۫\sJIS>5EX;7;B8ؐj́ Bq\+ΧCm,jQ{DɊʧw୩'hiٽ-(_D˸nL#!M}$>w~F3.u U: ,eUB:D>~<U MBH>x&KA9AgIW-4R#KU͇ .L}-cHg5!d8ڞ0ʻV (i|pA۱$UQPq6 E f0Zx|,E"TuBS6/J togALNGlThFCrrd C@!t&bw RVNJr=k9G/ [RO3~d"Dnh:rSi:AV MYhg[nqui#F[G51\Lov׵R0lֻ hȳӲTߩyvౌ /;;,ĥ{es'b@&RUg& Q&&'{HZ} 紪wƬI?s*b۠DkZ#Z 2&_g \(Ӧ:n& vaݵ#w —=SDX%nRDA; aE*BGٿgv렚>[5й>[8 ]^?-€zId3İn2E8-c_ Mo?Dv v;9%3F7ywSiDͽĺq9'Hg$yQ ԇE[T5|̺ݧ貢q#Z;>MU&=O˫?w/>Qe-k)+x³Z1 @D\5 ;9JH:o){oK~5%P&pѐtJ`NT!YUjQ֋:/7;{ȖWo#}GA Htf.~d@̺t|ӊ)ݜ/ҐHsQ%5BNJt8H pss_jA'0x#yzR.ӟOk3`4VV:y}v^#bCMu.᯻wc)(,.5m(Ce)አT!x$|VWf?>뵩e[Ҏ,QB8Fwվ$囡ɏsZݩ;TD_P$k PX0M$YI85<AGڞpœ}Z{H{Qfr# ~J4\sA;:C^Ku3NfY,£t-xIF2B:f`^)KTu|GL75;#)ԱgYZ1d61bd41b7c5765c7c22059ec139e91e3a8a273e 20c23879fab5e4214a9207e09f84cd3d6a73ca8c 2ba4578a358ed936409c6899182f2f00b9dae79d 2f3ff0db0ddb37d3baf4bcedc2e9be8a010ecaa3 3299e28da33984c23c8f4e0a4b6e4c8558353d3c 36801034d896b236e7467230dac165ebe7c0b6b6 3fe4540cb7413f9f901e99af65742d8209898d1c 52cf19753f4cc101c53b9754ff163bee7d6d51ea 72cf4d0430de6be55dea6de763c19c94f0bb40cc 7968a5176659b1f867e0923f4ea7bc1137e1ffe7 7ad5c05a09593310abdc9bc7f02482d84576c05e 8579f972454ca757444bccbab6239f4e8af28ca4 907f38f57a24e3620e92135b5c8d8f10c7b4ee53 a17513be351693f499b4d2c77390120fe92cde96 a1d0adce50228f8326f7d2fa6939b26fda4e05a6 a26d656cd49741a44856501a1b7f4bcfef40887c a88ce6213eeb3d2840cbc183a2ab07e64fb1217c b8d4baa4d8f38e6a19185afcc81d737d475d5390 bacb19f11615a1099e691d34daa5ca1f230fc048 d12d3cbb1172f36a0d4aabce6f3d42d9d0b80475 ea3c8c7803625888c491700086ab8c690d645197 f18332bceaefacaad4deda93cfc03e73562bdc17 f216e73e36408ee403b664174917affa2b5d104d f5f9986aaf2dcefc1777478208ee4d0d0dd7a5ea f67fdbab3d4d839e5491743ee963e2cbe0513ab8 fb8dd87665f0aa09f8e43b43caabe77d5987a3fea5177c942feb837539a5f6d15e5082ea258ad909 70dd9d0298b19ed88e0ad62212df29b34dee6145 5ef1931e53ace253a8843862f86b1bfa31764609