SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 "+ <$ ] HOL-Analysis-ex:threads=2elapsed=39.961cpu=48.888gc=0.536factor=1.227zXZִF! X]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'bS` /Ƚ(BFT΋Mn5CaW{lfQF;-{bi"7j6Z\Pĭd *!,e!_EYvݿͼYسJ`ZbkQVIVDUzp\Ĵ3դhx ,rv,xוQu9mPlr'5(dg/(b[=㳄zC@-": cV#kT fgYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.680cpu=1.376gc=0.000⡉Ê+kS T}YZ7zXZִF! ]ŗXi%>gr +YY )c7odкFs /A+:EܧiVBƬ5dTa)ciY#'4 ,7yblc,GgN x(*6Eri eu|_|"'.oU0 `gZy6y96tŶ묹V[yLx̢=vCJŻ ߣ5^K ˓`e22d"T(٩Xݯ89/|Z҆h@!`j.H+,Uy(#^; X,IYp^hLiIZЮJL|P\Oϗsy}-=eX4&rgM_@`j-oM)3'?NUP#kJl] d^sS _YG_EA0'>ϸ1R  wxɽS|?^7q;~T޿Yn4)]?~/I=@,r3t8ߠ[D"[ xmbEƆ=q~qPO:S|.h[e0FZWG"])A|\&'R!3uIS -1p\zܧX'O/rj:Qt.ľι~2s:1E{~e *8 Ɗ i.ਞWi/2 ?G%[V@z_&{k%ʈ.LqCS+q[6ɲ$͏-=곒R2S%}Aħ>7L<[8!owMZL/AFp$ҺCM[v 8\\ȫ*Dɳ6D ?xdh%DRUb8'FN"爖cRxp/M6ߪ@تLϙU\_* w DHAVO `\c<0i".]`MzuÀ]qYa&P1vv#nj ;0{'2Nߏ3gϺ\x}~D[h<% ]h;&|Z0={u3S%cQ$}W%w9 AkCO$XmVrk ߄Im$1c^ N(1z95TIR'1w7k՞J`$3u_ugIĝ,xӔh߾WDX VB =$1 ˇR`ia[+6GƢlt#o=2lRҠ ~^/-jq=sFuI FI=3!yti]21Os7-(bF.\"Զ6Հ&HFs(޾.}9MTfKc"d{̑诮5yu9=cMLJ rT17" 81 Cl/:1I-본c,Ĩ3ǣC]`,"S{`p":Ԟa )J\Q݋~WTc>7Lǀ6*]P;nRpmRʂlXR[waFS|] 0AzGzq{y|vxIH<+A` .7~?E, bhu88ZdW]O 1ƌ{ً#n"*\+nZ|yWlϊѲe&1na+V=cd}5ƗT6}UӦBB?'u' e~ `9zs?$X9ݞFH"lh6"[u R#ktri7Pdn!2E=OM%܁k:"gYZ65ad58c4f89eac05ff3b998c2bccd2b0ec8e47ff82ea62db878002abe1f561b243b2cfa9fc698016 3eb7c68d6e834ba5513637798ddd089d7ebc1253 f619321144e2137d7d557544d2f8ec711e46f925 + HOL-Analysis-ex