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  C C: |4t ]/]ZF-Induct:threads=6elapsed=3.270cpu=11.516gc=0.304factor=3.527zXZִF!  ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ iDα%`)>/!Վ=y`Cl1ӥtB̧Vgd!h`WlKd-RnFj8˯DM7l#UBYVb|t \iү7 agYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzޭ|=` OhE]Z@j OD a㮏Um8!Rێ/((`C`N ι㱞`XH(`pPwn.g} ߆hĪsy5C D8K3{:[BB1Z B[,{Xa%DQP W쿺4kF4nH(6RAzS2hKfŷ`0/ *"d]:gYZ7zXZִF! 3]ŗXi%B뮳NXҮթ/0Cl!{HS9!+!/H;YP2a=H.ӆ3hRKuƼ >@<,&3]vryR%#pN( ݂ef h.а*@W5}GVp ^8d¹ n~ `? B&-{TݺR ;]QOBE ƺCmFˢyge{So/mot<"w$ӅҍJP2ҝߝ5'C0/oucO=Yx}5 E$$_*aI"[ƾ-lZt9-ߚ MTo6CwI/3ў5xn/'o㦟+3TX\Y@bY~# ,3% ,yB=0|goyE8S S:#-V _dQ:56Y2ϡ$4pPgT|y_𲮀DHxj%ӚiHc=6e'h NRV _W{@fs O+NtXH&HWek6WmWv  <uƑłOѡf,Ia swW` `ٰ#D=PFNUB!zQBA@Cg7zx?X=`)vЯXZ=/$s!ods.W|!*2Ge dg-T_ǝX'?Hq!,2@|MgYZe1ad0e3a26d20265d1978c1216cfc5c20f80832e895b1b1b83f37732e07998df22f424d780740496 dcf88f9c4eeee8b5446a6fcad6162e5298b8c329dc17095ddca3e8cc0be21d1ee5b4fc64f19f0dd9   ZF-Induct