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  &)dd| ]/ Open_Induction:threads=2elapsed=2.320cpu=4.212gc=0.192factor=1.827zXZִF! ]ŗXf1-/6vR[$ッO{2V0Ս%LDp [ e+7(m%_w<KB|6m|OuEFZx$$bWAu'c3kSP--;B ^C6N@ȑ7nsRRG=ËߴhU&p_lb(t< G59gYZ7zXZִF! k]ŗXiɟ`.~*Dݤ-8>^Ȱy4TVܙs*+9^z#DJ ؑ>-(fgYZ7zXZִF! 8]ŗXi%;C:+ c'hqq6#`1!;Hi5J-H**h\ꈀ| jAhC[^rOą`O˖=w7A]B^hNMG7 &2#15]bfBZH>*Mi1A[3ÂHK MA>|Z69ul? .b :CNF Gsom?yt@Uj[kl0x`x Pf﮴z Wrdg`Gt ɇ+Z%Ij LorMkRƉx8|)!6Z|q>#e$E亇s#ў' 0DoLʓ5H7+ pE\E<UuUzP +Ls <ܪE^W%i<RW\D(].%'WYĖ{P T4k8](]ߢ%5AM;. mIEt9;^gYZ2fd42192d53057c9fbc83ed2e2d508c519f83c06a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 ) Open_Induction