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 4+ ,| / Strong_Security:threads=2elapsed=20.231cpu=39.388gc=1.380factor=1.957zXZ + Strong_SecurityִF! Zz ]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL?m{8}#l9wXx* ZStD+z'~#K<ئfZU_U>&mjSީ0gbf.9Pw39A:k^zch 4-R2"A,+AuW'Ņ>1 S=< wiV EX؛ltyo`"pȘQO?^KK)mm?2X~UNWϴ:ĊM5HU׶t,2%KYc81:窜Mԥ͋2$]R3ug;%OD」i Vȥ%㪰 #9aFy; X9: "\ĊL(=>ob̈́$ގoI Ѷ:Z3,:}78Ayo/ܩS|thG !vRnYVQHQbbZ~UO~~дǹ솮! O=݁^Ϛ簫QC1hAP)ܛSh1d?`hOڪKC98h.l_" +ʍO/%H+|C;D0B; L R 8 ;í."XJ`]ӈBG_;k7b|WfqN͍ λ'40s@z~vwgq/9 ~fMueuz uwM,] !^g:X '/5Ou'VsBIՀ0חfOMnA"Tƃs¦կNA&R>ė.wo1~պ;>ER8F$9)YeaUqT1(Lv}AYoj|߉ e Z7)7P/AQ:;#l"}zE-3:,b]yDdMYU&Z~!]Ӡq2nAroNj/렐l\*iQ@ v{~^ʋm<0'J0&<"5hV@P9dQeV)$INqm(c'ctYKSaF[ A=P V @=lK LB$~m ^%i'}xvXvmljID9uuQJ}'k! A5GHZMg4Fyϰ>&N^h ,ҘkF3Ns}hQߵE͑x}HށsKHjB<2Ns<QBTF` VM~zW!%D(0.LMε$X+Q=KIE]b*ȣǓ 1{ ~/zΕHbX}2>7=H4)^-}TGHe|pX׾>s\%"@x$2 ]K!X=q*G1M~oN } $vIH>SHpf0yŘ=c"M3¸]ȱgYZ7zXZִF! gc]ŗXi%R|9tҡM1bλh3yGs z9@H$wHJz7%rR#AΌҗ/⁾װہ2\+N󯑵g괈*"&'t:כ  v5.$3d }ׁG"g ܽJ׿ J0` S*͈KrPc^/*_AEM;)ԣ#[N7y]/o Z1q%H:.9t7xUUFn"T^O7;%A;rB`&z*}2(ƿ|Pf2V^׊09̽-(x4m?][ r_顏 sʇ4 {7NnߵlҰҋ݊iѽ&i'vGKڪ=^6~M"(>\@h8q=ቁzX(6`m2lXHd v ̷LT퉸>8♚wS[taÜsxv]oC֩>:@I3('u?=\sRsh_ޤYv(gp(|'gi۸$y  7H^[(a1 D0NcB;\ܡ#cK+|nK *6!g&5p3s8JA*]`PqW >W8%Z+2@7rgF7yf I5NAwy_:k& ] μ纃Ԃ0e G/2% H ,>2(O18tUev- iQ t꥘*Cʸ A!/ z\M?}:b(s?k]ach񗵓RkKySAZ/B9U]D 8U򜚤"wҊE&UHnxFj7*[ d'&?Q&ٚkW8 / ǡKlm^櫸u3eD0jߡk[FfB2