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 g L<| ]/]HOLCF:threads=6elapsed=12.661cpu=39.732gc=2.500factor=3.147zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{W;\Sͯ۬lZ}H9fqǕnc5.PEa>SҠ`,CAf"!"`KbK&$# Sm&v7yKM"CƟ8L`NF^ f̾GYk-㍛RISM+ / ~#`|$Uwז7ۦAU\TR6rYO/BW6߼Bi5`:P8oBr Uq5-UA.3XvZ/l=S/Zɂ!ݪ!}yX*)A^ ^ ܑX4|OPb_SRdWX/1p(w1x29 1|X V a:PxZDJ(_$ɇF;m='j4>'`[/70]ќCv@vEeZ3nsqt*}*hD^CTbmScj~CEEAVJM T]x6=5j? hE俏ږE[· \\ocag/d JO7lLVrnIU ]sYKdV "u'#? \F#4OS0c.AC|;d%)!gYZ7zXZִF! V]ŗXiɟ>Ӈɇ9S2]}cPt bر}Et蒈|ލ2-<96.=0[Ir]lG7su;Spa '. O}bjUdnԒ5&p0ӯS18qOt)3gEŸ8E'; 0/"َ?$E^1ߧ>NY!ȓj<ccH7k*> qd)$<'ĵbN7pbS?XJd, 5 쬦~Gj XyEý9A~vPB.݊41b.ξbagYZ7zXZִF! >Q5]ŗXi%@jZ%K> 1V_GIسٚ-bd7``qyNg*5)e&L%rs+ jR!Tc`?W '"$b`V1,ܽK@Q~/cLv"( bjSݿ=̜$_ԛF`C͖m[z]9wx>v+5L\NgYB7 >|*_1WN"M@/'4D<3a/?f4"(8ՐQ+qQ,eq1;֊cPA'pjU5¤nɆ^|"$Ԟz E[H'8 cMLsBVzw+D4G.y қ3d^Eل12xvE[-t^fBjb3)9OgN4NlBkGOXVUZouC1uDǺY~7r s{SЇ _r$Û << :qMOo"y%i[:$hSe|y{Wj5$8ss%1VǬ>)9EɏQ I*0Wn=GtH^Y Z?N`vlvdodu ^'SЩ %lWuNQa\joȷzۼ8#tbn*$pOYk_J_|D=rY7?TdBn`4,?(ATkƤNޢ*:oE5?lUZD. ,2!6 .}4xJ\z:BlOBXbȸ)T†r@.rAJIS&WslH sΩ|gYZ4a38293a8b7774ea2ea38098a7682a51e0b8e31476ac14ae37c8794c2fe7c4ad8e34a0025ac2d4ec a32d043d7a78df09e2684446989c171f61b5b8c17789fc08ad64ddeb871fef7f676bd631d95ff663  HOLCF