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 Z7l\ O HOL-Datatype_Examples:threads=6elapsed=86.255cpu=310.592gc=27.796factor=3.607zXZִF! QX.]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQw!nۆ\x/zf~ͺtZ98<߃{ 7pYeFsw=-}jf4 Y³W X<˯\fZaa5dC~m]}1DNeٶ+r,WN4bm,l Ќ5 F}dN+X@V@Ac.]ԎH ƑGqaQX7K=:*p5dIy},8Sc4em=,hGAǖ,QS8V 7 HOL-Datatype_ExamplesϨkr;hW:Ki }hҫ\fcÝAșܹnRpf~hn2&/;hlяry3~!Kpb'0#62 f4Wtevߐm Y9\A#)2H:pE7n(ߎ_I)<'T-K=7BG o?1SKxcC-O0$w T ֕$"Ox;0]|/eBo^Lݱ2O}BAL0FnQ¾#kqY8@ pQ4 mK^'9k+V lCkظ-#0Nf4)У̨UDE_s^ 1GDpyf=|@4ϱ8mFeq?o~$d2 $yϧx0a{p } p~KH@9)uk;_phb* 5؛DI1HD%`T@?+=SwM*uT=GW4+3 <=ߠLqTz[\Avo12b“uO<)ip8W/ m"!WV;}Iv%JR5F8l'LOBmNvgѴqlAz|lexBİz//E)H9֙`. ˟cL4\MI&E&b^@!0❏~Xx%҉Hs[]2pdin"TN"`EaΟ,ZEÃMѤUXml'`D[sը#]dGkktmbi(h׀ qpTY/]!mҵ57HId&&H= HX(VgZ/>C=b묅P||çs#V!Wc+^>wk=i8Q@O ΍L6tK\YȬUU'ǘ#glI}.>/SN2C`CQmB4+&uX\f \ W#\=%E;[_,N;c$ېʖkd޹2;ܧ!|#@j4.ĦE &S6M=Kkf]`mZ PJ Iz,a~CS'H4jK;_z ,zLhjhZOt@k$$ݒfAؐ*ZL[ž` 6נ/jBru+A(0^q|':z1y7K ;θSӱ=6s!6}r6i1c'r;RWYR l&`{uLȡMILyPDbާY];XKY ՍJ#‹t03Sd5 hvL9]VDI D p8J̔ aX%k0#<+"TnmL1i/lo>k -m-F-@qDćlBm¨G^>Lr@RpdmLZ-ѯlVVɲ< h4X飯(EMNJ `Ormg>BG^Ŕ49Rr0iZmQ"n2 ,SM&dѱax w]|I`| aklpza>dbeZ|g^H'I}&f"5$ \\ٯW0:b, i?NE(f0nK)V@v Tfp:On>e A+؂f}XᎿ (\BK?!5m}"?+N9g;wKAP"0¤|]'q4+r*~ZU1_p~02Zfo$^fH.A'jOW2ɗ.ί+r"`#e>V dHW&sb.A*! ԯS\氄 8>9LK tʝoTM{U+$х/iVXΌ3f(3 ~9uL/'/WA ֫*(3CV"h{^T7)e7<Yc*bXެ|RlH,Μ7o_\u@䊎kfy0cc&&ݚAs-U)o}Wg<}a4KN.Ogesj'}aj qYe'1ˎՖ7[A40JY $D@K4Dw9؃k_PKG4)vN.fd+ؤ"6'ЋyWIPsʣ "@m{ yh |Q:)ߴhP$hrȋld)+5kUΧT8,<~ ]1jV-$&0z<񠎍UcpIu*+2L@6z(' $ Jg\gbKٻl&/!qFtҬBj[MB,d xF\ n'`+dVH˝lXz}c@ >o=$Ȯ1_@)4b`}dd#9E+)Ơ/ݤ~/[UQH R%y R>縟7iv$^ZA`P.LE~s) `/YO>;YFS+yvE!МP5?Jz@kf$Wy]%S,}-Pp/atʄ`a ,S87<j{…iD[5O.^d-;K>E!PZ~Qiv|R_WLv䋇&h0~:MD)ڼ^:VlG ]ޢw$lO{1 cL+YY~mG"ۡHNĮ>hF ~X 8&Z?[^۶h;;ݰ|-~p:I)p]]`s]t 'X;FƧũPǰ2r`VE{wAAT3) 54 rю^H8o]b?Ho7p7:N,2z՘q,{!&j"qx"])?ɞ*8+ִ8ѣ6#`mydn<ueU1Ic)?4?I>w*r-1 AҒ|I)SZ-}FbZ4LBXhmٽ?Kmp:j?RS╷ ARɽZ+*@9Nd lͱՙ ᮭ7X %B?tˑżM,AkR*O8]DĈ{¾IQ9[[J\4 l7=ˁ[Gc/q} `~HbFmrPT_.JW̜2l܌^ʹ(zVsśAn y|daY?{E?mTˁ~.qup&!|(ܥ>&2 rSRƥTY? >ΓZ}Uс^ ea\:Q9^ų}֫P6+Ry8l+j:NXk%"0Զ8W, 44 j;ے(5a#?`2gTC!oK@ơ+naS+@1J-5Hl݃UD7Ҥ0{{@\ݏ1 H="2T+!i𹣴؎P|c9f`bsU0,v9EgYZ0587b778f6bef879f999a5940f95823c3631960d 0e5adf75e6b97c4956b151fe0cb2e05c09b87e87 13187a4aa62cc0b4aa223059ec6f092680601d79 188772c8cc0763cb926fbc73250592b3d1fc2fd7 2ccb944126455a184c05f7f74b688fd9a11c19fb 4e44cae70dd49c4de22110915d4d7ae147d95218 5b804a02f026f0c514f3c9b07d11c4d7d7aae3d5 5ebed541cfcf29e3e43ff346c453a6e1b69b5793 5fc73a9c2bb9c6f5cfe3b1b6cc4a8d5b018f0361 70d9ea874231a0d1f29fe736dab1cfaed4d7e7db 97deb1f6e9982d18bcbb623ce6f3a82487cfb71f abcffe35b50e769314d17a49e69cf2b76e6a124d bf76cbd55e828093dc45c8b038ba1da5d71b41e5 c30b02fbcfd250c7a4bff57f0a40fbe5a596e36f d5fca18ac4191c95387bf634e3449c39abc4710a e3ad14e1344af2ffa265f0e446036ea14665e0f2 ef80661a56d1c4702656e82c62284c65daa3bb68 f65eecfa15c43fd3547ef3e698c3f14c7734a09d449a3dde0e28b4460999c1d262ea552ea93aaca9 189db06b3ef2674c38e7597dc4d6e5c65cc93af8 5457aef68375e290f60ebf7493a8bf570400293a