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 c D, ;% pGCL:threads=2elapsed=36.805cpu=72.144gc=2.344factor=1.967zXZִF! CE]ŗXf1-/6vR]u6bk;_ؗjT>|={@R ❓U|8ߍ6ك.NLGEcs xG4Ff ʭ ؖ"CH)^h4IXy0H"q*<|_by**DUR/,SZƟytFihAEKMeL-:bϋ/.FKOq_1JQPPJIv4uk<5od;eBu Tzy, ,U鄈wl]CzoQKX;g7E~VZJ|Q>c쬠8ZW9[9 w1cRҎ2WNƿd29Yڰe7xh0ڬΤR"\fp3 ."\TL;=5CEgn=$1CZJaL`^ Hn B`t3n{?_FI݊(!!a+M"_m0n5FD,q+\D_xm\lҨlV0BƘ(w!;l۬* con &z_ E&>&bI! FjxjX`W+^?|.Ώ^A} s mzpo5I I3 z 2 p\ wS<`r C'ԚҨv2AyL:;BCtԣOPB]zG֐{zbk"YTw(财ǴoCw4]QڱjV h9>c|J/Vp2SypQle&\řף:xp6{swͳBq ecŽiMx!znoe{8^P? aźZgE,59+ &=A$$E9\IO곣KOy h;(VYZS 6^jc2;``,I;Tv -W'UԳ{qJ a<~ bU$D326H.9LD w< 0/z~na`!#gHsvK2(Wh\[|RKף`~TQEhYv榦1Is%Ī]k=}TŸu1ߕ\Y1KA rO&;.nm(' ķժrU͑??}ܹ""rfB}k3JuurʶaTcLcA,##닩bEejӻ;HF. :7↛4jE0?no =!Ib{%㱺_)uUr71 eƹLSE,q.-nZ64t&axAyw1}t;a4al/c6/ϑ=U֢b`5>y*HҵXlӢr8  pGCLW T:U BF楢WyF_W:%v:pi>vjraq$F@9abCWQBY*P`~BOt,^Chtz l pĊV )k S`M/'G1dܿ'Dv]!z~)4pFjؔ%#!:H:FlLSqگF!XŦǑ$+R9_OVߖKcM0̐#?w84- {dAh`mb[\`zq8nOUzͻ+!e71B]rKD zRMc jL ]-A䄸:Ĩ/ {.XKݫ)]$.a҆z,[% ş8˲<D;Iz=My[> W\jb`䥐$,Xyʦaմmfն3%f'7exf$ dZDm"D,&Lj}I(,7!+nW`< xߎ4E kySΥ>Iw;U!)g ^GDg,%'Q)|jT(n/;ugv1헋m@.UhU[&Θ h5}~B@0BL.w8I(~ esҶgQ$c_ c:G@IʤZGkaNX1cK qmt,)+׏_}z1j8#eY `'7]PB(W &hWc4n(X s# 5(qo8(7쏸7IJUHEULba|y`m6dKLvW?ɛ\G[!eK C|Ij0)P zU 3MF6D 1>%M O{/.]#A9;gg8HN p[\[+92شg5OSذ"TKI}~ƶՂ@<,zMQ\,SLn{W"WTQAHK*!˥ҕx>\xWG(M Th7*r0nى奛[5P̷)4uZ Y8Jν[k85I4JlfabV(%$~gˮLڜsl꘣?k8:zs, SvD-P=z̴ u'VyɃ.F˫i3e񦽟iŵ)anYVX4I"h. y>7XyI@k!_d̯%!J~A/# (+NvTYM tXՎs h[0^:\ʝ3د2j}1H+8ḻإ; G*^ܘoX(ݺr{-i*kqr3o ;(eU]^i!=E2 R=6#xPc[\<\)_S%K U"٥0zOC8~urh%E 47c >Z7*đxpzMCM}UQ{j*㔘nm gNex2xL+[Gf#6 =onnOZ{ܿ7.#p%OX^8;"X[ G 17m{Y;^߆Zwӛ/, gD㔾N~VԖ,)m+_盤LLpV@P;pg("e!#x;]x;J`>\D@Ni6Ãz7ۊ?_YAV ꘭^5Jw>'h۷0TQ۴9d"woG7H{e-2{3FGP]De-#|oΔ[9=O-Qm||[*}?덉ȦŖF'_( S=-<+W@Iм48+4!Ia۷hàB~u==Qo!UT`$hzkXe|6go>?CoY>~B(/K%~">@Ϻp>vb@©ޠ%CGsWQ8'O1ϘT.'#Ir 9/8Fֵ1eWkF Zx~e W =)(J-l%:*p9c oXCq/F-D=1 jA"r(˕=RQ\\_*$H:IKCsV7P&фK*{c*@iHA8S2" [zt& lZfֆa? #!+W)#)(X;4*5cRa a5GK>J37r]4,վfq|HE[AU>X-4Ǻq^.w[~P#BnKBheUB!Qآ?{- ɂGZ;JߝJ7Gv5\w*Ft~{b+۹ƺ uC8HKrtW'0=(go:Q 5ԆbL<$ ۊU933*h2WSl{^lD=2tSm; C=S&߱> ] 6?l4mgrȁ9:36Kc3=2$nĔpaWbZvGp'@jsS.U ͗JG_KAA}xYL%ȋh(jܬc>SHWO`eD8BEWR,+~S,yE*^\M;KW;{!5TƜA+]=?p$Y%mwCՉϏaQޖ-/ky g=J[oEF}. ͷZk<tִM[AC稥0ZT䧆e"]c e;N6&&3nM~lW}Pc>0ܖQEt\yDO*qNM8#lahq^bϻ5r^QӉKiO!=| ԳZdbÔ_:yҲac 2Į)T},0T #3,2ƆPZgYZ7zXZִF! ]ŗXi%g> 2 ([kRt!'nTb,Jz- Ro}Np*3++fvZ}$ck$4_ el#~wҢ }):{_,RjεW\C lT~?f?LnFeUѐ8/щPa\͍OA/1'& '֍zVn;Z ŹœbbbpN9`L nbR6E \9L5h"[GBW4t0?mPgh>jȉkhd20kis6;D(pغd90 wZ9ɹC:Mվ^c+2|łm!YO+'2cwuyUC b 6&5V|ҭ8}QXZ$W:M fW˶})&Yc}B9eyRǩL.[ؠx+coo*v)xg\,SJBQ;QSl5Z]#  W5)A,z͙ܱ=hPHc(}]v&3hfǞE4Ef3/Lce`vM40ݘ*,sruq,2!s&c•I/]kfP겞Z]H^icɒL(tGp`ިlZ_6u2JBQ4n*19+ CM.QjgνG}*6D H|.vmrXZ 嫛tP\#.Y[ٗ$_/Fӥ