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 V $$ ]/]ZF-Induct:threads=2elapsed=7.029cpu=11.144gc=0.416factor=1.597zXZִF! \]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N .4O.bUo2T@a8|Lۺae>WPZQ* ifCWp'$R̯ۉ}o|: RY0*N^A?V Wʽ&懏 r 6&l*v߲f9R^m$?阱 ha|(@n fgYZ7zXZִF!  ]ŗXiɟ9\'BFd2KIەxchx%C9Wq%6߾BQst5G4c%hTQe_O61^'T+)Bo]-(0 qWg{I c\6 c艪~[;Z&<.R{~LVL2M%%$d%(Vvҹy!sꇳL7E3uȇkKqkI|V^P+NĻb'6jgYZ7zXZִF! 7J]ŗXi%;4v=7v3[-fC%DJwF"IN?'=+s"ۚN*(DOچ%K'GlOTUbIf@x4@{=3_eYLvQ{@fwh;QRS~絓ON 8Q4>׶˯G"V2@IpeuUw޾~ͤq _? wKf.F;l2:=PYwɉƺU&;q[=CӸ8RȢ/IA,Px1Է?|J9so\fE.DI:ގBKGPdzRd|Ux=Q#ZOe ڤz|p+ =GSx)n<7&5ޒzw^%C =;R Bff9TtmKΌCF"Jn] ׸e1q*BEqEF޴,>S[흢"iI#+to;0n}[J9?/ytHFyrUNN@}0&f yso3ł,|hG&gW=ɉ$%ӜRlț q\#|^8idFd_fD1Di9:x^x[yro<55*; jB9P2hh1 aG|V^ӅDYsRʀve%a=8h JC\&$alǜ]XH̓/sۛƅC>ceHMj5x)h7jB+sj'.*(t*jTуSw^{ew4!nigYZ8e8c8869c7ec26f17b8776a6f426058fa7a228be61532b7245075d4ea33812447b32dabbeba07b4a 879efecf44bd7b2fbf88f8a2dfc0cbec187e45570a8d4ddf76e2a46698b3c71cce380dc779ea7014   ZF-Induct