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  . P5^? c[,ڨA2FP$t(}SN𖶤}(^Ft{!zG)\1>} PAr)s+TP)Z\YW-\D8.!"„CjeA/oO|z%{%hcgH FsnaI&U![ A9gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە~`t?[KpbI&8|buQzR( K#@O}4:Ҍ:caY2T٤Bh`@$m$Plsb)_YJ\Ix{ϬǦLJB%dTW`Y#I5cFZgY[qMQr$h\R.ڪu>Zp^ ;"SWKTcTP u% ysT}X}6q wQvZ=Lp71`XɱgYZ7zXZִF! I^]ŗXi%@`a 0a܈R@+^`Rl^bzP\@o1jLgW$K+(mrZ`ЧPNBry\WR5$!87.ýx)|$9юyGeA⒨`|B(9he]Pj׊~dK߱wӽʕfj݈vj!YHP–]/4jVĺ?$ze~e pF{ˇSZ`jηL\n:f4UF6ĒV!OԔq&t[1VOT_ھoL|#:/^p㷑9(){u\9??[p$M|$>OX5uA1yF;[oZ?Ց|}?Vz߹*/7G'U!&?mz<ZDS5Vi0K+ )oݷ1G Wq-u#"[۞J ,n<;/h^gT骪KyIi46&R|짱gYZ529c22c79b23f2165cb4293e065040cf67a59bb394b8e49d0043e944a495f19c32608cf5b0a49aab 8601306875f53ef2201c761583f084683fa8f9cc928a2b3365c55d6989dcac91fac53d21de294212   ZF-Induct