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 kk # ]/ LocalLexing:threads=2elapsed=91.482cpu=141.780gc=4.676factor=1.557zXZִF! C<]ŗXf1-/6vRZBfߟj2𣌑' * 68E(a)l8^ •Ww8r" Hjk!z&r2c(inu,;{:+1<] \mm\ʳlʓ:enٮazO܉}qenjhe^Ti1~&h:u $4|S(%flD-Fx_͂&/gi DIÅx41E7OD/m8$u #RjɂI ZFg2f!K HvGeޙ00 hyh~q@vźT {!&566:wG7 \97eaXWI !S)3ȩzvZ|%wf3O_7~q^ZRk- 3SAc ͪ)O TZƤ٥];aI Wؔ%ՠWh1#Gϳx&wLJ$pԮq^{&@Uv:{n÷;OYA%d!z`oؽY՟x 6q 9f|Ł%`5kaeVӏ*i;ԌLkK4=Ig UzQ-zw1ݬ7j`?DЏ&[-՗Jhӧ k9Jlܘ*3lBGJZm{N8]8.|,@B`K] T7oRv2Gu[0TQ9(ڠ!j 0qpGWvS"B`qjOO`PAT/`/kJ%Wt&tύe)>`J}ĜqT#/݆1's*H"Y`:8L89eOE}|ն9WIj (ٴ _Y`hvQ+p.!(A;lZ,51HHXJ_J ˗Ղ iqfKBIA#&cb?8' !vhёl8z(/0yTmU(H2u;9E4oke6sb{;(U 絈ŅxOD6-1[!@uje1@`-* ^e ue`Ѕ d ̌X)iw]/2e4oH! #ވDfìRqդnS ݞrH: zZ]OjtZK DKx况=n+wq"ONV*89osœ4ޥ # LocalLexing)/QrN6OS޳\DGVdqF90G}8Ty-Ή&kH7`jc`YAhm+r#ެN+. d2^EV*w&uJv63]Baq-j]&+b#WTNH`e90{݁shp6狧qɎLnA=9Foe2:XRzӜk> l@B=XohG1g EM3|,/JiNRFrx)@t /z^mC n7G'ƌPevUWQ1-WǼz5 ׂ6rOz2h+0t":ƣD?1JtL%#\xLQCg4`r~\7`CO?a˗v~a5!+0&`}&>7wOvT%5ᵧ ;`ؿfTɕY`1-avxPRnq&{#ohNcEڊ #/U(XElkߘ+|8K沗6mNΚ")^xe}jc (f;2 KIx_k=oYVFjwyǑ`~taK@CJjVQiҎziQtZ?^\ko?$F{?Y 126&˻ʰ%w:4 Nl &G%ԦMA9P&hUY$y^ZGO])֔SX8F)T!Rjdc*C[m :ߖִ\#iU] j(_aA-Z`z`[&mn+xܰ͝@]T^BV=MX|58nV6gMq)%+G<~Z / hLd-x6±H1;?pym.BC'.#gP8Xg5cQ%%.JgfP&JbY6x{d)L%߄#e|JYhCP[Ǒ\N%hEqh1 (]`bvߞ$#Jc0"l l &M!c7 Y"+^r::`b:At[֤/0>9mg}l5Ytٍ2]wDŽ!#[TrfiΩZLjSb?%{R0jDcG"Z_8#+'ISwLI~2iG`ìDvHy$EN!->[qR-M^*G]DD$GID T2髠 [OZBj3c_g{] Ⱦ #2oameZx`.\RВ!`lA93X(CۍB 5,0)4ZIq>/FԈǀ[NjzjWGɩV@ńѲ愒Kf!?H;ϴj[0_UΆ9fՙjlnboz e Z WVj3A\! ޮ2e#\F;PNԁjgH);zS,Ik;{5-f@uBX~g6U/{5/:Yjʦ\U!BVKyf˃8L,mGBOt*E". #s3isG3}Wߥ0!^. Vsz:A!xQ_AR:fAT:6\FৢIn5:xLZ%yfd>e|IŽ7X;}9j3+MP{#[ ݎGK!UȪoQ r?fv-Y*f|pf* ishL-rNC<$y=p0уO=9v &2_>ctl@Kk!z6k\!|@ôG7%-*٢!`sƣGԭĆ9rbDNyU蜻HilHb x䄅UKS6$zO?Zx\`u@FF%s̓"iXͩY֨Z R G@#Qתh9[qN@ܓ"/Mws4 ,fIC,pK I'+g緵#7dP3Zwn}2qnM<.U o`,dORٰd oFъT 5 N]kޛd{%[D5ҭUn"nꞼIq .hz~ Q\ ͬ5. x.$LM<>ȓTԒi(]Nm]_ vb4raۊ(