SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info :'  O/]HOL-Cardinals:threads=2elapsed=21.807cpu=40.536gc=1.540factor=1.867zXZִF! ]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:1)]ZpcC 0soDJ`WaOKWPl2)L_~>P 6c?e-K^6$ "$@g&zu 9 ߈r.1J'BUf)vLr]f %غ. upԎ1I81údrqƸPQoJ9ӤuD7; l7Ֆ;|/6kSjH hK YV=!BD!2Ձpp ֤*E+<{?HYAgL_~ 9.IuP1oըA7ƏKʓ?epYI :qʳ:tdR w0zҝ&u/%4Tn\.1:&C2J$\24JV->薛pAlojB~V}*1E >N4EP# +tDKal%]\+Jnc-UFMxMY.tBi e7 &Vkދdq azP[$z HyV)O@y ,7z)6׀/Yߪn)~?a/> ' HOL-CardinalsǴ_tVc6b 'S Hm@\K5t4BUR37RS)E {)pTF6!ooJP0rLtnhI[.@ԮmKœx&Ή>4p }Gh HՁYlQlf@A4R% /첣g]s}KVm?;-q-7ȑɿ":1Y9O$nTW7z͉R@~%}oႬT G9 dlkK("/ql¿jVkC 醹u ͣia1Bם)`M]vdfٚ?AI[`t@-ӫ%I '+ g kmbܤLJz d'(]P!c{o̥HIyWlO!~'AL\!4!; MnjvN,˻OaE02wINd ,3cpZg` [ 0g]i&US@DPH&Ϯ%ۆ h2JzO*;>WB<^֜%olNBA8=,~>l1_C)O53`pX,F c A^5~q'OߞzIVwob{1d(6uOspaX ~uh$o?SY ޛI|Ջɰ:11t0D3+TZoZ폰ٷc.At:y5-a$;38$!*t/Qy!ncYV~  QC@r ~.A?2?h[D=5n ,׭vZ bAڏ ZR8hh #l>cSb27DdHO$fItNÃȦf;A`T4|EԪA Elv䔿G2_E8y8Z[EꮡKV#WSms˔%59,p ma'0C _Ӽ6>_I1 hOPVHi] .U&bFh{fa=&c1 98|@LE\K_$o+~Ϯ +BQYT-P)4/X*jCd`ķp2;f ^&" `8$e*dE<ݳ8I]ī:{T]kСE \Aâ$bd6 p䄳O_ReX=WV+k':6ixG#вh~mQFi}s,1c[ G<%O-z!l\G>*^wS%X:_{o9Ŝ}͠P!q`|&ĸ'Q~Yb<:OQ!, YO}BMŒ}g TVYLߡ&d"ܭ12bU(|7ΡFDߍzdX;R^SH[8rl0c7^iwr~i0[Ȁ}ٷ&Z}î7|^c!o&}X!VMvŝrLJ旊z먁վ%2OMd8j"-D{sj, Fa~%gIE7Nd!Q[E٢̰ېh +bUP/ @֙טVGdUg 62|ݰ`\[x~xbC?{A|&]]{udb!lV81MIm)U͐:6O [DT:A(+. %Tj?DŽwKH\⸽Tїe2iN |,ܿ)Xb哳Dr0ܕB%-K wn}\OR9{-U8P{σUO ?|O xRcXy8IEeS(cS+!ٞl9Qq$[eX`!)r**-,m/y`>FH[cg+[ TV^eX,XW~Q*utsº\fUƄ3`dp>]ŗXi%DPQ;2QW ZL!7R ѝ>G+3C|*rDyw0Ag IznC Ś/k/@/$MJwЮOC7ZɹְٛE:b&L@!tZn7O}.uLdsJOvo3ރHUr`M@(-yReזX,U~DAZQuȬ$%ž?RCdB@3B*H澅_ "A=ETݎ[Q!Pe žy8C:nSR$OK5v"m$BfeQ߰㭚I35iOC(*dbyv).~&8˹:l9#V`@ ` C9В 0Ov[⠹fF*͖ė`Y=XbP;>ƯLURBߗ3Ց^S\hf9ھ%EѳM0PC2|ԝ]sA>-Kэmokߣ$XB9m`1/v':m{5U|Xed.W⪣&ba 1>՛0ij||I|hQ 1w͆`;Xf'mi;e9%s'&qxk vߩ;Gt# 8rxM<5Ne<)[45b £{t<-M͙@V?f·;8Fp-N>J܎mEOͶ?R&EC^ rK7FV-σC\ay|N8 EAZC$]* k܍Cts.E˕41REᯔ,|!MCәA9!w胝 ?1