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 II,', 'w UpDown_Scheme:threads=2elapsed=80.067cpu=149.812gc=4.548factor=1.877zXZִF! M9]ŗXf1-q恉<]d %S TzA=0 e" 2Yjb\'fɋ{_M. 1ޙQw;7d;~  ʠ`1Lup}Fnw/Y x|LMjWMY7NІhe/C&rl˵C}2x.+ /YcH~^pFy 3 j1m"zNUW }ͮ(jô'o* n?j(,a70-z>bo]fSdeB H\- \i.RE{e8h"yrr(NQV0 v~Э @j9fevl?lsV+]IqCvD Uv /{:ɾqޛW nCyj`>r\ןX^LI6N15hw . 7g M"o0ZpQB,\ ]y`ZkŃ>B浸M`c}X59z5QnQCdVa,%k& Zy1CeDZlvN.}Afa'H;=6~ZMﺡ",7'$LO|.da+}!_C^dJ>1mÕB?n WvԘ#1ZGԃ08("$U'ta;kƋv䲠] Nh?BԛRvO)ƥWD׹v!xx?9H_V;Hqر%sS#hcT}կS qfgSWl0ˑ/&8p@e[ysi2̅ƽ@u3wpn7Eɠ*mtx ] l4\uG-+`L# Y<INЬCgBmc'g#fw@f?S  ߒՉ05 g߁L&?bͰF14o3c] GB>Zճa* Cc%!1gaU\SpۨBe^ RU*}Lm[Ugg6B$VكHN+p CKSZH}YyX鋧ңd5FSS䵔am7.j?/xAHweb޵ jr U|yXZu=:jY:ĩlW,DWX(<C\My]H,Q ޲hmqGh~gYZ7zXZִF! ~]ŗXi%6pQٛȓ/aDӅYjO!< ?lB\shagOD# N8ǽ)"hȤAh({jكP]PAcNܕn&?xQHל>Ds Zn|[Ѧ'~Mi@=F! #nop%Ld$CW[0YcL$MgOenQm[L0s>"l K2Pwd@$ZR) ".Q4i-T$fx%u^xD"! wjhlEh'!ǾP0*G8y9o tC6PXGVn"xH)͕KygVJ*dt_bn/V{5jVQe׺ϔ-,F^8*A%V{xIuzO*D{cwޖnQ%U4p̯5K(3aqxw0Ƈi RpS\Px.^="r쮋<,vR=Zى!KrsC. ']Nrә }_m%ڪ0zȍPyC A!i~omjdR&tŲ!!"/} ,"I`sIꮫϢp |y!-(Yc.=)ioxxEGߦ߲,Nȑ?ŒW4MpZ`Wfhbn4lXvE5v֔pb$K 3eyl*uez9,0ΣJZ,- #F ^hOj0Q"qq`ƏU_\DzԄ^3h尾Gp sOή]Q-trя%-jK+CCPNW|p@8Ȍ5Xj."ݐpo(kd*,5-AkQBT\d\8Lsp'2=0O>ʷՏY k@4P Bjl:Al_HPG|m (2֥p_R(j?M"Ζ7y$Ai?z!qݯD@NTVZwcD0lfjKE+ ' UpDown_SchemepP@ņ%9\:{غ$aY m|l+YM d@QSXr1US"UHw1ӖHsQǜXel8V[De(D!WV2.Cq7ta|w+ @֘]Ź?X&Sw_nƪxdÎsYWeϞ5wi&?+E^)9 UW}Gg]I}p6RmnvB33=0R|E7isENa#ձ ,4o\e9%,:mTpB-8jf˙ rc-\B x%tH "[,R^wQܸAwʮ mGQ>eWL׬w"vN Cg&ӎKyytx}I(C3{ͱn$Em "j 5;Chcp$)_h0/.I|p`*:Z\zrA4WՐ_!STh V0>;$<Q.Ll!r29H 6X$ s@MtQ3O-ItJ߂Hzs W]͸5%Bȅz3 zyKk>G-)`niMGtJG$`lED&^V8^{mi6+;u~ՙaJJg . 3EOϥb7csOWL\] ֨qE],xo9GLtnJlOyT1js I7ާxzn)",ƙR>iVM8}A{^ƌGVktr\V~STJg*c%Q1Yxl5F|DI%poɊQ 8gKɥ -9ZRa$ WBO/rC4k@'* 4,bq507գ{;; uyc<3eZqF59 =O`#F!/]V"m"` ;=h%B8]112AE݆NAZ/{PB7#TN}v791q=)w7<3/1X_u0+zYlHD~h*ЮKo B'caH02g bh%&G[e1<8q4x66˫SF˾^/Ȅ4dh193JhFBheg^炘`NVMyhi@3q6oyō< Yh [ҕ0([>0[: %i7c0t, 6%Mxm˛L;Jwԕ IJ[RQO~ͱ4z6[:˒,K)YGakZwjJ' } Qw3G8^Z*MyMI\rpϖ9#u m쵕{@&7v'+4mus"*s-- =Ne)C<zA Ok T%atHg :-;Z[3ʡvuuKAMriӟ>Iߤqo+fz<,X'z+sJ{ Yi>J@DT˂[ukkUӒ{ VϨF9- *2.LP5&Z\чQ71xէ5WE>W`-4a"߭}ONmNr'Uu7x@Ǹ"|~Yݠ C:wJ%8ϻa񫆇M0l j {8^r@@J(.ykOMeN/R"k'Pb>mʓ2,L-uފA->W#cJGCח8WW5w &gr3ܟ/dtS8E9S#r WW`lSxp `s06_etE=t,`݆ x8ʌ76{?+_˯r! HYXd~/Zk_R~]K}D46]Vo.2aL@|}~b\7e*bDru0H] =^ )k\4)h TR*hMsLKĉ`ƫc c$oHu瘝ςŊӟ/"11%5oKt!%dgYZ07f8b64f87261df9bd323f063c4dec6ef295cb3a 0d624df132aa2e54b02fa619fa707a1b424b9830 0e545f4a5a052e40ff61ae25a2f456338a10c3d9 0f8db463bbd0ab0c315bf2652ef8d341c31d4534 10e67b4af5ab8eaf5241a3c7a08aabfd0608a1f1 23edd5f64326402a349de4645830b062fb61d549 254080b4629581c0bfc331702698337037f1b3d1 2b672a1f3be85a224115686332fc1a5716203296 31aaab4f306dfe157009fcdabf46ac641a696a64 383dee4bb60284cc7229af5017def9c12378879e 434bef2dc377ddbd57a027f716e7f87b8e06d8e6 465a42ebe09346e5c9a89089c22c9c2d8327c43a 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 55ceb412a2fa979c5c8e09f064477b32e88a831e 5be39ddfc5384834ac83dd89ecd9a651bd28f4a4 61c98aa46027b36f3060d42f7e680b054a96c664 6f69cff9e004597e95d59a73b7422d2aa8f96f28 7256f66f37c7d5d3968102405ecafd9ef4f6785a 7c87a5fb5941f027ae6080645abceb96d26b3087 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 8a5e8013672ba7fd2b3f2ae8ddf41068f367e8cc 96298c27c5c2047be89ce4e2d82fdda6e5f6538f 973d6bd96dc9037f8676681fb869d6ae83013aac a0b05f10157c1490529a0eee11b705b3b3063cb1 a6cd5da2e3264b10b7a581ff2bc9dca5d0b4c755 b793c9a0bb1334c6b218c2498a7d5720cf32fae9 d3db8421df183f778daf5223ff7e83c92f3a8c1b dae8c003794a4647f26d737c516b9ecda72d8707 e62fd64df9aea10c10b112ae588b8002d2fb326d fe86bb558389c0b086c6a026e5e21d000ef1432bf0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 7a682a676d8a84f583e52b3d25f7f4b30d4e186a 9cfa954c1991db4fb676a015b9dcd5e692064dc4