SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info *7 DD / WHATandWHERE_Security:threads=2elapsed=46.975cpu=89.408gc=2.664factor=1.907zXZִF! E Z]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL=qaG3S<59[D@|ldkDl~P\Ex h2^NgJƙu̘#}}᫾+@ *QeS6 7 WHATandWHERE_Security"P:3 './Ҟ&;ZhΑA1]ϙ?a^ U#vm ؗP5HʖjZgh.WS#p7ʮn?4:# fkqw:E'/'}GHs.$Ok+?3%a۰\-cYjуy.Kz_&UrR7alJk50i"^[{–mݧPtuCCمȴU^TmCyM+Y!!P{ŽƕEr bD&1pg{M;T#5bt>Rx]>NW(LyR/mU;+c;njٍu߭G~/D6꟞M(>t-׹c0@N&ck}  N )O)' ],2N|O5e IslKT"'",!M;3EGIHX&3ǸTR&`N/Bvo.$rx4p`h6Mp*ޜ\?+ M A}%+b̏eKg4C)m+DwIǭm_IsXȲx}>Sf^H 1޾zl hW=yj[L,>+ <߿^}6cΣLfAs"}k~Q^iK0@\ԧՂ,*:d~45W @`NW*F U+XbOqEۊ؝k8*,Wg*s@AͺIЮwP5x8&wNDb)FlWO[$wrp[Hk"S17 ל#v}ЭM UTan0וݟZ^dcdNA{9=Mc.G|+! }0˒W9Gs+hAl$kbiD|' eT˳ /.#'>#2) ^kN-N7"gqo~ bZ:tpАȱMfpyS.4FHe/x9<g 塸g\ `p ښ5ͰAqD $B㨑/!(MnfKΫbo#BU׌V缓4ѬC3V qfA\)oǏ!~xaӭHh"qѭho3)hl.m-"u9е]`<Ѽw{=?ld<]}w/͘j +|-t\őw3lL&`OEFɁ]cJ]c%\A5KYQ':}.5]n*c$f( {J.)*YiNe^A8Eo0^-xӬ%NFeV,CI[ešOȨ$c _NCQ}C3 7OPW޷ Uzr~`MfKTsKӽ7 < Auu{Q} uy Mϫ*+DxJȭeilkM3͊҈<+X)l@HkiE\O݀ci0=c9HNvX 8kwH~.O@ZVM}X5;*=w3+?3[~(HfY. WyݕD'9ÿ k`@q(gL;8|m+x_^ÓḾ*zo.<, F(:}\3vZ߯ː)ίR#ď0'6 l牓vyTqXęwC`BF߉bD9sÿr vHWh밧} l JYdLD)t:} pY#%:k_ϯφDIo`RŹ)9Yc嵔I<Iu m)?qciy4NԆ\B 2qD͝Z=ϵ=&`g4(6Mg/&'Giǿ7 H9׸~&z-\%Hya[s BHq+cv|8]lµfRy($ lλy_y[aοг&ڭ52K.\o0JL)^)s}RfXQ|}ʩB|M_@J.󷨙H5[lMV2ExgbVp aCɮY [ W״ݫkES;ߛ]7%X4‹1NN-eƕ@t,[lt9YuS< 9{\91L$0y[8[0{q=Pv^:}ZLWKM"xtg7q͝$Q/|3!~4xR[ <\@>'3 d9,tmV5" Yzѣ+:Pf=Qsn 7?zݘ|Spɬ)!;2FXҝ,?-=;{,{dߑ2s}yT+8ȳB,/~>LXZۨxO%o0[Y'2b]FS8nNEM%8PӥNE~kt)X@,`7tRDZ:rO 22zS E"mn!>78z\.0IлTTV1`)A x a[i̾硳]mj$;߮[+)gJoI8'rßĈrˣ-NC2ҼFǀfbi*]tBuʀ8 ;PZk?`N>]"~C<ۜH 9W)h foP\='B6|BII5qW/wu.]v[MsڙUe ۥ2QpYnao86DV![\9[-_ ݻj_xxQ\#/D9h#V_Wuv'Dwhx:C9OѱǛ'E1^d|>} xC D0!JSFkz&8*DRj* :XR[+jc ɇ A鯯H^4gp:>cçSwpqVIo 'EʟԀXQR¼3U sTq&EdlG`PX40m쐕zX*6^$8շSv OX}OXηv:׮ &$Y(u