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   k 4 E]Word_Lib:threads=2elapsed=71.308cpu=140.172gc=3.036factor=1.977zXZִF! ]ŗXf1-q恈ebLi=<^TIKl TW3%鎀@@"u@]@X%HsPeMmHL{4qeDИ0W°oB TspּZwMKl"fuuuC!"]*{X~[̂`D}ɓDM%"+L4KPN#մ.*wC/}f/IiQ`H6Yp"N_;=06_((X{O|Ą?qt ;Z8w6)Ƃ/,>QT#~@ꨞ̶q$+?<lzvp a+8l b~{_<-~qV{1,qY*_#ze %޸~?S0kt<Vi;˜϶m|s=!epì<^"_2m^DF)s 赙#t?E61hUMݣCMOgU)s8%( 0}.{ !K`ܞ{5,TE߆ 3Cxӊ DYZWi T~fG7O#ځs<#yw嶑[;}m&#pmI('ZR_b%w PGNޣ{ex1$P_Dݤxl 80pYKgk H-4:t ,Z`yQ`9ț1!&6kdMӳC΋NW=ąW}_M\Qm{"w2+zJ^AޗMIBi-ܿdiEh dLϖ,8q-ǂ~biќҖG {8t8EA_3o\^ 9OӔdzc9%w]Gg0Ei>fuO+J" B[Rfd0B+b2V|ELԜZU%`Jb{[t r䄢,EyUcvknQ q5@RyMçĚ) *APGvE|AՈ>jRڶk^M&څ^kRae_SЍvŢ(Ѫj !ѳ TH-9h;en F Rfk1΄Y ߇A\;S![7I[ɠX0g}n%HVmXRNo 6*JIyS~ "2,CTo&mP/='Z$%L@ dj5"y1O,pw ͢rɧTZݶz%azE$z*sTǢAl'}E m>}0癩9<[JYW '<ƅ EFs{ҲlzǷ:CLjHW8X$ N̬գt^Zϴu5bgoxCw\S䌛!9}^q,2B_Ǻ5;%:)־kBY#s^JW1#v͌CWR=اiHJ]7= 5a ~WapI @*\]#&wfް RcpQP0]Wxk_C+? Cy yl䩹 "[gڅ7dPzWթ5st̷kg΃[ vۖvՕ6/3n!0/TґgV/% m@dZZ;E?@R zd3sjoG\5o\)DAӧC:)հc>btxUFJc ?SatCL IHԛ?:ZjJ5i_g8I L ҂QEO@0tܙkbbȾZ%_)a lB)lWtC 9H52:J-uHԢT9ԤfåA1.;Z "7)Z˷ jngEiOX8&FLj?썍<9r]6(|'ѻyNʾ7iMU|D)"YW+j%td!]'ȬFI n)Ԛ^2`cl[\D*_,f3Ec5oi R0݂sljeU**Y832 >,r(n."t9|̜u_9,sY9UuDߴTJ3tU~gQh3r&J3!Qqӹʍ~Y-RO1[.FE6D2$=8?V*%pH{j $w9^y;[i/"3}aN(\Wqݡ1 >Z4?q˿]Y蓭wݢeʹ&'40POY+dմ3PLTt>zdz27iXo)9)O_݆ۓ'j`^0i$j*ZXee{ ;0i{ߌG,\$ .9o߄&aVdnM';jcy]yɭl|MX8ro!q!ѿXCdt/(01caa!b6J交hJ {d2`fEIRLǽչCt <HBˠઈ%YgYZ7zXZִF! XS]ŗXi%s쯒?dV{J>oZc=[⯮e[qE=ykBj6DN:u| N m 7-1kAΖ@]Q(~?T/ǡ[X)[ 뚀9X+n 8"ڊ.p,qWbWCIWQcl0H|Ti@TCpW}]w H_>>v1(@0bx暲NIPa+GX֬ !bRHA%\"Նol™ }t mz:;:p7ؤp p$"}f4 NmvfĩƼ l?p{E(vb!, I].kzsۨ{4~_^zmY@bF5gN!Q &[՗ 1o66)hj[6oNى`*E^y_HQC@c$'[։IG0SMz1c|'{ :\UQMJ683ICz4er8ӾK B߈(s6\}[;3Y GPQd/~1G*퇯w*:ly<̒KeP]Ҁm YQ!ZcWH nTQcCK\R=;&ҧ@ru,%Wh%𩰤X 5_ܓЈ\9E_+ V`OZ˙m ؟av 'EY뎊P>hb] g\oPˋ-ʸD+lA 7v mL1հ&(*4G n~^lֿ~s54#G^m?tD e\\),4|j ›D(<βkphqxMg-]-"gq ef] :5v?Zu|!q'3BK:4owRp[-QJMJuB^9r'Y, _]҇D_p!el@>Ǡ䉷NUB!;O (4> Iԡ;5k ^bqb3҈9(@Iܣ"7)46g7;u06܁ex09 ",%(-G&f+ b}d;N3]v H,yb *m 0ЧBlhu4eaTK{?~@0QB}EW !--}|vMhgճ=řMhlAGfǖO BvYu]D=|a_a<6wWk@ WمzϜhX% zMqQYSY;[ y $MsIVcR>1r"6BJl4REp rh~1ō $!-(I#)H8VcۭT~q IkOlM1FO *0]ֵ퇟BBC7i9ǕM_tv$Xߊ\vXl:=:~ LiA*܆=wBxZ7 JW]G"tؽ& ;V@WO[W-RV+@¢n7kPR[THox ]FMQ H' tKM 5L䈶;^8: .XGȐye~w8qZޟ(s׉eau9y#Rla9Ġ=7pXQG= Ҟ>ߘ~}.l.k =۩RR}2YWչ]Aus($g\.o፸,{m.E(f=vS}۪lQOE,?K2N6H@8ұ޶$bd,~!e}}Ƃb5WqFbT(=b*vb1E';Αr])(4)Eno֪a1lϋ[2PNyxG˴E$h @ ~D$78jujI$ 91GuݤuiVSjB֕F,YSTXv^_^{g% ﭼ Li1=m]BqeqΆ[op}hݮ3ugYZ00061e4601716a25cfa8f61f253481bfd5760681 026f036d1e50a5fc0a49186e01329ceef5386dff 05a3c93a72423353e3bdcc126c2d68e831008eb7 2315689993f4970a69249643212790a430eca7eb 2d4eafc74c6b9a723cabb48511a1a0822374624c 32a8f05c33f17cec15254e8a0c8d20b875d4450e 4ed99af14d931f56a78cd23eb4da955a5dd89eb6 5d7f7b8b7fa950ca0c15b10590f3e413daf1e2dd 5f0797493503d8a4a2365f9c8eec899c63baefe7 8ba9cb3e0ea3c32616db7ee2b8f0a6cfa5ba8b76 8c46585ef52f73988ec2c3c3368a203f61ad1179 9386b38d49374085e55202df2dfb8a71b2e51c30 9d7605e1ea9a93934b2613d7b81bf2c31ac8e424 a350dfa1bca057c78391f1e6159ffc886086be40 adfa4ad3b0342d8d3520444498df1eb0cd75dc78 b7f9df5c2e72fcaa9a6c7d24ec469bb00ddcd1e6 c043a99d737578df868f29c83addbe9ed9f9c34f caaf5c421b79d41d5980c2f71cfa96bb35c6965c cd3237b53316c58230598e8b914fd4c991392e4b dc2d3f170e37c5acd80b212e16300ce24e1565a4 f48d1da742ae6b8ea680cbce305b2348388cf22b9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 7f9ea2cd7bb7be132b52334531098cdd85d231a5664bf71e0ebb6d66b3dfd16d5fcd83b2da8549fd