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 V7 t|, ]% HOL-Quotient_Examples:threads=2elapsed=36.053cpu=44.012gc=3.020factor=1.227zXZִF! r]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*Cx28h,!^FN* W9B_z뒫pH\Nxt! e;4Z9uR^cDUvVmJ5TGih;<̰f!f)hE1$ad_lo!\錹&kaEo[1$[(?.]O'`m,}{oq%G:Og:ynJ5s\Iߚ nqaNgqJwr102tY#{m1A%$5gYZ7zXZִF! ]ŗXi%>g%D!w \4Hc( ڪ+D)_+Ae!X52N^ܰ?g^9L0s}8O$OfO"N lg35 F{OU#\=1ͳ޸۪rSa0nFBl.$AO}iPKa3K%m䤮&ij;o\ՅIc*fpZ{Cjj]mw?GۂjvU +YBT}WΣ̮ZB^Q 4XVoAaG5u0j@" jMw#w}>>VZR>imh|USKhRJ0yG6ڃҙxZY71z gX^c.ǻyӡٴ[\LTB<D8AX*8JZ]g?Q:Jۙ^v~XF#:]OcpVR+My_bZcimv,Py]ʖ8n=}OBf+RgskBqO2_8I"m ԻF伀: 4I"]_|ĺ0;;*fn2媹E^n@"HpH\Vx"[18Br9Z,'Kg.UXyδ3-"z9"r@&ru4M7vN;oI` yPPLJ09jEsT@>3zt:VWN]NLkk^UT xUPAhƉ+ցaMCuѸF/뤆׽'ĭwVc3mG'|q̆d֙Kř %Ճ~ R>4\Dž -I؇]"tc!'da;EpCFŶR!]aaeyRRYnJUnhwMolb4`Im