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 GGd$ E]Word_Lib:threads=2elapsed=70.643cpu=138.780gc=2.872factor=1.967zXZִF! i]ŗXf1-q恈ebLi=<^TIKl TW3%鎀@@"u@]@FKN}l#r*L4*aљ tϽsp"v>ŏ/f2)UVATQʽa^C7=8k3қ_E 0 6|P5caHc9(5oܴ0=;"!raq m&gsWpjg8Ty͖BNGl>g[g~۬L2LsD~|[m"y;wHU186ϺF3J`d]?N^0ٟT!#D'H'R@L?!o[@2ڲR qo,"{X+KPAUS4 =-`grL.+CҾEܰ'R&n{7mbs;K_fWǖHwS␣bӍ2ܴvmH)O Ni5D;vn'- h:`^h\eG|s ڀ6Nʇz6Ut@rY4=wXv[*wN:Hwwù ^N+X ~/9n4@3Jh73{$I*ϊ*Y%gXQ'|8J1Dȱ\VꚫO7j?fbl]ʤ1gffk8JzAmnu55ԩ`J%Lmq4iOf¯GO ]†]0^hP}cI'.3LVWF܏DXwNvMʃm W -<-)fOM,3Nq$_&Vz~Myb^d(Wy:y$.vAuzN8 OlC⦈0~ K+hUəߟ%孼5=2űZ^F_'lR bcwDhA,[- *}]i}m[ ,&:i7qn#L;0>l][ :]M%/撚G?nޒ_9&vkmS!sA_& Z߲08 ?\Jd}֊[srRx~JU|Vg&_R/b4Xg}l^jX TPڪjN X@g2 5*U1ǖfT5's 9S5et5w X'֤a_$w9 y9Wh0(26nn#B\0z X-<[l{/r ທGwFӃg~x? SdTQGMk֫qJ 02"H^onfUt~ ysXGa@nX-ah ;Fo|3='TSehD@^ϋ?$0fD(LU-Kq v෍[\҇LcF uO|SѱYcnpXm#g΀$ oZlq#SQϏ4]u7~yc892JI}XKЅYO,'6 GEO{;V 2Hsy-\}l .[R$U/1HkTGW+ hs0LB+Ƶȇt5EBV)$ߓnOp] kO%rh ~Ğ4#Vt"dߜU]~,2ȁǺ5hdWy=jpĭP t[*nN;R(C׆vsJK0V@e@ݏ<6QȽLG7z+NwgT ^Ln׻V |#cA<:~.lLM=[f*!TuBr(}T0EyHèA˪ mra@~2〹Ka1UvA1?+Ӵ{U! i5vn^\rdK% HNgYZ7zXZִF! VfL]ŗXi% óXp~:^f4J.75z`[aJwG]GDo!f::k%Rm? wpXOjRXlM-,;(wE~ a}UQdPwkqrE 4 ':N}=/|1LL_O۶30=],@GP/$/{znml7yG&;~;3=kiA[.z-[9zΆC"Dy0,~idѩCH49e{%2䒸/T0uv^&`|Wү#1V0d{\ / 쐣9&HSOj*3NXY*VETH7&MJПnEJ|U`JU2~;5  P_Az3xKyoOْCb{t7@)⮏Xj^vٍ]A1cԄZɨH`,Ed K2 'wYsfɩ:gvS t?ĜT@tq!a}:^2u4 dEf|L.˪-l ̾v8OaDqNNΖޔ^ȇwvo F24{#czS!JV8A\YeҀ_;ܨDpt]eňsNEo,Hv`]cq2ȒZh^̔z)i;]W!.2ǁ+s$pԫA{W;V +rcԼyyUi#ȝg:v64M@NVě,#a3YkM41ʺv,StjY ~[)U>@#ƕ`\ #dX[hf_tW=?rZczkƛ';&d:֕,Kh_iZWjt18Ք.-2jh7s}f`ۆQ$49fcG5[%ö4\ Z#K`@2w*HTx20(%ٛ[5IݐfN@-P.Anb1boqL[g89euK) §HEwk_Ak- eBvK\G{do 7-(ulƤQh$*K2 Q2>gi$!2zS$ ">J܆V lAZgQť]֡e.A&;,g4?&  ȎuFT)k 2lG*wMu=*~I?wt̨ꛗfF'lk輿HCH)}yD$m=a~t97x= ^]008=Ƞ%kX?sFAݖEMG >#OQfd;.);nC ||,{@#0dAo*@% U N3^s^9EfO' LJ};n=Q*G'b cn94/Wrsl}hU+wh+xvyrY- 4uۅC$e5_|VQNv~d޶/]~Kpƒo}~HSgPЋ]Wwmy) ag48db†@_?`T;mCm!7!o_n;_٨{#ǩnُ%mJP|O{L 9 :zpCRGpeW[6&UC)j&@z>+Klmy;RzNK:!eqk7ʛ^/6x@dozNug„>)O>$8 P(VLOFlҌ`İ4'pJ(// aξU0"e-lV d/tKzMb%zU/bOx"P=o?{_N!'f鷰xhd.LϿ@Y8C>ԃ9cM ը uFi<_˃1oa<# >kİʻJ: bEމH̉LIcDOq3cMXoW 3h^}OY >$Z` sgvGӭjǚN_ODǢviD]'eIu+iE"U ߫9pF DOSAC|EzKg;pɼt';`F,|z3A|.b:FeR~+G(6}QψqqOzQHb=i{GI£JSe':8*}[bA;@]7w ' +T*A:5.<^A$ q=v+."cP l8F[yMAi0om7R!A5&R`L:/ &JM221x\}rMYϤ(R [7K(q|inXZxAD; ev