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 f+ $$ w LightweightJava:threads=2elapsed=41.635cpu=76.432gc=2.928factor=1.847zXZִF! c(]ŗXf1-/6vRZlpH8;_SuƖ`BE~IU(R>M!p`Лlk;Cq7D]H+6dpUeBcX~ZC!gԃjױUdptNf`c]YS-e7rC Jf'H(?D;(d-J|p.&Hw2c}'j{r8Fsa);2eZ1o&"hFc) G: RV-jub&T7$1+eOM~.:eOE*)SFzF^l0q/Yo_ILe62M=s~bT9uojD:5J s| _-DFkȱ=9L $ P "6Г!)B%"8ԖߛN/uBn|h2 qְ  snmE3_m0I\D$14E*ɶ"`Ft5{s9-5t R<%̌ #㧉u[(xw6"_1]Rd%a _TMTgg6YAb zH_uIWÝ2~$ %z|9n._Qu#Ux0a&CZ*0L@3o,\7S#1Or8D |jHH|ʝi;sc V   eQDutJ01$g^JmĢR*l֠NaLSdlTw\*Gr NhB8u5!ljlȎ5n6ws)`{ ִ;6,G5J./*AMC눪4]ŤAh yxhD`q?4 ΜU,W~csm az_'߉F9U_4Jhoƃ`!*n֟#,ȟ^HmͻoQ582APX Q9#rsm)\,7@ߣTpQ%.ǎ"|ꄪ)%N*O+MMs1Gu0~)H-9UG=fɾU a=]!c c̜KHq#$ay^+dPλURd> B0K@<>D?O@Z\ 7_4ga`diVTӗ]-_7$NRSfwtKGc 6d\hFpjHv]Uɜ,isJ\bqCgpNE8w% f>F b!SnG;|9'(<ǏLJ&3ey_ 1DfRuaW1ϨGMckki]yqDv߉aB[*c(h|Pm̸$̥QP;d:-ң ؕB#EǼ;ܲTN{L,b1iu ;Tbn `Kp^;és"=;TqEO*Ex1=(E8>D!/N 3QŤ sfPj~j}))nzѰCt߮t@xC KXU2_9M!꣕2r.uO]H?ui|π'Ù1d,*)U/IiU~3UfTSOCyppX =W7^!t-8%DP3{zxOlėeR^UAimv8ԡF1aNtLc(ò>U0feªʼ)bsbnvWe9X(7ԃbDY~n+ >>sہT?̼hQBTP_*qܺ_*?8Jt'-CYV75D#-Hs5]ԇpo[ѧLmSbh|XM(4Y[ul9} {}'ALZ+8,9pxCa'Kzb!x8crf4gJC q{L^!ҡwn?v Re:DWc1}3fd'h?]4Fv35}azZѶx%6M+1_ijO弭ءu2,Zj`MC܆`?V5CLe#b]׌X#LcE6P2fZ5'{Ց˂(zO-A/_V#.{ )&/ Q@?8Uer1["8F'=qtt^j &Z` ޢ\45{01˼9dR6(|@cܾ쀾I,QXe%lBv:ctH/,Xcݵ T~2ߤO[E&D '3!v Yn׃r^fr}1uu98*`k몯EzS@LQT=,~k/d`8r`UJeO"x3f֧wH3xRě[? + LightweightJava̤'rk'XXh+kZxZK|4.y+8uoe[}buZ^^];[=4ww3j~dy!#Pڸi~VD/xs4blÀi# \IW0rl];.;ܯ{ £~Veޖ+]i W+B^+0e^ԴOњ&E1Gj;*/9&(63+GNE1$ntӯ}nw^iWոOʾ- j8n`7op/ [c?E49ɖIWc-yL>jEآ$N: ,dJgMKOz`k{ap"&4~ m.nRPqL;Ä!BLiGgesSbJԔJh1B_{b%>8&!tD^]U9#f{R8U&7**01k} @ყZ9YRLk(K5/zr/F44Y@hPJ* fi>1;_?'檃9|ןJ> {#{r<C%bݱgYZ7zXZִF! ű ]ŗXi%qa4N*ߵ۽ҜF);[4|sݧM!') ܷPMǡjߧW}Dq~;Ab%ؚv>z /⻻)@x |w LӘ>BN–H%i\A#\זҟug,O~MtϹہM=og{\@ Z$,rAP<#smY#?V' `Ea93a-Zh@`~=>kgsi e k7 P :n~єk=due*WUY-:3&d=}8b}RX(!ZbĿS)ιtJjrτ=^A{ì+L%fbW~yE2uh߉JB"jyF?h37)qA Ά+QNR^jPVN)JzWgat ,2dČ9e}!owO?Ke"[H/|zT*`8 T3:ܸiF|hƊ _jwzHCh;mUH|_!̔1A>Cu,*6AOUD(]\4X&ڛw} H*6?o? _l:>L⃯'7ܕ,B(bqmYVt%һ#'#1rJT[2ovg5l 2KQ5 ֏qU \CfGlelL1?Њʜߙ "Ns}p}؅ab˽&5g4ra&cj.KSa)áG~mn2Y; SYe(F;BŊD0rFK3M@D.E_!>d2 ]6( 6<-w̟a5y-^μ.TĚKul(5b Nv!~Uұq9yK*jt|sFkgA#t6M PgUffK/nVcv(+y`{zkG4Ǔ/E3LwwY-ZV,aH+׸FwףSzW}JVW?zuhT5ᒻykkk9>,v(QX,M ]nł |QA7D,"g[abpS*-H)Ɯ!͛+[?#j΢w%_r}8>4SU vѠ>Xf/MHS\6`Ryt?J+UiKMhmF\G.w9A&  i?k2`Dz#7R`@MR䧡"{iX6>>j3#:a5q}u<|j|9ɶ2 DC3Atn8GJlZr`π&z.`#Y(DkdI3Qk%I&0޲mԉ!ĭ( T)-6e7 ]Z$q#a/H &kq̊%0fwC='!]E(INX)."saTBڴI$d୺OV<}u[J+c`]vd TuPO9J58rImo.^,!f1׎'arT/~A`{n^mE]`61