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 A5 | ]%]DynamicArchitectures:threads=2elapsed=15.480cpu=28.760gc=0.880factor=1.867zXZִF! ]ŗXf1-/6vRZaKSt$uxek$x="Ǯ6xPm͌ͮeΔb%tXȝʐ|.Ļ^Ȃ/J|R Wh80R8f͉O5cR֜y 7U2RLe?Ӹu[b#{9緣1 Q"D<]D`o5QCL I_k.SJ"|V.3FbK,='o8*V^YP3qsmp^B[&GVwgdJ˒F;cџ4'yio1whh3ɸ1<֥NJ=zAֱ2JaY'P3`C$H=|g!AtHIi j\buܩ;j5j,HЛk"zKǍV@87W*Ҳ8eyۉu$1-[رgYZ7zXZִF! u]ŗXiɟ:340Ψ_իX+jެDu?.jT yG3+iٳ;{ͷ"vURȲmL^hgYZ7zXZִF! e)~]ŗXi%>gXf 1{{rAX*V:z&؁Yl|լ N3Kc'%9>/Ib| xWj@2 w}$KsJږ~DlPߪJ5V*ꓥ=5:(~и & (L/q@C?6hOD\(2b"^n,Zn\B5dWwf0'D T23ڰSQ7[/gpEKH%AzfXv)7 <ZHһ-uE:wIض"=A<)r' Y [8VIL`Veg-p!?7c׵JyA)c5şBj } š[kRg RՐ+wN^s:(K Gp)y-M2U:c%ݷp `ĨQ=3 !KQ&;*YѰ (56s#cNԪteT@O(L+ٽ9p=FF_|m_SՔPۿuS\>ˬ{覼" ډM ݱ 6"O*nN-m2\WeT%Z@Okݼd ;j!d@VWx!ÊggA4 \b T5T|KI2-/O9^h n0u gqW2qw_6!,mSnžu `3 7Ç0Ͼ_\Autn hsb egÌD?=/Wn5 = /gF1:na"LWv.sm?VP=$646PtZ%7#)aM{Y7 WT2 2nfZvScy^).kȸ"'?sSP76:n>:w * c'T[ye @h(v&$xF+u\89>r"s5ORKRQOʕKuP }.o׀$Yk?PQ3b, q3;׺⍠VZ$b6Ceo8Mb9%NSuRfvϛ]As ΰo%~<3';do[UEb$\Lkig"B~C46ޖN#w ˥ ZEM~O2a56;1]4[Cc|XS wwr{CHCZ{fSJIHja g޴f$Xt#YN- _ gYZ28e76335a924fbca1be704bb0369dcf35d7a4699767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 92ef373a64580ecb4bde23c0b3778cdaf7f43c9f 4da788cdb7e9da9f6dfaeefc6af1dcceb638445d49db077c5c68d0c6ca878da42e2d54dfa12c7ce2 5 DynamicArchitectures