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   $d ]S Circus:threads=2elapsed=50.674cpu=96.236gc=3.828factor=1.907zXZִF! ?D]ŗXf1-/6vRZyⵞCy*!Jlú,CW+j`qr/&oc6g2-*Qw .йO3sɼY6~c卍_h@"u6n  H'D+ÊBc\BkT6IhpS qn&HUE`v"ڌ,k:;A])sn{|&@hp㻫!c HN66p$C9-x(w_Ҿ.4bffN:ʔоMO4{)uE\jpR#ix%O   Circusosu*N2SIwF- 1X!88Ow?do-@~; -a; rs*qbX|ՖݢYOM_fx$rبR3JS$y٢-Y"yqEg-pŕ7ڊW1yf⧓*C泀jV)#K_I  7&0J* MݿU+ wB*(Y+eu#;N\EFU|(}"Q8`k;&נs>6b7٤  p6+{2*%ٰz7b5  ݿW2űW + YF9hʜn;\_{u֐x퓿a3x)?iU5?E'%Ew)2L-V\ {>ܫ-G@lvZ6hWlTS,_] "x l(3 ަc:QK#va8 f/Vͻ޵|V:_60 0u<Țۨnum07xTܞG4ؤY[M.J;lL|Z0Qu+Sk͚26j/6L~Cbra TM {ESȜ)">W sy}=RhZ-5߶F!&9$l iKjZGFh=]C8MgVu6bQqv; 'NOIB{I]oq8v.sw-~47`asx,dL_LnhA'߸en,t& 9"!MnHreHDwgW,A pc\ [< "O2, TDzr-/ea.y;Yfi  lzA0%M򾿺[E: +(I>'؎@|h"FڞөQE>qє"U%W&^ι<1 кm; X'3^m |RBN2Lm#hhqnvqMhk[uCc Pwv2_xcZd\7(8CYtf V{rɵxo0B=˧,.ͣycjySmK:"3|d6ȢVhp[ f>tS̡?:Y=w󌐒Eb>t9r@ːF̅^FY>J!HήO |(2Ú?lT4):9N4u!RgϝHmgo*£1{[xmb!!Won5P缕#I膍gTbGEP#nVzCz y5h  @V$ۺue,A_(hYVz|]D 7%9i霜2* D %QP#N~Gg\6jbєj@\y-^,ַt)9Y$0SuaH͙a5egI4_ 8??#mHg3b2lU#cبB'VΦSUrS$CЗ  MŌNL!!٫J/^x j8[DwE"0 *l Z>pc?(M$GL0ǛkmȂ$Y]F аJ=[!ue u291Y-NJq+ 5)N-6ȋ!_=>>{Kxr3P_jɝ_@Ci%SYQPPG[_X%7jh!'??.J|]A!,m[|y$ 6l7{S>Q}(capYޕ@K1廒is8n[?S*?{FyTĝ挨g *R#3K@r3/3Ǫ }џ׾[)0$f2Gr+q`2WN/us#h x4ʞ7۸V%(`_ (Շ^%ߖ{%Z2\&tl 2{;܀lgkaN 2&kN>zU)]$׷~X<ʓ¿6KwA fw&wCC/xrEo}F^}Cu#BG ^;U =#CjKɽRrWmg) S`Q x1L޸i2( Dj6>5Ҥ\ª#{LDZCsh:&7őKv23Zٖג,(Qq3T']s1Fu=S^ Xjvރ@d #M Ȯ5I+[bJQ-&4ˀ1uA`o]cO{\CN*fԌ)~ OcS2᯼6@ Ab CNh(xmᮮ`,X?RBt6k{B>ά{-&)<"c B6i;jNS 2 /NE1K?Iڻ+y\Œ ɑ8!ƁigYZ85723b73d4ee90ce743ae6c70233da04742aad1472476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 2347b790b36c0821aec4468d962eaf674cbcbb9d