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 / d$ ;% pGCL:threads=2elapsed=35.929cpu=70.700gc=2.136factor=1.977zXZִF! 5+]ŗXf1-/6vR]u6bk;_ؗjT>|={@R ❓U|8ߎ['-#aD,%ߣg:8^hh(.fQ&E*/Rw$gZ}.F\Qה/+Qj _2<1EOx bJOkc$14pL"QIQPLBv%ȟGE!\ިi|Xi(#c`taoDX@uq !LjZr]%a8ȢTd&-cdTV: h }} ksNBXAP _ ly]C76oW \-yRKr P X~wAМQR=ڎ9+ՎjtXW˲z YЭ#FyF SǸ&4KN:ϲ$BDӑjPF!?SdᤣG[I]DZoB`8|oj:FQfw&߹nC9KN~SGhEr6jSTq7t)"]Ouj*c .]}6ᣈ'8 A[^a2 dOÒا1ErkNކā]/AWԀOHjtYiOV3x.AۏRM[e~v 'L]OR šTv\Z+,\NNUX' [nI޼U;ukZXf=rt_i&nњԻӱ0 %&8#Aӏ7讶mqeR#߀|D:Ąw>.qD+_.B[*<7fӍD@$`cz,P +mɔ|KjdmpXz{SdZZҾE ]|J@SDK%Tw4Kӗ+O f$\ͦ4@|XuyY H߈ kkfYԓ GUQNRwdy:T"}T|}7䓞|MَTX۠Pӗ''S W?e.Puf̘Cy|/LjʛkIdmEo#N&H7*&+@Ǻ9[]?kNa9BS%/^݅I{if]* wkI:,ri&69 g/$~/ql9l.nF(HѪ%(x*zԒ7|yX([+6Q>=wqO!"ŕvIB;(0!>Gʧ>~1-(cpНl~T%~`nQkHA0BChzV$?ECtۤ^{q_-T2)vywͮBi*8a*H֕I<馎% ~R1ࢦo UKw4A( KoAv7μyknR393\ּl6Ios(?VVw7,(Qa*V 0_Z!W2S)z^K.`%u~ yXMΝT|IФ`e\ zsKV5.' =徤_;Mt %blF__q9n}'#eK;۠Q 2)̙bxCc n FGbT)⪪k;n;I+:s*D~`j4Gh9J`g4[,ylqM_.냜3K|e_a jjVYA;{.׮ɓzi#u^ui_8_Umc5w`P7F'U#S_ Ӳy} 事jh\`?`JҞxni!A/Dzv{-a&ӍͪD_ Ҍ%o#s_w](pn Jnme\(rQTvɶ:2<$^]8ߛn5g3m]kqT7{䗠4 IЗI) 3˩"ǎt9( 09KZ&0x__IR"x Q2pNal,'<Ѡ~,I4 <*}-lMaJ'??}^댺?hNf*V +|$bU۶3N}{̢33u {ĻR2>+FWMGԾeJѫǁKoBrkViħ0'$3zCְ?as-ēD29Ph̕'(28q,\ױJ62-譜L@&iǤ$S4Kq!Kyh}@$4.,M& ltCMn!MPe#Q]?GhM{v,T/Q{^Ed tV8T`'0űgYZ7zXZִF! y ]ŗXi%sr1muR'K_ev#; e.g% u`E7!8[ fZCܾJRe,Q!KE'p?<̼]'PaS飇͸ᕣK@dC@eҹ irgc۰q*թIDSP8h{=y62^+*.R_yײW֟TgT B7IqwRSM ؕ%aA]7_NMwE5|kIUCXCo:wRmZo*?gw~:o@)_tp!f_7֚1f&b_d*+!OiAdK w!㭿Zf*;KeJJ=  ) u/9O6GLH¾TI ȅ, x\ ;;7H|¶sxg~+{vHC ́hz/[QoEBw/2$`iWׁ0Hn)Lj Y8Ҏ1( . _G>jum{9Yz4n HQZXזڍ 64k/ɠgLDV*lYo\h=c%0}R*LCĭ=uVA~͎{ǵ<МGeIx} Xd9n,a;Mq5w[VX`-=("y$܎I-+3abV&%*jV+btʷ.Jm/kgHsi^j~}7`s9饖Yr+F"ضsM* MS@Xe@J%ռ:҉?_fsS=x^b}(}~ B h:!;U<,"X~tFvצ|%~\KTFqvD68mG]̫=k V854ۭuŇNծrqxB)rnm/`Ӂ$/ 1v$m< 8[eXp4ޜr$Uobu洨I X$, @vq뜅^Y+JतAm;-k:z{|X 2-!;=A-+#>Y :-ap*o\E\/ŸLtF &8̑z9 HOJ~kLV6_-ãQbkt.e.HU/M1oj=Jh03G=‰AJREBJHۧww;2C)|3wF#$# R"WUҋy+J:v|nofƶf\ֺwXF Mn |;͹0 _*gqLVBIbKsFJVGt镎p֓.gkmrcЏc0|*mV2nGW$~ &P*^2,54FG/-ѹ}HД9A%+@Vx:`+AH koIr؊!NI6:J,EcgS앫 Y6d䴉)w3onmQj j)duÎqVeI= BpLX֊ ?-=FnO+7lUSH*A栁>g嬎d#-BA ?)]E C \p+؜ZGyyM\6W1p3pXY\ =`&54;|K̇˨<},u'l9nD%A 6ak<dbQ>8 5yBaBX{ ?}ب'-5Nw 4z_t.;HKT[9݈;rՅ4%+O^}'tJ{ X8wNY3-IѐuH봔.pa7e5f 4yuu@Zӑr@G|+EYV[- 0n'xIfDhA@"bX25V/l.Nd{;~.=I\;~)Ci¡d.k&D)Mpv0ݤg]/o|Ol '$<=dDk|\7}5P5uMr/b^u%) @ȤC ]h@F@2XV% 3莔v $VѰ6{XϗO8aݰ<ӃgYZ0bdddfb20b3e3545c9b9441084db519302d94dfb 0e5baa370de4782e7af932295a9f002a78bcdc31 1540a81f7dd4147898b3d2926c4bd447083d59af 1ad9c9bccc1dc66316f0d6b7060bd6fa4b533654 39bb6cae4dd4de1eedc666f2354cdb04d6b343a2 456488d68ee9a67bb998f29e90689c293dfbe922 4daf2a7a78cf5c04b805eb7f5c19170f6ce6cda9 4f42905dc9d119c8efe281696faa219e5e7bdc5e 55cd8b098cb2e43e139e34758634a4fece59f9c8 612de86945a5fff11b91d2418cc5649efa8f80d5 7ebbb5d99f9439d08784f3c772701380f386264a 87c5e7d9d46fbc73922940f697d0c2e5c1391215 9197b24aec0efe7dc1ab5442b83bf440168f02e3 936759caceaa7552551ea4b16845bcad8ea573fd 9e869554e6081060ef6246443e69d02c6633d786 a6186a2314fc46373e5cab6b4dd381c33d7058dd aad4331357ee3ed9012623b48b7446cf62914eaf b27b2f2e38941acd77b9495a025b3ad00505da07 ba408a9023544d2f9d88eaf7f446ef69a174bc9e bdd3727f9aee9c34e82eede82ec9bd573befee02 c1e117b004c05bf9eeabd583364d41446986dfed d0d78c9e37455a89d3ce23e30332d3762cfaca8d e29ac340a2bed9e08eddc7fa678d855b97d3af86 fb02b943c1b40262ee5d451f33fc693a449db4e19711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 4392414ee18e21cdf5931c628c2aae793eba06bd