SQLite format 3@ .0:  B --?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_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 ""[) 5ۂL Q͑fw,s-vzk:G;sPҿu퀆\ f1$`mv#MIFo=`z=+-m;`oX~x/ߢ\"'Fs9l>%EWVm(oJIΛL-0ck I|%rAmڱgYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0O{kiA$&y0Bנkpڞ| F?6iYdD8lů?v+=q"XS.vi}W35-?9R n WO3 `b0B8DI^ {I.Iq>zA"[S_X[N:DD3Q+c!d9v-{=8Ծ.Hmre*C?oUY{aqGF;`ȯ7dzV^WK T00IO7>wK0SOLZ;uF3+ z9ЅVmc 'jIj"ˮۏaejL}@m_e3*y uWR {0ĒE{^ >E'!]כ BbÝ\//Q}mB?2O#4\1 %[}Ct{s])?u L0r%}OL 1= a=R:C9`K}[\0{{"?U"oIp7%fXrqf]:ר+yb~{Ubuh.`rr8Tt[SarCea4 iڈoNP.nBzcI:R;F^,"Q?ydh''0 >'<njz0ͩ1fKOmm2o܂6@a˫mXnfI4 s vukqiE>ho6Z$zQ 8|lXC4(vx4bRv}~JK']xD݌T_.ND+57tysw8 U:MS|eGr@b^C˰bY!3Z#"kOTr_Ig>[IdItiYQ (D|+/Bb;qi9Ra=G羢?-C6)'SOPyMN=O+gs]SPd?.jX6UP^pHtq )T_ƆEqC Dc_> 0V C gYZbaa901f45270c3506de7662a520f53033534995d4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 4f0f038ecec92406e0882716c4c085a6c2f252bf 307c3e48b41d32d3a1a36b9c4d32d64c1ad79212 b5acb4761668afb844f580e3b28cdc7f47eef43b ) Jordan_Hoelder