SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ~' |T$ ]/ HOL-Cardinals:threads=6elapsed=7.596cpu=42.880gc=1.824factor=5.657zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIxd>||.AyBPUh~v5' H|gaf8^>:O"(X{"_+9 oqt*|k೼ɗovo~$VJҗp07JGсZ7|͇Uk [o}{iDTIT)P ՚'J3^ 8x(eY,lrDݸ*iv)Kl}x } HsNC8M[Eڑ2w(ͤ[B m$EH =qM(X6RQ$˂;1 p@ Qބnծ z: mi}\*nYu?Y41ߙl3U&1Wu zl![lQ8'pEEtܡ^j6m i?PiJkɪ; ! ΋(OZ9u'H: oSǷ#/By#u,DrԬ%pU3ʵ[lPR,dG0AE?.Kj>~8|VzZ%~=HQ`6bl#BRT1Ia>1j e1u,gYZ7zXZִF! ;"]ŗXiɟ1?ߟt;9BP2CZz眭5 zOHjrV5쐺Dkx T I7&l: ٠z~dkF?Ɓarۖ*u6"<#z\TZ}{mڮi1pˍ\ڕE~Trpw{ Aؘ@,9>|vIW_/`$+걸u[s1 x^~?mJY,=igYSИY9p GoYLX6=kL{?e9f 2 @Yc]Ur"UgYZ7zXZִF! ,]ŗXi%GQE^>)0;8CT0 9|WҽݓY(v;Ch/!L~s,Y-`'_?(fi"IE&H‘=ǚU饖T ј^Im6=oeKvMcCl"_)*L?csgBR@ ZѠBw2'z f@Њ-*KbTpZ!?{D(emkѵdkzƔɓ##nt tY8[\pNPl[^2xCu'.CVnW7P{y-=mR=%'/2jQ{Xĩf䎂1iYT3=sOb`d 4mDnī8.$OO}螳DFz| ^㭱'Vd+oɻ!!LL@WwXA1į6c=)c.0XV JCwݥ_mMHb@kpZm&-͋IևE˘t%גJ)Ά3V7wю f{Z4([݌K\3kNӶ4ޝ=iY_PԆ֠Tj)jGcVFeo.Ǧ9)-xWaV#Fx SߟY&xu[癱tV9*(6ë. pDɢR3y-d4yL;+cҬ3Fp<6eΈ+/flzYE ̣%9Wr M7Go1ŗ :wv:[UI7*N%rc jYȀ-xf (N/U ے_ɰ(1}KXtZLZН|R.i˪BeG3B%L92a