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 E $ c BDD:threads=2elapsed=72.134cpu=135.984gc=2.672factor=1.897zXZִF! F>]ŗXf1-/6vRZj3ZX7f\{4= EK#fdD.vgAtJ ww}pz)>}]Ӳ$@6p S[N_87DrG:& K hn#M!iDkV׫ rޕYkat26ߔJ)8mg)sli^&c75 dZ71`R+Ѕ},fuk!]>gBSg/f5`!Tk: s~jw /h pִj~ 2^68v)ׅm0SW唁]~LiyZ+A"mj"+rWSflMPx%#>jǂ fgoGuw t鴭R/R ҭG妙_ב\0ʮ~m>k("jƨ>6Uʚ*x*o-u)<7?DŽxc#Y۳4( ۧ@U^Ƒ6wRmdȳt#|`\4w^<1٤ӋلFbX( cT2s# ?ERz>͊L1(Nd (oH0XL#u 4iA^xnB5;M6!wQDj͊$jͥBY*xxZFNԧT# 7S+4kxB=TL霝0r|ho sLf֨Ɠ]S 0٠ϧD(u*sAP0Bre"kUÝk\ 3 "18wLX@;"9S3}C?*hr̐fS߬eIe")˽ 1 ߪ_mib`F)ALl=I}]Ũ2(ZEC}%SuˆTclwz+0h#R4BzSpjU{SQoRqe0MEAN~ZN7Y, \y0},E\>+.TH>qz9!ʓu]ác$2PCvV%WW)Ϭ(h:wx&6,W{zoʙTxcFr;oAyL6d`n-at]܎nS#)]2HyK~;R@F<9ߩb0/=A׷+9QRQ֤yQ.AK.R) Y` .Ufr9" bpiSډD0WoE(}3: ܒ[e0d1hͻL u!GC(!Bk?If[\&w\oz*HIEf:LX,Nz1PV%~DS$$vWAɐNG/ -R8Ƕ[B.i2g_vb]sp6zk+57Z:/o燺'"m.9"OGp*jq'-WbJRP=Tw)H0N'9HaʼpVl1,X6&඿g>qeWZWkn{류ֲwivfg8(5ME$Z)wD*sM蓩l?wWV|>""CA''Ϝu=(]TD\ݯ N8]nSw[N꺟8hR:qo&Her{y0M{Ei!XWϰqb""D_NBAXQ3>+Uebn䆾N'774)#̧f|wT| lfVӔ_XlHU㴑+@MT$IKN; A s%PE=r$pIc$*apTuCޔ(&ՂzM=fs_6Gl1V] C|ZOl" "hdS^^`XQYqH_NG1YW"rLUrV``e^]Ai|Ѯm2 ,@F٘[IgSic%xKY  0ȼi]Mxa*Gs3bKؕ,D(rZ:봬/`R+W.4 Z{^Fy9vb OS+P cw_IW~gu\.<)K FƝA/YÓ=C[?VA(!ѹhNޚo0V4N!a F" %= Gdl`^&-f8>AF/דIMĄIS^Ʈe fRr$8h`V%>[UI{w 6OPߪOr;H ^ r> Ѷ'NoYC![l7m!As(vI&`ۛV;p82GA\RXZE[y 9b&ޘ-o.)G@F`,w%5X|u+ff+o ʛ.+Ҡ Ÿ+ FWsUT~ i`[7B`x#7R^p, կ~x6g1df U[Tq۵+ݺlIk0Zi*,S#g<#=z߿ͧ;]<[M};EVyU% M%n3g%Gy^(Iz۷XJǏ\m9OTD{ b B~@XfSy~y'!Iq,.vm'ܺ܁\kKnשz ޴PQmRq&RoJ1Cȧl|HrЭN.9K;({!?jN4W3vpqc776Jv7=m MIwaj %R^6(W볿~O-(P[MP0dϩ*doSpjS!E^RzMq}Y7fXZV6v`)h)XK.t9"_FV174QTptw Қȁ)YP}!)7M Ϻ =P ;Lj!'Uke7W swN`hys*V7xSS %t I;*&o[rM<ՏZVL&PI%*0Gt!V_kpuA3W3ڻFZ4aB@2;^'S\5pϥ.M %Ș\_TJV+_4Ϝ'҄EoIty%sv agzC$1e{ ɕ fo&1#=(6KٳzUF҂x -qx{DS3nY)2s6<{(c_ڗn%O0T[h/IxQn1_٢ˬwэRY ,sEA'/cHS+dTs܆PB,R DOĹ&[=Rd^{1T숉N _K-5tB9?Wc-ӬߞC!n }$GX6hdU8*h!9|FJgשׁlc)/&3[/X$'!ŰPZm6בּ:sY,R?H*шS_ހ$cGC W) -1MKncE@e s9䑶 3qܢRh "z%ăw(mv9^_7Jp]4H nvd/$f}$iPZw6hR zQd20vOI^sc%,U~e $e#Hj[Gu@Gdy`dኌT%W!x-e}Q=WƖe]_Ћ;mf*=wܾ)|DzmĴ-}13-,rtHW(-4bR7\0(OsPtW܈Bx/K8EK~N\rԙ?2edG}u̕rnU"w3L_wWwy;YYdD~;PXMク 0[D&!['4]6WћsdB_GOXCУ)ͳnڽۗ/(-]7$7ʘgYZ019954d87c5f58892235d9ae80daddf7d6dfd21e 0826e86fa8e82c4c20ec9eff31d8bb50a7304636 0909d19d7b559c15778419e3eeea99709cfe2065 3959005fc3d8853b50f07ca4aa783e0d0fefe4fb 443a551e9c13c542235a4ff4c753993dd761508f 4c9ec21b63f2210566e859946fdd54905550b062 4d1e02ed60e121180000bb8f1d0a4c89e2a31d06 6174bd33abcefd603606294075ed4c44a2d9454b ab9fa2e8b982b2c6f1afa0e073eabdec2651aa9a ae96e81b03433e2c4cccfa87431aa542362efdc6 e571d058f186594fc4da486cc4f8eb7a738270a9 f5ed676762578e1696b91c9310b62ef3f98cb6870ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 21004a4f51a7a25839d13676f30d8bf1e05b02c9