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 V#| _/ LocalLexing:threads=2elapsed=97.507cpu=152.100gc=4.388factor=1.567zXZִF! LY]ŗXf1-/6vRZBfߟj2𣌑' * 68E(a)l8^ •W(SvjoB^DjIRZ(&xy-@Q=NPIl>~ūF FqxE4T^];d=LbXEEF7"`ء:c-ۉ;%g.t&n˗\B!Vjrnj.u;#-3o ! "<%1dvM l[OytT⟔$nAס; n9Ԩ/+Nڟ{TfN[dDo,{=TF z,k{Ca]؅$Mv/<a oï,&+-0D}R쟂x &7ˑs_b1Y|WG?W,5a!]ݦVƿfC7N󙬸?BL%/a$iՉr/R>xElNE#d*pS&hûXr]VA3F;4Bv5~?\la5Li·"IdTDᥳV iJlkpҖ${pGwJ5hNvHO'] ?jcOQg1_~lue.3fzTO%#p8O2 ܃#ףco\*)oeH'`ngQkjGp; vxlWojL<$׎'ǒQmtMiCBbv5vU|a(و7qVYOlwq AZĀ!z, 'Ȅ9'V1J)"bB4 Rnj}󥡋0"=_5ژ\9gYZ7zXZִF! F]ŗXi%67bJz_I ye;K}y\ ׸(?ݛzlcC1z:éErF6# J4I{+//9ZiI"/![XzQC'{Q+?Nb5LwLw ݪU"O^>)(4؍'~Td29P2br9$*Q]zB=t.H[Vv޾xk[`9iB Ox A}Xn`7\ޗ'3%OOI1/u;aqP(P.U/> '{Yí\麶3(_>[hW`v$%/yQݍb [8{s՛>s3e63tl1+܍51"'LC$_)%W m`oLdg9| E"'èoaz"5e^ꭐ!*Bw*xGDa!lH4K?W7H%oSX{n}eg[6A%:Hp d8w/vs$T{6>v]/j7atk0#6.dׂA_ۥv)?5-!{`EDhwɅ=µs;ibp(ouA~< 7`s*[60yD90R?4v ؅m8+è3|zIL!, PfU/ٷ7a(~f1zFp xe+-iť3En ߦ5w'wZP5|OŪ@^GJbOȒg{mZM|d`ۼ!S/0Hգ]/^a^mᮻ>Vރ$pIvAXژ"j?H0*޽ᤃ3D]L! pbD^XjLm[rs&R9!N!t9~wjB ^5%fuu39,ť߾QKLNe- l)&WUt7^*5H%dBj?ax%-V$u?~s[#<%S! b`h۴UT;5|HtG3_V/!uU6DQ w%;gufU ԹUbi# Yy7>Pl;{9t_E_bLWw勪KRpEI:{dOzΏ auܸ aBgBu- >uRg (y߾耱dɘ_'Ǣ\8!&ppB Ct:̯0B +^O PD:);Z;~6iǍڨ&4͡~3o Qmj/EX@Gk6#S->vS zn:i/*>N?-a~OOuAy[-LC9 LgF_Q3ϵpimaoej=i3w<ڪ|UI6Le6)z\=eΣVs"/f?zvު1~xSEGC瀹L_b(uyNCŠH,ԗ5~Dr{`xFN=X0>_vqhWqV"~tjIqY7rnYqr2ߌ+#&3be  eAnN11 o}'E?N<2_t:,2o?}JQBy|TS0aMy} +&]st10W>3#&a!4yDy-8,B;kyS1ugMou CGұ }q64V2`HbfH,; ^Mm8m=p?Jr;:i3^RzIhfj[^un_t}ڿLA]Y'~#E:NflGT)aiS2!Ug3eS-%Z2^Þ('WM_1kBwThdV>[Qt:u*.IVA{±M" Ob%f dQrxfAĦh 'C鬺ٻzѪ%ݸ: 9=*BV:_zvmy6}¹nk }CTG%WfN`ua !SR\$?C Bp#̚J ީYŢ"CC&؊+OB^%W ~TBؐ9s>yI WI2͉cqZvmG;C 5fY0),>4(Ѽ} 0JC)Bm|A8GӸgihG8Q { TݨQV[ +;Li.Pj{"6y-m6_;y\B%B* -^ ?CokHLގ‘opLlsWm6sjmqPX L̋B`\ >:vpYϏMt 7S̭RJO+G59pI0Ȁjo{u y.}5"uMu€QXȤ;VF OXc3lV(ubӡEP+maR66Dr*{0f=ޘ6ÔpJ[ RDf+zhRl= 8]v ҺTݡU:AxEHr1YfY%1Hj_8`+>g4Z71 >쥖~Mq߱ {Nr9Q-NN >f؋@bD3knɍȅ@a#YڈIkm!R* oQ>6v\y4dxH 6(Kbⵞz O.$RT‘YMdIdCp',ף-sيxf 7wsS+dNCB D|( ',&򘒚@1#84 {UlCH1mFr+Wk ;Hڄ><,]"W`'hC(y'-&rH^ y;S9\K 584aEs̭HuރWডf+7{'))|i`FSG嫜0adJEG/I7V{We}džԝs=-銘׌~  (2\[GYFʡZ/K/dN SmN tEBPU/opc҃r>q_ *9'cVXзH4˽c۹DM/V IbcrlG$  r K8[ 4#GtpP޿Tg@i_d ;#r4‡WϱZ6D 1O:3p)#/:(KzrRt[@*ǺgYZ006068cab603afd939bea23dd9af161553c08d3b 15d5450198c7456fb8053ab4c8ab1794c9d1e0d1 268fc59ecd2a4703f289655658b8890a9b0ff4fe 2c42a2c044b43299c5842c00ba91c58a99f2a406 2e58b1680b8cdd504a7b4c1a094c7bb95e88ed33 37b521bb981ecf02698cb83df75996d2ac5b0862 38c0b72a92d13f861881b5cea1db6e982b2851fc 4513f75491bcda618338e486093811e5bc2f1636 506dc7fb9b037728f580e6dbf67c9c8a00f5a4a6 5ebf709385d4644dbeb79755121ae35ebcdc1a0a 7d779f05878bdacbacd3782c94af23703d81d7c8 7f814707121ff2866f8d7244082da0defacba415 86bfefc043e9b14535640b176c2fd479e2fd6b47 94a9b09dcdbd19167c2121fe21db1559abacb07e 9ba0747ce20697c7b6f394994d6589ff7bc646b5 a457d8d1692aa87ba261b39895f2add0a4414ece a6b8ac37113af8786822a560ea986eb88ec44e30 ada80eed69182ba0e96f8dec791e9aa0811c06cd bc337828c4f37875f2f0d765d0e59cf590643b94 bdbd87ffec62724f704bd6d678a5867019170f6b c26ed6fc729d3ce2fe2fe10d314e1c1b03b4a28f c8ca242337f0b0ba9581a06c6f69044b06b317db d452491a75e5f7fa37c41176ecf43e817fbe19bd d8140eaa46cb2f9654f8a05472005287d62aab89 df65f8c6dadab47a20ac1eb4b957337c60d48068 f5b830bc198886e6eeccdb9bd1e5d85415b3b825f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71