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 44I ,4< ]/ TLA:threads=4elapsed=10.703cpu=37.304gc=0.796factor=3.497zXZִF! 9]ŗXf[&y9W3" UA11#7qsuVYkpI~7~C^ k+Õ !Af<bIb#Ju7mܰ᫐ŕ5K[YP;vI [I*al 67ZBR[}O"(A(%(pZm"@(_y;! UԭĜ^|2( DGOV{gʍ-K@&*. ?3M@Yh$|"QZSg$h\@3i(w֓W#jqͼ g pȍRjevM@zn/@4{"A!ӣzzd0_Ulxj!<Zdt3 jcbʇPp0ƻ_T[aҭUVlRnS1t bO=O;JZCe-UDu^Zs֫?4 k,RBQ |b:l{.B\յ7o.L Dz_N)X!b+0G#>]Z07f"`+c]cFCXь53a*u TD@U_@lx*ȞJ8 2xq&LJzvh/aOővQڤʻ o|cn|XF9ta9hEg1<BIHX.8)2>E  qxȷQr-y ɗ J{?LXM4W95>Pd/<,S\ -;7@BHO}.˓;K~A~U#oX܏VvʘiJ|U[jO[ODa#MɗZaX>=Z}  Sy-hjw-z!ּ͗u.UHӎ,PMu?O[Q#c!S\N[›Vo(;$+Z'Y*GB0u-Z\DžP!ьEA{"'@U}O6 ~JT X<!)tpl7ɶWM@^>OcCX-xudd| nR͆JIֆdp9Vg33x}slqmyA!)_֑{Lc *8оuy3A*/IOY~CuTSCpKh*-SiO3E#9&9zLgYZc6e13c39b6499be6e30007f8edcb1900a9ce1df776b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568  TLA