SQLite format 3 @ Q A Q .f 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_exportsU--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S- indexsqlite_autoindex_isabelle_sources_1isabelle_sourcesu77 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 1v>zL C UHOL-Hoare_Parallel:threads=6elapsed=89.309cpu=464.917gc=7.736(/`} %@wfSiw*̺ʳ=JvN)#(`h*5rf'd@a SkHKD7%=GMF/k S3>B#kɆCڌz۰.2oW@h)zn>itLDCq(B"B`a#wj}6X:X9U:Y+T>L;z.WXoh(Z4wc+ʐN3enx̤!,(X X@,,``@V'6fC .٬U4Yե.yf9+B $(А " HHh`pa " P8p JYY㻳#gwj Ֆ%tLXx,z8>eU7-D9Nuh(II]K6Mnv,]Dd]չwDS1V[؊geg}~⬢IWR-=De .E M"sTkJJ5#r(`!q,;u3$1t.BDVĹ7ȷ\'6](&~QmdD;22JzHlrC%h A ,zj7H{#H;rѪJX㔘O^iέ=ȕ)MjST3X3ncagרڢƞhǚ8uz"47Uh5}XQF{ы,: i5:]].D1ݣȀ!KxhZB^͑LCibx%NR<1E;1E>2csJ̔h՛35ԧN! +af%xDnj%dzVz?ru#_5Uo3.~!=#Eyr5̜aN3Ob<3ېNGI9b":?DFI3x>2!S㟤5Zʉ}zU>ziOA5%>Q;k{L/{;唗[CnV*HTZv\1SjeR4\l2Ⱦd]6Yҥ,O*,ןS|G-,2xȲo6Ym6Y)v՚ZjCb R 헶^䑇sDD[!g$d44i+>l3$I @С@(и@ A ã A aR" }To1@.;IҤU* v,jdS;oq~f/q& wm/<~*s ma}%yЭx-x)\\&B^9R7x