SQLite format 3 @ .S` 5 T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Y Y {1~~Hj ]% UHOL-Decision_Procs:threads=6elapsed=263.028cpu=1255.883gc=117.880(/\6 m & Ob#&}5[ א\}8ݽS& Xn~n/>2YgP<*oo[1Q澼m%S^kVrOȥ55jWӟZiY>, OԋZIa{NuWnE (F +CU工7i+@H0GX4@F'$|Q %3(zdb$zv]=<$~p`dׯdB+W?%e1]E9˴\D7XiEE#pr.uh$" >%$ah( Gi6NCB8.hXh@Sñ%pxP0XH( ,,`0(dJbX4p9q$0@0Gp@cA` PS Ccx@X0@4, p@ d ǂBh Ga0hh @ 2o>b/MЋ}M3SlIYtIB̙͉f5>+Zj藩>=&M)SFIB,,_jD^wOy.RR8FTAaQB"h@ (!H