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 X/ D wS Old_Datatype_Show:threads=2elapsed=16.768cpu=13.568gc=0.384factor=0.817zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"O^03am{$#~zIwN~_7q9%Dى#%1֟t xx8,[k69G[ }7{6Kym<ǭVy7O`-2 "܅%?%C bwimJXpmXLn>0dSr~҄օq9LtrfuM(2> 񂄰'[m Ǟ"ntw[|N'|1/8{t9]wʁ8K]=R / Old_Datatype_Show2M(Ydo/&Qd)8̌/vґ玷- m},u ? WNh)ΛK|hhz6p0'$:`'dvB`b zX5O8 rm{FLUW`ok~NLf\uzWRvL_]1Nr~n,%+KYlHU+n ӏ \jVbV/#$KЭD3q `V1Seu6aҘE5 xCf^v{W!:fo9*U HNDtW,8Hl8 WJ'!qG;AOgYZ7zXZִF! Q]]ŗXi%HVԸ`¯ ԚJynA[)a뻠9-*@w;;IJ (U v 9@AWɹe z`3PnVlMwE>竸4‹{GSɊ!F[:APˠ+\ ]A!1G ܝ}M2F|#P7f}gWkfx6zµ;IC@t:>!bnhB50 DPw+؀T)ߗ2"5x2jZky>T%q#dסpi"S!p, BcY^jvgːUZohAAcg!cuF[s$(+gxR bI_49,K]~$T+!1:"OcxD #m 63]'~"*$yi[ טw}A $ُdl61VeSW7hHBCH]N>oIH`˃mv*\?X$AX6FlTCy'cb:!\V Q/]Lņ&Kn ymd{X(~-HwRxO(dFg`"|D4tQW&sm }Wau}Ռl7#I~4^ԋJ=ǹ̞14f䰕05sAYjߍެrZT|$_+5}t.Y@XǷ`4QH1b::;;Vt)\^4 ՙ.0E=(df\Y 2 _#Y' 9gD2=yw١* F&o[zA/U?vitY^ޝ^>>1_N[)9EFdQV$^1 3zL0D *:$!Or | A+1&L ޢ̱gYZ13305432bc3653e20afe426f74c9f95e21f296bb 71c53efd96ce8de74225c95ab93af522d4677a3d 9321b1493941ea7d671ee813515aeafc2e3ea891 aa0c441ad310dc5f1ad9ed1df4cf22ac0eb3dd6f c9d6170601a0c08271763a38692e57cf22fb5bc5 cd25a0e77cc0228c153b2cf2a5c2c0e412580d6d8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a ec47307fc1e3dfd80b63e582b50dbcca36ee8525