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  S S* |,\ ]/]ZF-Induct:threads=6elapsed=3.458cpu=12.200gc=0.400factor=3.537zXZִF!  ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ =h}ؕKj3ٕhvka,qϢr>[c ?XRiR2;bg\Hਖ਼'63'#X;Grz<%Uz8-\$m FUg_q ! 9r[owyO_%Ӑ~ kxEu[;MPln/p?N&.jR ޱgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|<_U(wb.$xY>.kj-uiOOZf-vs#f@paҨѣӥ<5"u|E NZ"*\A-'bij y=]́w@E^;1cbϒtRO\4f39P4=J iYo/ ^48nQ]ȷ궫A涼O[6NFue(cs2XIvgYZ7zXZִF! &]ŗXi%GAߛ=xǧsjo͙j%|Wv "(rU?\r x#R*KQdO_"b-fLof0cB3(%s>@A*.څN䰸kdå鯨-[Gf8{.Bn:ԫ9L=9ڟ,+;ey .5-ɵ"|  O/>ë[\P18Vhѓ@%UZ}r׭CPh\=0X~aܽ YlF-O~ [r[0`A9S$WsWGx4)H}9ZhX;Jo?QdRaMSmRBN# eM]|J!FR!xj[|mPWzsX@f+yC^J tC bR%WZʏYq, gYZbd13ebb528f3a3a87c253c44d3e494c391c255f2f79dcaa1c9ac424b2dc8d1e27a0e09517d26ade4 b09b77fcfe9cb6edf33a9a8ca5cb5c0b2d5266c89a9118071c76a36634d574c5a75aa6b3709ac115   ZF-Induct