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 d5 T| ]%]DynamicArchitectures:threads=4elapsed=9.474cpu=32.092gc=0.628factor=3.397zXZִF! p]ŗXf[&L #.3!R&m'\2\kntJ;Ī ş G69{"3čs( k|!C%_T8Rݮ@%<I΃77C99ʑe#67|IP! ,E)j*yo!P8-Rp6 [$mF>?Θhfn"iSķRʌbNƬO'c^pU ~E!1ߡT~q?{&JuupGLF(飱gYZ7zXZִF! x]ŗXiɟ:340Ψ_իX+jެDu?.jT yGlg_\-^TǖzLY2Wǫ]gNM2 '_ɍRg:N;ݓ8gYZ7zXZִF! Y(]ŗXi%B(?!>NUO`b̗9/w5a5a#b[Ċ)Z*:&3q+ݨ9xc&eSXr@qH*"i;% ; ;ǵ>3WSt} )0\_\0V¸vYn=7rMk+W&ּ 8/Ӧiqd(/xo"1HA iu3_q=dOܼ6+HZb><%`:Me+a1Dh¿ֵF5gp,֓sS_k4(Jmm X}yG[N#v]I(8K;>~xZy] Apvb(E"bXJX:YMV8ekNy fQ'.nM]n5بtuۭP@ۻ)H:\#ʒ>$CJjh#qR(R{M#Jڽ!k2\>XB(F ;tmKr|nBvw\v *Gɀa[RT/EiO٘m 6iEATIzLP/H8̬XI:g86gM\KW2YC 6`f{_D_KI,5sDI"@gs*;K昌WYv.<FM`g-Ta?ŃbtfFV0F) l".?dѯifz,'XDQJ#r\Gt1Щ1賈YQjY׺!05 X2 $`cMsX:pa6uVnËJM(KK T $9gz);"g$o{nI>GnH Վ`׀PQܗ-o#/5ɤax RxYk;,~ ĥ@mNBͮE>'RXiue4;0WN[s8ij{MXmڐbr>-Q'VC)įw#T:r#v!SGA 7tO_eV[n9r@8$9;"xYd0?-'tBFB$ _e- ?zg+͕$^~61 ǼŽڧ ڭ=R ?joT>)Qvоe^h&Bkȡ$O>t/>W8DBB™azP:f. 2 nmGؐ=GICmjn\֖q~dz11y**n&lU&,KNz']"nCWFbPnoz;]hAE9][Q !} {zŭUڧV ֱgYZ3e065fe1193a77b7b297ba4129d75d789ee53938ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168 90a699d4ab813a8fc0c92de7f31e81ec4d9fb9cf 8be2c2f1925c347bf63fee29e0c8311095cc30c03ce43f019b65ceb243d81e71d36a811456a10a6f 5 DynamicArchitectures