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  " <$ ]/]ZF-Induct:threads=6elapsed=3.421cpu=12.948gc=0.572factor=3.787zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N 8V@y&(G},Hѯw0(d?kz7S轝M6r>>+\aMs 4;z{F^wnVy+5,Q>P,Z8_N|Ym@f` ^يi_*v&'{֕V1W/La@'ͳH#/7ՄON)F…Nta߭aҎxl͸SѨqH?R}ʎuL:j;U*dGl@׉;2Z68?y!.:7O-4d~ `5jf.1*qOgYZ7zXZִF! PJ]ŗXi%@\nHԷP.z.rh@L=yK8:͇j̵L7tpzƯe$u)|#Z;PJ޽L-4$d.[:>y1$eT0q+.\Uo4[IB7=AOdCQ Ѭ jelfig6l8$WZ ` jx%dS+iq0P(ff{HX w/fjJe8@QlUPB HA쐮`AO*0ïCKp/@&2iC6){<>vl.CDC6R@(bw-7{,$|crUyu.ybM }sb+ "~{r N 8D?ի[˭ jn49 aa[)zM;Y|⮉"܅O %y΢g1,7t.X1#=YD6cEhhEqRNa$S&,nTgYZ6df6ed4a034a606dc6144cd69a3c07b0517750346f26ca3ab6e09f928122fd139783e1aee2ccfecb 161ff3800d02131e2894326f17f3b9dc190e50077930c660e79d06c9a31c7c414cfd2975dfc3d17b   ZF-Induct