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 ! 4t S/ NormByEval:threads=2elapsed=30.560cpu=51.468gc=1.500factor=1.687zXZִF! # ]ŗXf1-/6vR[yK6Φ + ?:%Оos+[1x ͭ ׾MrX{zη#@m YZMC$m,33=Ċ<B++FB6aBAs#y b~IeV6΂nz2&#)FZEJxn]Hi;g*./BCTu'{Ͼl=OxA٘,ם ^B44Qޱ֟ Z'{}@|O/=%h`A;D'ȗDS@#Bk/ۅģGY#SfTM0ڪ |rVrjC- "*;x&'I1]a}{$0]X YKi簙=X@\:p|VEE#v)HaX]Q |B?Eu^vtZK}宔ăS5<o,{lsN!:_jovuʈ]< g[:X41`KEkojZdLMJTA4fl6*md&|CY5$л6fƟ+#`]^gt3KbxET2 7tUiwvF}XTjJ^ -D t+ >BUԸ@=zxFlv6D]4SM/(eͣFpd$60H砈J vYǙFn^!20jS|צ Q,i /8!T<lBF$E9s{~O)j>_knҺ&\I@$Qi^ƃ 5Eb15b=$>E*Ƙ?AVwq@o7Sލ1ZI}]ȷ@a$MjiNSa45!*oWܶ€Ս͋;"yNup,(?P݅}{Q#ΒV)%aXkRibxQL)QΓ+c,p:Vq?%8} QrŞpt\K70 rݕȿAˣ_bN/V;LDZ}q->`duG?Z,{1ʠoYV׆w'LW/o$ RߣP3W uJozC]iJHȘeG)#M,?A.ud cSku 6 Z3ѡCCsΰCt}eh7u^ FoBzPNFAI÷I#=5 {G\~ 29S4Zl ;luOYx=۹aF }(!2-vgN^oEZrDmd*u:Q%Q&m ر/czVH!N~ ry_r_!=c/h1 }8Z,nڎNjy/O3uw3y^ؼm-e3L?&V+!Tq}=׆SROZWL JxF7Sa꘥dZj(%zyq7V︠,BXů7 [qe=EjT Qɯ.N"U{K|%O:S7ǨC h~DNo(Ӂnʇ%V*m)=%KU#^}=g` pRw0>9¸?ߡP7÷JDĻ(AƖ 8 N\m|ګ-ׯHv*|Sϒ@g~/aZsq@|T{ ZqZk6F qDM¥]@@{U-?| ̶%L?'eAZR½t~[:\|CyT\Tyc3U9> ?;8,йD(UT@U1~w$7^ꐟ@5k7OTۑp]9*V%O'Z9c'|8M=Ӿ̨^۽)ˬT-lZV0.4͚vfH6+<ҭHxJ5HIdؠm  ;XgYZ478816fee45c9193309fbffde927fed38a13f044 d45d00c6430bcb32d8ec28d5387c874d34f9acf5 dbfb16504f02920db603ce3099063e57929e36c5 f15e9a0267e9c882bbe66e1a762dde09b651a14f554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1  ! NormByEval