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 1 ,T + HOL-Metis_Examples:threads=6elapsed=11.920cpu=52.808gc=2.812factor=4.437zXZִF! ]ŗXf1-q恈(K&Կ6lZg ; Ub|q`?rhtb^$iX[ƠfފRC -t PS1JZw|sIl _l|Il gEPPMb3 %fxhHu[ϭL˜mr.Hf}I㟜;جɯGbX0k  !ɖǓ*]i~$' x$jU$^aV -DvݸA$UWB'7k4uXe-Y&\0 !`W 58ӳ1:p)K`,ޚS,RrebID%gJh&s+ &_J?^殢.u3:|'=m'k* 昝s֦L4M?$=S1Բ-ҢkVTiy(Qzej!㜥S*=j#q{:˝,Q̙jud.JXn-0iƉÁ,ivU)όggwK[xBDNyVix{>CȒnWWՋ3SC@$Mߦ5 FCSD9v uN G$L(dfeu'(:Fv&l*q͕BMObx]#Y@54X"T==ObR0e9;@C@A@-M[te[9m7"^K0rx!Y9td5HT>oihқ|L -n{Ǭbl7_*f z5*iBʥYhlQ3 e4G(M+kPߧ UAl2@=4 ڙsycƯFߘ?(LUpYln.)>ʌ6HJeO\~s,-MzOר%""f0obE0mwÖ 2dOwm%tc^W[Ĭ\Lx[YoX(ﴓ'w$v0-7 fMb\?ԱTj] DQ3Z}~\r==rŞ`ϙќyVhn[2B袬 qm[;{lRٕ/kɅH你xs{ dyy4&IruQ1݉ /2݊bѯ]8`3$+U 2 %ݐtFž_nƨ ,,'ڥY  "- "zXR3}91OxԾ}d+z))փk6vd`2IN9>Cϔm=:[5GɺS3 2%vVU(}$sP:US#tηlY#/h*]Dl  #ISLShբ%k7<7F!wKtp?m<5p끾F*iIo:e 5u 3} k"77D/Tƴm3+f/x yҭڡ&^{ԏ+>dc ROzꔿ q BPIhR-O<{<-rcٱI7P3o/:SŘ">VJlۉp,-M7*`ZLߘe k_IVo3t>M=i*htUJ맖SGjP_#y(bt2cWYWɄ"\1my~&v}ΩL?jط1.;i^e5tq 0S6R~ćO;S̴U{;1X B^fky9'  `{o/o0VC෼A shxh\Q'NY.wε:f-u?0G$G念L[& pW zfg|/'8_6Ib=%{ܸd0=+ ]`^G![]4KI(m;yʎ8rd$C6.!_IFN;$&IIVcOJbJDP?xa;߻Kz({Oscv&|D?yq*&MlRJ9 ܉:ռgYZ7zXZִF! 8#]ŗXi%=CşAӭXD\S+" W-khdYHd=4`ws\-?/elw=&*~ѝ LkEc :xX9Jy\hq=P˾x^ɯ R "ߠֆ¶?8o߇2D4ݽj/dFy4MYe)θo :qT-堶ڧy!-}"EQKP)+|AL۟Uuqmy~}6mR -B@~\ߝX@{uTZ݊``~!*ީ!=|5kUlP[G)RO]!,軤“Aߚ{>Iξ`G8>ŠN*ۿpWjޚ4T&R,d!@D$RwxW>GAo ; !y̾]{xƗ+2Gfо>Lb F_9hK)cWfhM+!Wq9^'U0,^dspŭC-ħZj할N0o}ڟjuyVz3NIRV٠O t ЇYD6.1PU[FnY<5±Wu/wq6/x c7QQfq4hӄlx&}~]̜Z>W47sgw% ENB)pmTlrmn48'!_-HE^1d$W0frxvkpmH %3G$?GB!kףrS|o9}ibj(9 {%=%&8)fK3}|'D9CpHuD~>|Ik fٴU)!LYR{'C6fjoa2O ]q!%p\K*3yxGr9geWZrɘ ΨGp