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 VV) T\ %S Dynamic_Tables:threads=2elapsed=8.857cpu=17.048gc=0.424factor=1.927zXZִF! ^P]ŗXf1-/6vRZaK Zf  ) Dynamic_Tables0kߵDڞӯk@=ڷ8{8 Ґ@|R8ikԽ`< AsQP(:-X{sP6QwN;,^1~l/eYfOX0{$ 7QϷX"glHmnh̼0[Nc&EnQ4nYv,{\H>S_1t&HtKo|;mgw0΁6P[Ƕۀm2گGR9W0F\+$K'9K)KLQB3S+ ^w5-!с%dhvZCeYE&|Pw 5̰uKfsFi-yufd=i DA]^X1$,>y\\Iܕ!yUK?uqِ]DU\,]E"C:Hd΄oL+T}():^Xˎ\ed4 gɔD4!&?쟷ԣyVZrp?f:3aVI14D5kAOnc"Ko1Y[GMyA8=AlhSqs0,g\@ Q/^ңؓѧbB*;5>9;M,&,c#\ #c$"Ӆg¦$`4/?ŋЧM"3"-_e=e9јvyoDekD[mlCs^'ս1 @F@YN:&G5Ol^|$Ϥ ӡt@(6ʩ͈S*yaxf3!Ѷ0em/qhcƸޡJFۃѵBߨ%Meiy,e ;Jdo>^ݼEdWv#mD>,ڲ;Q c-~~h$$~t|*ԭML ?D 2P!C'te{f})0ŭ20*&H _^ԶxIx| $~[>@D.9GH˨{u 37 m"#|{i} if=Hd/ZUKavUIA5os(9!hzK.?p:vX Aºtmn>'Prd^T Y-ܚX9qf> }ig@n]!~nmĄ~&ҠX;@}CϬ'3_L0,aA*["Vgg7lս ,Ku0F{K;HƻU7O " ; I9DWm ʦ)0q uc;c{:+J_jž/  Ѽ&ֱgYZ7zXZִF! 5]ŗXi% cU]: nSJ@/#^iXҪﵷa>*7>|}75SV ~Jrk޽}{޺&}h#1q%;~&% }XSu];B ;OywW4ʛ45b޷4%t$&`aN*CN3oЈsn&JHɩ<p%L>#D>9W=4Y iZf,t%(±?n.ΨT^{dKL,iǹ7Ods.b*~T lQԍ=7|8pסoH,o\['ا[ﳤr>W GL+}UbJ $VɬH?'3ej.)Y7_yzhR"J7mGlԆ-kI.$zs_:RB j''ԉ؊Q}Zܹl0ttӸT` 1ӗo̗r