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 )Ll o Twelvefold_Way:threads=2elapsed=109.778cpu=149.968gc=3.452factor=1.377zXZִF! 5| ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Drw#1h>-v P2ibY? ț$*|h&}xɚ?s3=X_n{F cf>{+cALcyl8(msy(X~  -iu)z`CƞHZ6ql qrSMh& )47 .8!} ) Twelvefold_Way=N!ȁ9q{ۺH7J?;u q-va!JL~UzFz D9w!I+ 2\ᕄJxCQU+3-1R|ЀgAqF NT LJ%5TWMƗ/3Q7ՙ7^HB#h@h*OI Ͻ wQՅm}DB̾@LDV164ՠpH zmL_"y{{n6u;@@^SBSGe.s1H { L iV [y TqY*|JQnAt/ʕ>L +tϲvjDYyVn7k_ I+°Czp硗M7+aG*/`ϵ.X*#bjcDNwP3|. On(5V,è`[LC9"pـE876i~mHЮ86ETӑ1Z{`QF⏞}xƯ}FI̹>ٿ?yvO|Ftc(n &Q.ObL@9zb?1_^o^bXA.k0"[v:ݿV=7`I <:ݯ=](uZ9?qtߘd{}LHbT@/SkuWb5|FCA8ɱὣvdƅN2 OEBGI8iԕ,-[Wo~|'\=(aI1 (J,Vjsm/Hpa,PYk/|ur\tu-Ufa*+>(kVmcn%3lcDսOI1q(9;I9}9JqV۹i3'=עdױ؇;8@I"AKҕIL7>ݬˍ,*K<з2N :ԅ 5x1ޅ^qwo h@ˤLGKκ'rq^Z +ܳ唃ߘn9˽"v~:3@6Q넚KP4 Optl$:߾x.\\ 7i˂`hе=kʂJ^gMAeOv$j&Of18Shi1ʗSԖƚƐoHDջ~= qLq73/(E ~^for;S̾_!U]x2Y?11vOuX SL0EӋM0z݄QOgUdzX'mtl+ZOP[YMӖ׭DL^m 4̊&xhͼ+ 73^{[F*bgwl?P5Xm}W?ѩ6kDtC욶yCR di= ៾1{˖SC; 罺qHr"H(mX=R҂'UdžL.In]䚙| CA&EG=̜&q '~ `+:Qb-40<o ϴ}& щKD1fċ뗣-W{ ӕ ]W@j)f yAssC* ,BiiKqO_;W2$#&[aQh'cq@3mK?E2j 1:@Vu6C?&;Y8{ȦVOA`\ĵ>&?go Db`lyѨЉs=`0:?D`Z˝'!'91ٶWLAdZtvZ|]$E%TILw)pn voFx , VspݢOUI>(N  $ĜszS|xԂ2˓|_D^H(:t*+%=t}&߇$xhttItS?|ym_9bȅVMG )<9%}h*V6dԖAnV o[_{ܾ"( Y4#J/&ଝfo')z[$=H3"yϬ1He$fh@?j}cbDF vrt "XR1$+Dn5f:kJ;V:v-zÚVx=BTξJ+h[`PU m7NC?6Eh|K?kDgjrs ӰN8dYšQ傛y6Hy .€8!Gyi,>PLs[!QҝP ]d.;xj`t^DቪCLls&\d6!ՖN+Ev^vzKQ69g,xK*% `^j9yױɗܣ൥Ӕk܆}KҢN- >vTNpF ׬cZK]h_>HlWErbKc uz\3z~]gdz39L|88 8'U,p^Qd,ÛEb ΀H#ǭs 6oپ&v`-=ϒGy- 25evչZԴ?'¬mkm5P$6iQH.˾ccLg3Մk6:=k-͑#;iqFW [FD 3V#1oNmvom8:9V='1c m$Eh0Ta&ǐWV79ж`\CVD1cMW#{j]u'#1괅(f<糑&,Eb;>rNhW"۴f^EfuӮ<s4מOjWuX$90U`aph GKFͻWT tUfMop72*a@RHT@BTῇdvӎK1bۊ'w9pAWd!x=v\2%>b4UHV*-X"h Kg|(FHmA=L^=s(2֜=j~^U??WEc<)\ c}FF@ q|