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 + <T ]/ GraphMarkingIBP:threads=4elapsed=14.796cpu=42.976gc=0.700factor=2.907zXZִF! r]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g\C)]=@@̕6n$K,fP/1ʹ̈́CF冂ubs@nPKaF+#hFKRѡ` >[d>Q _Bx|{jT9gȚ5dဠ^䡇Zm46=N[.1{`4q+^Dǀ:K^6[_6`@30&-bw(b4ѹ|b{+Ǐ:r0`bHUA/{y:Ysk%p}^ՠ?`><VrC6Q,ו>ЕkĔiWkdԍFb&`rlj Ul<{i-*W1b /zr@赓ы?qʥ%3eif (x忘apVGJ*d%83cmvUY}~Ygn ų q6}lX6magTZ{Ŵ Nˀ np02Sd'ᰪo]:@3i1oNFiOl~=H$6l4#㋴1^sԬ\C1,k&@t .>gYZ7zXZִF! :]ŗXiɟoptB"5`'''?DB Vr? Vˊ)j}HhHh]3NN^W8*iκ'[s.Hǯ^V@I9lr4Exa?W FZ2 aiAu6=pT0G : VSLR~zN1n>n/cV="FAMg6knPFOJB :JZ[̻Cn,\'{*żKQ8͍BOU \{ԧq8gXKD1| L<[tv%ux-4tWӻV=,-c .VZ"`\f>#)øYRؖ>+㉧_#K"yfWl7È'pd叆L_V GLJ1L5}q*M4v' 6R]=uQ5y1xMfUqjB\>Sar~aX`'T8&M7ؚl2Ў#YWHr}vfe _u..b'v)jN M;>i5MIE26#rvyB#dGW?Q  _5N<IQ)l;80D#EWཚIZ XŋZLlq+I<ϛjK]?J绦pO@;}K I"$U!ߵTϘeg@)%UsHUa{,k%@ QT1V"d[/A"FF @3^sU\eLǥNG )\3:<'̠k#5XIKe-XFLC CgYZ741f94cad61dfdcfffb9926f88ed0a5d51fe19a49cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d + GraphMarkingIBP