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 S t$ ]/ DiskPaxos:threads=2elapsed=48.727cpu=77.760gc=1.320factor=1.607zXZִF! )]ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$21D.X6}7vT M})h^6gc3x+7#l|4/`qj|(47WC+[[9/(^3uJEZ{c0 *%M/tAazϳĐi4lҊ µAzQ|O YkӦB1f{%m=4h%I:ޤ0)]NK)}U֎M╙R@F^ag1'ܑ,M6F,ʋ&^t mI!vd"i'3mE̮}:{8E"ԥ@vGMp a_K:,]<'F5䶹- ɉ/j2}Wca )a"4{LFvBg[S8NE}@wӠN@Ȥ2᪣t=I0 ܯf#O:3P3iEka@^IzudJzgzlG>8l] j(nJQ*԰\'UAWǬ`enV)ONSZ|gYZ7zXZִF! ]ŗXiɟֺ@OAPηRY͝k{P}S3%zUͭ/&Iy(o0i<j}A9!s/ss~Ks TbJj9(Cigw,Μ:&75nOJ.o/XЌ VAL.g80,],yj|ھ"#Ɓ`Wt1a? Yf) _n ~^~Cqu$id,)A{88E!+ND<'T=H9L 7|QX#[,wÌyN$ ș8&ϸػtSۦ*x@rffd/ |RKWBCjӧä?DSJdr[ :3ڧ)܂N@]ާ i#6jMz1N"PS%\nZgQK++X U݇W7Eo/v°bZ `'=z q_ɹ3# ݔL%RnrӇNsn~r"d锚Q3֯:X1H:O y"ȏ6HlI@c}D3{y);-݂ř\GMgw =̇O)'{bDՅJFd㹴C[Iqfc 8 BšԱq5Nx܀IsG;녕ZKK=߉8ar<.W5i*xzH'hŒ^,ƫV١ȗJސ*+HE - % NȾ IϠ}Ӷ@,N,&mSw7aAp6 Vl79Ǐ)؋7 XlJ_.DfOS%:TvYIH5}[~f4DX>o'xKfizcWˇi7f6Euh{&z4i7Ah*Hϧfa A?q#ldy!N4 c *JS3e}tV;.*bѪB!.DnVo Z0NӾx \,[c/qgeEmPDA5Bl _UAB%*I6YP|RZoN!Yjxeq*7VT.V[uZ8p(S ]kTKj>y[{lٗKkzY+vw ܝX04^29&:D6&ޟܧD\Ǐuah傍gX#L5M_ G'HEJl3, rDf 0'_+!P_T =ʇﶌ趜CsHEBQ%!KǨ]w)|CLۺ!dwC|_-qf]փo+#}zRdlD^#ʖB7y' dkb &q_尯0cV Օ@ ڄ ([%|@s|H Y-U IOhPKK0#Ub|@zFopW^6a7j,j1Ħe5D2f G5Ov̴`i*̍+E쩼*GZy " #:cCƄ^2aVb!4zC/sB}Jp׭P?n7N+M 2;-VNrnF9|j{*[@O$کb 'c"8aK''VR!tG=#MʧlLbgoa{:ù']4I^^3qkog?"?[~Wa?VV׻~:{'̐dUTrߑSYln!^ՏC9. VzؙwcFB< 9F4pSa2XI+tyj|ʃk>$Wb,a|g4ɷvh)GCy\y$쓯1C5j YQ-׼}I'Ś=u;oEKʖܥ_7hucr$O,!->hYL-ɕ貯#7&m{X^B:\ ])Q)M\0jw-H^Ԃidȹ.~]?a +{J<僚ewFlRW"gYZd0bb8f14dfd0e26c5ccab2ce7b5a5571e366443ca70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8