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 E t$\ ]w]Routing:threads=4elapsed=12.389cpu=33.928gc=0.936factor=2.747zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X +#lDډ1wU̿X#Ugm/! :4 kPuyNH)dq?T~dScsi$Į`jV<TϸVS rS|G4T Jz' kp㗓KUpVr=oVCS[Wc qƌ-,_>\yT 5(2޼@)-!}xyG' H51~焤C@?}{F\EeO-g`!h1hEe2mK\E;ܟZ rE|bkո̆)"ٵTǪE+s<=SOsy5 /[,͉|AA5 kLMbn(SnT>ȯ~1=i ڱl-K3\?gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLnD `.a?_%*`\az(1R?%OTϟkޞ%VJ UꘌױG 2grp~Π&! H-Ɂ@}s &yjSе, j ~VgYZ7zXZִF! X(]ŗXi%GKwU.$.tTwUDH#C4z؀ӡ9i}-M GW'qyf4JTenZ3g?"Gs4n!(WNέP}uۢ+fA㄀:a#cIwa'cn$(7l(rX=d_ZSzVc+s:\4`LgEobyOk:yw.\a^;ZJ1]GcAN 6{Θot>v7Oi,i$8Xt@O4Mf3ұ0A: Zn8tJS0Cs~?n̓}683H"4#(]w"$ݏ%A_DtaСФnGRcGc_z7Z5\ssŒWzzY$UgE0&=^|72RTDw!E|j\]3D&{VPeQijA+JfĤu8lo7O_1zBt/K^h( kºm8b Lscipq;,LbIņu>T;'c# |yImG-O3j 3͒ecY0|ctfq"Yр@ uYU r2ݴr>2w!iPz^Rr;;ȉܱ Z]j2jG&NZ|4N 7$&" %kiF-qƕ久6<k:=( :Aoݥૂ&ASg@ݼMKrc̈LOWBJ5kB XD{ a e l +]ƛ[1YGkVf"FrYw<ЛF\j?ɩ|8lߒY6;C3P9xR6`PMmjSK̲ln3@,@ϙ OZM/ ֻR