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 PP- , ?/ HOL-SET_Protocol:threads=6elapsed=22.529cpu=90.464gc=1.908factor=4.027zXZִF! z M]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kxbus'tڐrbN|1JW :% 1bBww\vDd^~=2.@r$qJ3#HZ02Kc33;yG@3Z4\id ]IiXL15ӘzU~#OyoORH&5%F Ԥkrꗺ~ivkxB:J1h4ED8齏t%t<t]w,T(|#?Xk u. & r_xSp"AJ`o0ƾћta6vQkFsYwMpyĊ_Jckv #5&/LPl-Ug6xW½-2F# GUCnm*drb@3ʭg+ ,5n\FДOa0oUJfi;*_4#L9.{ŗ!dkfS-|0n=vz OE [~F_Л*o`e"OO.F' NeqS9Kx 'AXLL!$$Kcn5"|{:MtWXf}[.NFdnwfhn5i=`yB +6i,lmyj+k >4C4 - HOL-SET_Protocoli> BoCS@:f1f'A(,u$(Q}0/,^1o9SƋŸ%'EtXl. #QM{v[<\oU%k >pZw9. ֐q6rY HY 5mƣe ƐݽQ]64~v'X"{aVT|_ylݵu6N)wƜtƚNs/EL #F 8L|/L`4aI>NCWԯ~α #DX넪2^3/SM sS枧YPYSdt} VB9>x)>, >eŹ`ƩKn?(g2CX!+|K+ZNGX@\^J.E,^s4pлAÕz~[gNm#)ϜbL{ NSHqp#[lSi+Oɩu,L@hz5]oҋh=LWl F'd7䌽uZf&*ԉ34wPrjq jGu[瘎 _^=?`4h2qj69؂SG4:W+1y8=ltXM,쉪R`5/ 9X;}:%o.!ūP8N7p\ P85tVrU)-)!H zMo?!zɡ~ݹ Pd\?D6jFf]ғҴM"8Gf󊢀֊WnafI߼>eX*;̋EJ(Adp4ORe#B²ɫ9h 1=rM*\(qzz`=nKbmzC;$'?g68Lׂ!I ^l{4p?~ݏ ) uXDlIȧD nb?~2sM;p9)~xR7 `Jɋa3u< BQ#|a~/G߱C_!t`L(2zi4> FXJ!6?frZ9#CdOs+0d'Yp,F,zU@}*`SQ9." $ /bxU(oaIupچáÓe0ePL"'8f_'z13:*)&ЄPCˆYn>`*<p§;Y}34@!:ʝ{Y(Z`m񻕪(Wiƺ]/3C)@(5\Y(U{l[-O҂/ E Ik1G7w+ J$yO^#jy̫@.lSZݖ`ȂXknohwcń Z&RIhe-؜E9-| i"1[B+C  Ο{gKN,p< v2Z( b!/Oi])f_3=TvɱgYZ7zXZִF! j/]ŗXi%gc_VjOèߒ['E QVT]ThƂCg4o0oF߭v; [ݎDb(r%+3o#gJ%; ԢV×Dy~ Oƚk&X3nWgB^xA 5rb]-<׼}x|:T $-us9h *k @>3)Cp"_7XdW$ F`N! ۊ<  :b5 -d C{q6z[/.|a2Jbh !]ʳe.iMAOQTg3^3|& HsWTr;Ja"N͏Y-"ֻ8Np{,.G:)_ XǢj**W\f͎ЎAaGO:]AC)(+Q *-j8tܱmkf ?s<mv<ť琨j 8=/DPm/IC@YTwxxj$ Bʮ[dNb54epۋV\Ayv:0t&2ě p-~ ' ;tIG#n$ɯR?,|?kH]DT,[TGȠמ + yÜ=sǾ*h׃:6B XH~h9}"iݚq%UnGȶyLK5̌cK5:RpgR3*K>-Ma ꎪQ|̽)w`&xAX)0`KqKf 2hzx0fg,Ņ#}ƒ r ]HY~.|R9j]!ܓ7yK2^cG Fr,WtG %⊏}3-7bV|X@w _z2Ku45D8ޑ$5Zn 6X`Tma`JE/ _axPML%t:/?QFTA7A}KA=r ;c(Ȳ"d0'aX7ELyM#\ 4«(GMgYZ129299d3a75617b6c744c495c476efc89641aad8 36494d307c248c817fde43436d49bbfba97835d5 4ad975a0c6d0ac01ca552506f3156a4715ad388d 67f492578d910605290e1da51e43602bc3b1ea50 69b45d7337557ed1bf01135423d2223a86f0d9f6 8af21ce8ee45fcf140d2760176665892613b2934 a650389acd45bb9b7a6e65324560def65f4f752e c9b1c655a002a34eb8eae1c01b73e89464f1ab22 f77aeb59cb532ae17550495de1af64b6798fdadc f9ad8b0e4dc237bddb1a7187abcb79226fec1f903eeccd96a44dd580d8c7ef1905f2c611132cc467 3f1ac9189c06e8d1c001a280d6dde4fe7d39e247