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 Y;<|\ ]/ FocusStreamsCaseStudies:threads=2elapsed=30.854cpu=49.456gc=1.844factor=1.607zXZ ִF ! ] ŗXf1-/6vRZõ7ioN]*meV*5/g9Lcp37dK(L%aL$[ϸ,0g`%=m֣v\}iK^؆?~:hݒZX3}Ap4MG /W4% فJ/rG+臯<_Umf_-DxF w-Ӑ_Cz;j_}{qSʔoUmNYPJHܤ}`[NbZOZ"@F/v'G!8;a :YqMA=I}8cǰ Tk砜z-fL~dHΗ҈$Y iN%XʾJq9pZp:6V5x1k5e&\/4y<:s#.ñ F$t16/7%Ȫ
*d9Ie8F1 ҤO?7f㕕r{ɰh⾄&c:^ F\}%9sE{]sl$!yҧpw0|<ޠGcx ~l : gig YZ7zXZ ִF ! 7] ŗXiɟ/L526غMp9έ!sWC;d/3/AM)z\:趉jv!X֬9rEœjMwM-j?>{Lm&V4ແ_Gs\{[/jRT*3^گr+~iqn0e_alp* q~>M<-LN@cYJ?1캾nE#rd-ŦkJ5@E 89D&Y4P@t,Dx%<