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 dd+ ,d ]/ Stellar_Quorums:threads=4elapsed=11.953cpu=26.092gc=0.304factor=2.187zXZִF! M]ŗXf[&R!h~3/U*Eդ]`t,@t 5T2DQaN#= oUp!Rx$27fίKЮ%4p&xO :lsUNԟ) mV+FiQy4']4ƳYARpxG$dhQٹJ8?ǥ˓0 Dz%".Ʃ\h:xz7 %i5}tNKX8:MPpׯS֑EH6LcÚ?@Eu FE'&}酋q 17 ҦgYZ7zXZִF! SF]ŗXiɟ1·3<;lDǴKWLSwl,_wMo|b`iHaG'bT)K}YZ7zXZִF! Vlj]ŗXi%Gg}'K ={ ~fG\h^qү>M\dBY=; 9;'b@~03SrἋ LQ;Ez +9a0Id,*Tvhl6l/ 3!I#<!coM&{~N܊Q H#5-6D'I=+޳al*bs-ǔ1hoW$ySjOܑL;191%!-Zn6O?晼 SFY !r'-5`X0 ^]r"\h tirV|[2!fݭ4&TLUUiYNoU\XjioCB<8uRg4P8FL |!_L֙+rO kxэ EDaZ=3ꟴ6)n벂ϭͱr$׎ 1SM裟_#QiW?ҎJWNM ϿhHm!:(9*6[ ]UY1p/7k׍Xg Q٥4?ig$C0~{O$HngQY}D+A7]GڕI x a|}!̷:\ƋYc+p3n, Q ND޲"^Dt{H#Oj,wBD-h$bI $RƂi>XF@yFX]sP{0ɨQ}"ąe15jFXi[X5&5+kcX۽V2BFз!UBu\;raRUХ;K&FƶlC Ƚ`v- 5G2DȂ>AҡiTGN:FW)!'ƴAZ}Bٓ;y2TD XD>ߟ3@7theYaڄ"(՞b(Q_@6@E< uGoqv3keH]njv=5r7ϛ îeN4/.`OY9$\ך $gʞT G5ֱ$opIa-{`R5*74 L/dIҽr?Q_p M?!*X)`y|A`3:I/,1'xsT˰jDiL89ff~^oj72 ,vz\ߚy {[6l-م >* V gYZ5d9ea5c08c11f86ef996db7d65983f1a823f9c5f1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b + Stellar_Quorums