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  O O. |4\ ]/]ZF-Induct:threads=6elapsed=3.283cpu=11.380gc=0.348factor=3.477zXZִF!  ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ l}CE@~orמ[u.0xc2Jf LюVZj8L\⚘>`3$.vs-0Ks['ts!Ae1PUbi>l|bq]@'p;Vm-I7y\ |r<$lPE{U/lU ޱgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەz 7@V2H3 ^B D ߕFLp#M,iJV3P13I\ ,@Haq/(ޕEpu*+p7u~/Jj47cu롯7;ؽ %]Ɇ~m_j3$3G8rCb} ypJH{%59 Umfm`ܒ?r]M?B{xӼ,|S>Xy zt;9gYZ7zXZִF! &]ŗXi%B۹[&S郻Y;ߑ4_hh!;*@np^fVSQ Rx:}ez{IOYslEl#{Qt|K)}_h pmԙmNjP :X'hxKG1*y TGl2\O˿CMō. y0Tٹp?*F!؎g'ǞU4X>s욥⾸Έ|[ۂ.@`rK&,|uoHǁ#*q$0yg XL{J@ H^Be:t}30wsߣ%ՉgWq k:yxf_rCh!,;I3&][0Tt3lbM <Á w#,&6Y#Am0qNM=3, gYZ558b59dfaf4b7d125eb5032d58529484b8ade733f49cf1e890799590abbaffa7e0c5e9c98594d78e ca18a1bee71a88fcc94d8b57bea59dd81e87bbc1f4a5f492868d8d11adffdbd6f885854138101624   ZF-Induct