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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ' ' N5Dl ]/]Automatic_Refinement:threads=2elapsed=42.656cpu=77.640gc=3.528factor=1.827zXZ ִF ! 1] ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S4ffV4RC7o4 b_bY:&L]sBQ@[S$3C0~gEx[:~1 (Busz/Tc}b[wNw*sD)RSA #qwjĤa2BY@ 6v ĥ-KYIYLDO EZF̟1OL#RiXI"}M!n!J|I>|W5znZG!=Wd}@#P\FfI^߽"wuRiU]yXx"nwSA.y 8x $$ID"DH۰ӔVw5e5"v/T0&r4BEY '-,̘ׄYC"%/K}ALB2p~Znol1$^j'IUS9ಁ0"LN:JYZ\Lɔ)3Ht#l&AF/Gþ݆gӅ0tkoh/EO dP[4rH Nbrۣyxh䷗{E={\b;A{hz`77qAUA]ME[[$Oda{ԡt\Qv{q|\ٺ)%@|RM%g+ķ%Іk#'٦ة:@+qzq
댁]Nk'iZcw1e[Ho|y{5.CNvvCL8-\| ˒dc'DͺNJ/\rNAצj'ig،QMByh%tf}grG!)~Ly\0k),6#sˉ&ګڰ