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 f7  ]% HOL-Quotient_Examples:threads=6elapsed=26.516cpu=42.616gc=2.676factor=1.617zXZִF! z]ŗXf1-q恈N/|p~p%++"yqL^ ?DS^  SBr~'\P鍠x,6(Ӹ pЕ.;p!8XiGR1X`~k'짾Y;h~lV+06Pa4 +RTW-T*=I T##v\ +ڠT!ZKStYOhC5 ND6A T, Z,mV.lncz9}!{p6O0jG$z`O nou$ !-[ Ö)/ެgH3HH"bo 74Yu0/G}t,>.'%$0))'.C_ʪ<$Tjĺ:!{Z=;';/Y )0A(g+ 4=R}.aI{KGXMϾPw^=Qrw,C :BXsCUMckG23%!2tCi6KjY86֖*Bƙ\\xк^ʯ M]~!VN>J[߶QyG7{ y Sz[]C{3s״klݒc $pD8!T2}0 ʒ3Eմ)$p|NEͬ+kpku,i2|A&gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X}ʱk[&P;q9mxsdSdahM;97PIQQF1HWOY( ²x '!6!pxpmzjP1s0C0ÇQ˷Yx{L4u}+_QS_8K:"!**owvSEIb?q>2V~gYZ7zXZִF! 4]ŗXi%>em^m\ޕY: "`~JV0핲L6>Odޜ5uܛ#aOԒx`oc9]7BZ̟Qx8mts-&_Cu^?:[8pyٶRN?yO犰ߓwr9|J}a+qZYA4RO K@I?[O;Y^V9*i^iG@x]A>GJc#v}h;h[` _ Xd6 2gca_`bc~!/S#5I$s5q2i(@9I(TJx,@ŸӶ /I^4:lm16 [fɚtY&-3SBaYՃ+R!X~.0!`SCdTLMUsf J[/=;Ѷc((5[؟RWUAp3XZxx*҅<WjW/:T+5‡ܾ,;oJg3SkB?b ?b6 nqp:}Rw:\K']c8`ft`sK6mѝr ը/C]OT.2@hh,c<'a2MfdDZ`f:`J@[ȎdbA'`vW#0C.BqP,eΏg\xLtvlf#:o)-puTfTFsyu>MAJ͘|GON'اKTkYrY/o8ӆAY%4 *o]e|GWHXq6 /7a?C\Nx5n]*$'ódHr&?T,;/WթPn$^U2&S~Xf_^]6|n`agcn N5Tj ʱ`hSNa*[UU[Vo,ls1aﭓb y,=T穁