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 GG#  S]KAT_and_DRA:threads=2elapsed=41.271cpu=76.660gc=2.656factor=1.867zXZִF! A 9]ŗXf1-/6vRZGq3۸-CxMe'D-%*+ *A}AޝhWEUɲB&Ͳ[f,⓺㣜bݠ4Wް?]hI>@BmA:UѤ͍Z jGF%8{D.M ͬHDPjS-m& 2RXJF%zmeOD"rFrs$_Ď^yv2ăgSԆ9g]ŵcl:x0o44He*%ܭ_V#T?XsdeyםVu?gN^:d%awnVKոa'{Lo8iI [#7/k:SNe NR@GV kK= ;`z7M%n.&Ë)ڱ#-9O΄}:̏raӍmF#Py'%ùp "`Wɰ,Pw3ZnLg=363hPn.-V. P # KAT_and_DRA@CQ3DFs?dsQh"=I^p([L'tqsc;~<$n0e ~Z6e Rw&|'6pn5@ @$*c)KTl1=Rwolh]$M ͙$1sVJ?B$@F9]JX# V-흃laɠڻ(p0nARȠ5,}RWNBf{"zՁhkݼ 9$Z̄)hݼɪZ~9OJ!@ՅQ_'eΜ ퟷtvc[SMo@$Yv1HRm*$pk$"~W , DLN \1x4zD*va2H1_{.}:~D)AP=P. n*!xiSxwakC8ѐ!im+?k4;ǍiDn'ɂ,檥s ؍TMO)V18Ҥuu}Iq9+X/ﴨlq$yVx@Y iYĈhUjrnxYjΤf{3~9Y\Z[Rڤjj w_(I%{ nkM{Vt9ᎍa\3區tD֛a{O*?$ VQU$/퇖w]C+Be#B57(IV,wZsWG ;!3 ;5wkPv**)~煉y%RaȜmf3Ahs'tSܐCќQ9 SXf_m`(XN$ q+7B+NiSB# L%ъ/Xllj0%Hg6X ͡Lh PtA|]C_?- zK[)YTtBFUx/_S4'Qojlg1^[^mbwհzI-r-''9f>x>:X xiF!־S\@ڿBrrsS9WmH\nUr898ng.)H.Qc$Q1VPڨ"!\z{vvU<*&gb\ ^Xh;zI1rƊY{d~̹>Ɂ"U*6 gsեˮ 'H6yT 7dk:uYK&^bvǴ ,krИ?eX}j9Uh/!s{p0E\aZ<>b2+a%u&nz:2h]6:ei %l& K[#z]>uM³÷W˧LFrFy6-S#fosʡSmNY.3Y+;Nt70F&3Lnat!z&!?Հέ6 \oKhz1 }JW7GV3? )/~۞-KsXj'=59F{̏\w:5 D܉5c,q/@EmPz.)Nni{S'jna8{,Bq.G‡2CN݌fhbΠlj|dI*&xR$3BB}jɌRd5ߐ D0輟gYZ7zXZִF! z y]ŗXi% 9CT]Pk,F/bl3GSA8.ܲ9ƻ`pMx'jp7Yɍ4%Y_Lb )ßõGX0cu[ʒSZp$ꖧuUQY") "5%*-Aû(utjyUiʳcBt59rΩ`~ ]kvDݜwjV)"T״Yckr#VEl?bhqTh>88Ng+%?6vg09Tc&P"S*pwnpFaeC%蚽Q$rΡK+`1`Wɝ^ţ<'PK(i= {QG睢*oPa(,cghJaܨ-,21V9'Y0n:NWwU&߀Zgv6'[>Ʌ%1#_&y}PVYE~fG y!go$(FLL|xoگkZ8ʇ"g wMǯ eiemq#Ő VcL:9d6Z:9W-@ TcsAo^QZ0b uhR6GaXoR5KC74'McIhS-V cW`Lj!``#EOKl39+KaUŸEKug H6ZTgĥ9oрN'o $2.?ݑX!f˯iQ9r8KVi?)Sk1xEN/W}==X?>SY )ͷ nǺێ c9^N(7hD>] L׫ǩQi btIFP0p,klGkLȤ .e:Xls^)TZhϨa/ " ~&_Z'U*Jiu&jh$-vd5K9P#}Otn#<\QcҾT6)ycċӃߝRP=vj8'R4a:e ̀CtoX7oV/SAԳQLGKޔ $#5nV;pYI5rr٭1ۮ͑wϕT;@҇yGjnJƼ(e|:A!"BFePx\{)Z};*HHw)B Q۪iY}#SB+"js F[AVpg9_1@wܨab7jdtM$U{k۫opѫ0H}Ri:"9kl*ȅ@HNT.B}C/A1`Q$9J ;}!I]CsK2ZU/U"_*L7i&gW mX{wCV{ n|]8p+-vvg4Պ 3J^u Aw]Rxr 4S߰|?4|A-(_<1X`YiNKCДf|im&,{=e۫$R5!*ny.gBlޭ|FK%%XY4Uc%>mB2[ljARTwH<э3Z| UQy!?J1gYZ01c0048775c4fad436ebe10d13ed8e1f01285bf8 1cbf02cf780747b16631993a1808c11d7fba9b3a 4b663a83ac9afc94ff378de00ec5d0f8085001b2 4ff9cd7cbafe3c28009d236fd8faf3908686fc45 6216718ea823db5741d27375cf04cba9020c04ad 727ad21122285c26cc6a422ad39e83c006583c01 7617f555e9fbda81990595ed393dc00aa18cffca 7b69e03710a91f8a4dc765a50cae2d6bd9d86280 86c7d772d6b1bb25170b886d166b3e772bb863dc ad6a04f85888d65167a6597491bb8b77cb2d720d b33eceb3bdade92e0067971a98393ffc6d6e1c78 c8f23723da27771e0a7dba0f0694073f3947d28b d249e6cf862da52f85479208464f281c71e8dfc1 ffc584ee00914f6d425275cc6795e72479b275493b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c 3f2ab5a11cdc0e3f55edbba46bc7f76fd89de14c 120df08501278bd017c471dc3d0458d3ec8aac7f6825b88f8b44ce5d5afce0f9a506de38380eaaa4