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 ]4, c BDD:threads=2elapsed=71.281cpu=134.272gc=2.720factor=1.887zXZִF! FiS]ŗXf1-/6vRZj3ZX7f\{4= EK#fdD.vgAtJ ww}pz)>}TM6l!X'$`Oّ%ސmNˢ!>&7zZWy/$+3> ot=چr6rB(Acivܛ%tD3u91 ,lQ[)Nx.lUW/O|o타IP'pR cBq*BQS0 JӛWϱ QW^~oJ+jG\9Ћ_ឨXTfV[ҰҘV.v$oP2 .=G^=T(rL^\()G艽]áq1y@1 T<ƈv=PVu]Yb LA9Wx`%,:@t\v? uk1hT({h xWAxD057d|)mL[aʅ7>̊?1j# Oxvo |g`Widx.kwǽ5.C"z<>U>L<ޘB7xS,?w'GfXC(2S؆G9 R QR$OԮy+xSW<%*N/0w.VnrAK)x=6Yɉh:0yRp:t٪2N$*۲]TA0'x(]1,SSDA1AIA q#a|c$TF&#j˰ W}PI*s Ծ6:dx$ellA٥(I~<\}Qn8+fKҙ=zXrB;#JVWn[tmR_M҅2_VgqTV!5hpW`M #C3G|m;$#Yܳ"=E aE&KG aMBFhRuK"4 e܃g)|Cw =z*~.dPAhS]ӯˁ{/di7i_>\A)鈷\v-_1ƪSY-pqn .mTHə1$"Aj7emֲl峉HV36@sstԯ\Is)Ԟ2xФ!߶ #Lse7 I{b-cfOs9 A+#Re_tknc UtX . N,1$F̞>5i Κ݅5pդ kc?? [})#U-c7H t(Sߑh˶]*uE;b!xW:kE/]<풾xA#UU+5ኸ6CcZz0R"H XEs3&( |˔⩘hɂ X*r=Wk/έ!\>PQ@uR#$Tfm9ix q"HnP'nSV]M>n1\x>hsB|bg]LqZjWs5s1џL]gT%Ro5o'N"saEŌ tm̸/ŧtQd $ N8*➼0WԳFi GFW|2ĚTc*]nF ^ә7j<66 L-1 A52u?cgM _%3٢ۓ_P"r%J>1>^T/N>r`ZK>e1/ sl?Bk_J?RTzquMNo5f5VȒꗡ,lCJzɮXJ--%{H<=>m/xv!jnEנ籖-̭O|ƿ*D(X״_"f8c.C2WVu1֙lsDPoSԨ *:"MqskG/wk@/﮵^vDݾqP pl%0/'7+]LƽZ 񂔃e!lFeb9IT#rw/~!FNtD`rJ>(.˒Y9TتG~1&Eo:>MuƟd[lM 2WDilsYJ޻P j-bI"$f:,HA&ﲊnbMRb4$id6 LbձTTS>JÔ DX) BбEQ ƅR2#ąbttlnw*OCt`D?IeG? Qw(poh W2b1L¤*%!iǫRT'c1.HaUŷ][1֙専t̓q0Mh+2?{<TJ#w:E cÑ}Z1A)/qH$% ppfl FeL$@KY7 j[2