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   M 4$ / Heard_Of:threads=2elapsed=37.111cpu=69.668gc=2.384factor=1.887zXZִF! S]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SZ{/]/ݿׄ Ph_h#9;   Heard_OfHEUq: kHIv%M7@B3 efm[._=]m@y|Qh<^I Եz6O%0 I($ʶ^#Ŝ &,0 86x@IeQ ikyӀ1Ϙzs pv$7x7t ?[YLwK8~5O me⧦?T Iy3ZLJ7ǿ !pn/F E\{mQlLux[HZW- 17 -x .xwa~Fm೸8\=dq򖢜`ӐhljM7j?;;>.mk%>M՞gTDr16ӳfJw;',5['#!YF{Cu6Zb"Ԥy:WU#T`9kP Gk3\H&iU}1h(aot|:k u.U4T bg!,L_WB_a"wvp%BdXh$eh5 ksӲӡ2"ncațŻ59><=M]=cG¡7}@K[pL>N+򏜡d3ONv-d!\xga% %pp}Xq޵tz !)E+Fu4 >4bƲqU+τ$TݢZe]~0kiJS5 nxvTK iН9Ew:Q-c^xV1;2cG_kա/62>e\v;?cdr1*I跗4H~8r cMHP2;M\TԬJ2{ȬKwx5QE3k8J[C&9j&X߫[2I.KךMiGr1R,@H˧ Б|ŢYfƙ<C*:-I$6+rY0 4yu{eV.:Cs%i^9ju(/TмX ] :qr` 9e<)KgsK[~%3! Q"kaxhhQM6c**ċ_voqL?pMD_t`)J|Ob;+,Tg$iH{@6@9RxI}4zSc LgXO#;uNm;m`Avh=fĬ%(ܤ̊J?u2N1^H#LzYQOͫւ ZSk{'gHZx\AXiv$X =y޲GR(j<¿;I*UnVЫo۠: רKghDcYk'n|!w=c6BӢ2>˅g[~Q(;.䒃vXܰă58uQXo1(4>NSsf^6m8-Cw&7FS0V8O᫁dT։boɶGE:S:݄;vi2QEL{, BFg0SKjh~R$\ҫ`1CYzp쪐VN5Y+[JP{N{݂. CFUWCsqJ|wtMoo FUV`t%wh#Yw\Sվ1Hďb򙶸Rw 6*zr\y SIuCS O z-"\Щ͍>:za[Re ]|Veh{iLLNjS|~qNYDx?D"9K^\OߩJ񶶝C>8] ; L1JAB@Lp@Vf UB:1sDQ_v79\9dOJ+n27> k{l~s,d~ Icl>^`Mkǹh/?m:x|[(`L[8(LȍS[^ g\n]f`s^,OݚQ% 6[CeƉ'^eln(z1V©Fs/,D˛(Apx"|9x Z;䊼]ؚV b, lj8#T9F(Bn N5DJ 92oG,AP}鷀{)D fnOb3S*2ɝK̢T?cm~Z^`'>JY0#@KPV 8#G%˄`(KxCjeHT?;qʔn 23wEi,JHYQ fb$.QWQ2Քvh ^ٕ"xZ-; q -a]^Gvkn k.>54>v<P J䳄Tq:t~оI-_6uuاQELK\&R0*bvPg҈|- s V"DNG$js`'1\ש=U?| %Ya^,+i d {B-f\sA`6oJpO9~8*˭ hj3!_ղT%EN1,BU5kKm*g KdW3 q g[" TlV X{&MFD|=kA5C#-n )4gЮ.ǕHZ]8]%k+$ rn?<ʰhe:橵ח mbiX TiT7 +/&@I},zTr{rt8@L 9D 2.ebWdXm 9eEÕ&+SdHĎ6-.@]&b ^,E) a]E"2\E3R+ .%_&K gIqfSzH͆G|Oօs#Cw_dseA $ߑU|тh'VY̘ȥʃ{< ݡ{L3S ;-u1I|ߩ!<)-9n4-ٲ!H?gxsWr??ZlcPܠh=WU7 qkQ[O!#r"u|>ːuY,_[ oާ'YxsiZS pm e= ԙ@P%3}ٚD:4r-ⵈ5|,RD:40T㕴I$ ıgYZ7zXZִF! ]ŗXi%;y_һ@qg[@RΗu},%<&qC-*qp]!NWG WOA]])h9Gaz4.0*{R]Q pDzJ%pB@MO Z\en (Qf/kQ1x=fW&Щ'ځ1z?ٻSÑ\bc,] Gqxۗ/ [HD6RE!^Kf*ۏX_a(}:ab&cͯ"bT5أ d A}yZ-Mप#o#]#f}PFهpruq u¼_N(dTD3J3e/ST @ 3R󁷔V͸`/06vHb?:Sz A`sB<&h(r9U1}&p4Κ ~:9)dHSx\:}K7%pɗZeBto݅baH? (4l>푺Lw~}pTLT@_2/̉BOz"Z;h!ȇ@]L.??3`dJlA[]>FkorvSOXFpWc!"l=*pWnFp_L#vw%2 k`MG<ג9E_(}V~r6-&35# %F <[@t)Bg`HB?Pt ؇qM)͘Jz"PcXʔo@BJy^}D;%N< ! JƋMNs3"vئQS0٫/5gKXhIvaDEo@PrUut7`FӸ߁j o*ۻT֨Hx ϭ_O(KeePay`_˶yw2yt|]X%MYd1AۖgV2F:"/fUhɠXPǿWͶhYȨrO"y R qWކzsE+$N|޷K3a+81v`I\ĝ,YHbpJNt`>D#eaFU~fRV ~ T@x2xe\x5RGdu-Ј!JZfLڛAN Gc02nƽy*ɿ݈).Ɍ8Y6 m7vsα Kݬ/&&[V 7%(tAӮ'E(ڼ)@Գclu565 z FO, $(R\+*XF̕ ;pŊ-~] _3KSMyrȉCe!u2(+p@wKIm(1,+M,ViVgw5&j*yN%j?ЛAaYJq aHk*j orGY%E-S]U}.t\ RzF2 DOwvpr&TsE5b`%)iF(qA2 cCm[Dг[ #kC 0Ž;|lRgs M>ɼ,!oܡȮmްɏ6Sc-a*ݾso%LRM9ՃgƵ=W/|72Ad 36&+n) ngMk5it^4/,6! DZ%s2,L2 :<ꋌݝ!rh"ךW`gkXYl!3{}Aôb~L ?KA7]iwvꑙH1,*LВlU`MG٦ßsv3uC6(2WE'Bz"PIK5epx5QFoV[yXԆ,P>b؀QpflBR֑rn16ҪV"0^AiqM>0sybVe]ωM]l1l_ܼ X gYZ07fbf43350eb20c78e21e3c880ce16e2193a1046 29b0c1eef527a70648010c1a77bc57b3054d5527 5494a10d7bf11c4de909a12a92e487c26fb55ea1 569a7e91dac874abfc9f59e3b40f90cf969fafcc 5d13452a27983e538d261502826594d743acaaa7 5ee230635355a48cc812996c21fd20f797f8c6e8 7b6ec139de0a604f475d62d05f428136b3946790 7fe389180a718836fb9ab643c894780ea69160bb 805122a57d3a0b2bdac0a95906f3bffa1d16f815 857060ed8c59d8e65872a569304dd512a8049f5d 8bdfc81df497e23e2b530acccb397a660936bb61 915f2cac785ed88789894b5d7e581086ae5ce380 9482d80f8e7b6d882f212f19b6f42d222c5cf9fb 9a6e848cf7bbcec3ce6567527f9879425bc9a621 9b1f321658f3646bbc6f985f388fc2b2e09cd4db b394b94f00fd69962a31ef5d1297617398675dc0 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 ceb191a738ce340c0625ad49b38fd1b9582b424b cfb65f6a2cb4dc6833bf754cee194bd6a4b346fe d528ac61445ebf01d9c00ae78a93ed2a660aa700 df3fc9c9cd5e68fb92332d8bc39877c97204ac09 efb38344a46986ed1cab770e8beafe040322a6c1878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457