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 9+ D ]/ Stellar_Quorums:threads=4elapsed=10.466cpu=23.688gc=0.244factor=2.267zXZִF! ]ŗXf[&R!h~3/U*Eդ]`tdr?eɫGrpLt~Hu"tpbtd~ra jBU]"`hHa{R=P̈I"~wT tBqLc;,K"Krk &e]՗<3@@r#ŒJ+pPv M)FQj0`5p!S }bڮw0c3ՋJ~ͪ%4sp_ɷ|ւ_p_^HdgYZ7zXZִF! SF]ŗXiɟ1·3<;lDne \y/,Ӻߣz@g :}FHbT)K}YZ7zXZִF! P=]ŗXi%G̉SAuEe ZzA]oNzx 0}45I ]^y{) ?ce"IL@1t}u^MB'Cq?oe_ypKB?(ΡyFGޜ`1E&C zYJoȰ4fl Pㆢ1 Lw=]Q}wZz3Im=QpM}E$?9iIBnh%WŮvywanj#…o8`/"ZЁ}5>pKCCTY:` o:R">&{R PbD4*\ĤsJNӪۢosHYߵ=G|ߠiYAUSs 2 lUp 3P|&VU4>pR (FOxq4he\h'7;I_ 0buj=Ϯ$ì;Dѭ$ i֞#p4CclPb#$Ƈ9!3Z+O<>AGFtnLL ʳHh4a) Ǔ -F@,D|vLUN cL:QdUfEN<.&yr[.ZGl?M̹5`nX!p1;D4EeZv+Vr 4ڛ:欄Vx}fSZˆvIܺl[7}OLw,3n0 4[Wu _YIQ f⫫8{0CyֵNo t9}QD/_YvonbQ'Џe![gYZ2e7f2e7555340563d0a4cb028ee8aa86b6e4d66a78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 + Stellar_Quorums