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 w tVA:=)&Or!-eyf QR=[ ik+1gro= 6S mRQC2{Zg?"DϘQ&$<ק\am1h1&,ĺmpwd\8 ej$Vqn,X`XEg#|48gj Mηvx詸vJ\u (Pd\*`Iԓ!;SgvI 2OYO/*V;n D7[ixy\TK&dhF>j'\%d|GVhDL.}Y:.4lP9$2gYZ7zXZִF! W]ŗXiɟ>Ӈɇ9S2]mOi.+a?űYы'Ì{Mcu]5@B<4'Hia OމS-)Ͳ`@YwWZ6_}1%]7Ek&T:7KU :mS_ X{7j!^ :P4]I,#d X )1Rn|y;&\ބ~]=oS#1l6}?װc`.!d&:2SYadHE l-xQ4>|iQIo{ :q2 Eh9 QVld* w7YG"gƪcjYNwjJwts -ѻSΎ@e]vNyl U9&s`0" r+}" YOB|ۧPtEV j*jYb׽wZT~[bLK1.l‡uC.ՁgQr(ۭFДi%/^Y6OkI[ ]=n!"| %lRE|U9dĚgkEܬt Q!)LYQ:>8.`e* # w;NWh>%#=w/>ϤEASYQF8f,F>_~/ qtmٜ yYQgYZ3f6b69136ce015841a3a9f6fe649937b307019a3a7e0098c16fd923224d12b7191f69f9fa4d76b8d 47bb6935461017c83f2b18eba239137ac1b6429b97a7db1b8d76976099fedb0e81fe3721d37a1c3b  HOLCF