SQLite format 3@ .;  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 ""[) 4ν $.H !{"UU|teW s~z#ӌ{Uh|7b Ľ,c[*8Ab d6?Tҏ8PwfBхc)f1\ev_{ec')H`qI@G"lF4$PI,o%~V`N} V̋1:myd* lS P4.IGlGt.l]׉Heb0W=jOվXN7x!4uqe}WL:h%KgYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0Oz~}/ڷ<1G{>YD#+sg)6K1! .O ^uLmp>Ѕ.NzCЮ~qIߐj:)9./oZS;$i_nI |bɏ3GVKuDYCmIt+yP㶒8 H"9! ~cE )Eߑ:EiN$W7AtET/AKq,+X=X_lH gYZ7zXZִF! V]ŗXi%I+ k~Ʃ)OXWFوƠomQ*"#ܙ\gЂwrnux Q?FY7%%RIc4hj6jƖųc4겊ʆd C*PRKu<؎iGi--sUqBt $xN3_ׇsKgj: ^صl5[i";yL_Cv^dcz^G Rkg XidQ63F(ݚ'a/i8̑pN[]1MC,/Bbem lQǦ[4X<( 7%@g@!f3Iu;,w˚5X48;Cu7Ku;mEaIxT Cgn7W?X١,O!uIӞ+<1_ڭHA;`uڛh6%S܈>qe$=l9'-#[+y*aw"jmah(^*6A| (5` ỹ@q,42غ-C տ8qBmh9ɗe#3pSQcÿh߼Pk\8;|9 N4<ثb'_3l#4@Ӊ-C`ٔ-[; C$x!Z^끤H!.Qe|V0=?Ss8pݱRهPlɨrZoqD!9O|"JH3a0C h2 2ILսp#ruZ{mDx)~4u<#"_,nZ; ZCGAz4s6A/^6CdݐYʠjM•}Wr .ǥ"5~a=Uq_SS:CO4?]I$![RyK%0lB"+D:uuw3Cp|:ٜCf ʡ1O<uwΌɀ㰏6 I=Hl]rD?:ka0fHw*d/šέ->|%G5bBةZ/p% ='@% z7XmafhN|r#co!\ODb HxP'O#91N?h4 b <5KgYZ3a586a9091ab5b45866c8677c58c26d97be73c065a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 7307e61b0237e14e27c910d0eebd20572cd5c783 79f30eb5371e11992ff83b9dc6aefc801ed366bf ) Jordan_Hoelder