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 TT) 4L ]/]HOL-Word:threads=6elapsed=8.941cpu=39.904gc=1.544factor=4.467zXZִF! |]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y29צŃB1S( }xqYJM SM/-/u۝!B?(fJ߾by*!&\͢3.Eޡɰ[哜[@J' Ճ8.F6 rj)8 fHy{ ͜~Aè> ˏ@keKb vo!#D5?륪OVC8pj h61d!@ 1M`,<QJ^_ cvLgFX)ӛ!:W`2@[]N VDa0qTT$6VV.;@ 4My-@M<(մ7Ӓ+FlGBKWxMbky#k[ }YJ%,D Xgt<LkYkiSH8Ui"l| >-٥v)5abDѲ{ht|BQn /x:<#EegYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.AXyhM_cƟR*0 q Gǖ)hmUS|_vo=g/|r%-'S@NLz#DG@!fImL\91 Fؽ>؊I9B9F㉖ө79 UίҎ*h"Vjh߿J)6CS:ؠo߈i@GǞ)a,YV\_7TT6)Q |Ae~ }Ns̑jHNtѧVl"pG?TVu1YV>,?ieVGP0 b_7_ ǭZgYZ7zXZִF! *]ŗXi%;ŵtlj|u-+맨h\YTC4 Ѻ[̢M.bGkbYC#x ȣg؍խ&0Ci Ğ>| +h|g7!0x5Z;{g9.*I 3HCy_h7 puڐ^׷{$+R 0h9rx@ D!h0ש>$#> ){6πxkmis f8 8t i5~+@Ƃ?RwS#04(#I* x8r9${1{ %s6 Ĉ򻊣.UU=6}2yķm_Ʃ8"20c?k Vor^ngDҲu BAmE.î)n,]-Xư%-?|: өi=Bw̫="oQ0%; .YWgm,4*gwKIpTV}aӷ_σnTOE ,m