SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 V- Tl\ ]/ ZF-Constructible:threads=2elapsed=16.419cpu=31.028gc=5.720factor=1.897zXZִF! ]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ό^6FIjZ@uhu>sG;JOQڑvVn.*{|nQЎ/:aERL}p-V8N I?|K@V̿Zhj>P?٩}"Ο|o+oFg6rgB _,,ߨoKkhA99|]||*ccW8`tV{RPu1f,rl 5g8okQϨ0?rΝUϡNS, #-1oC^Eэb`TNt@ɑK]ݠl |8ScꜼi1 -)W׺q؊G Q {tHoby&nDD"@YxUS4q Ы8זd{ҐgYZ7zXZִF! n]ŗXiɟ95ZrY!Zg>3gAKrDq_TS9JJv}B,jYP`t_ܑou @ ndr5/[l?HMK=EA*ڥ8(P-C/s6HQP$ Ht1l.tD$Є ):01bXㄞhF s/v}{V.EARɐb&cb~}y(/HPLf&rI9/!s%d,/Y* W7gYZ7zXZִF! ^zh]ŗXi%;źw!O%IS5Uu%@%PJ|gdԬ5Ā{jq'iܨ%Mn$Hœ}Tʩ{&,sEWؿ d@Hտ`-7sƏkdatd6أXeq=䕁eC{ia[{@2b( xiS>y~a<4n¡L\ӴكX .`uC7By{/(ABxwVgЀФ_ %Ήj#N5Bo6b^"+}qs)˘ώߏQJO>1%s` %$QOКEvk8ASO^ Y {{vVȨb%Z{1oIf!6짎WsNPKdZHs\0f Ņ|ZF3T 7?ҵ:(H[Fv4T #0vK 9Fe(-30Y)|A(s5}A#ʅNP[ 4KKq7775zp,+?V7*;;ݠ?3 }#͓n`F Ւg '{Ϫ@Yu ͱ&~Nz_ā%q|N3᫰K2{)WxQ81 I6d=it!`g^_X937B@$ۻq]k'W'vk<(wwt7 B4)%nU Ǒ JXB*N~(ֺ=-ldO2=l )&d_-dQ>*][`c2زmD>cG/%aj'Yx&ы3qj_c?|z?$:΢'^/T1—(P\ [}va⡜}ۤbihViKꉅ2[`dr$ V$lc8|Z[p-f- {Y(Y6 'M搣43 P/;%]hmWhj{b{b?ILwg/zϠ|)PTXwLCoEdJkv[ffQ{^Wslq;E,n*ed?! i@Qm4Tla9"[H:`!N3sO&wP`PRt^7EiEO30^Gu TÇ$'~F 7Q8 gYZf6bf57ea39f12199bb3c039a635e8d719096a4b5047361513188e7c72a6ffd9fc0d5d82009c64e0e 04a1dfbca61db5ab57d74468fdb76815a468d85d - ZF-Constructible