SQLite format 3@ . BBh77otableisabelle_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 g $$< ] Tycon:threads=2elapsed=9.284cpu=17.136gc=0.716factor=1.857zXZִF! ]ŗXf1-/6vR[l>eMx?/᣶ކX?<}#h߀ZGRK| y}+`P,eo CdViutc/7{,YV6{>~d▜Ζ-Ϫ9œ CIv\:X*'{%{8~y,WywvlhSqP/bfYI3O6{PMrv%{ϟ`) ebi2Bɯn5ٔ]'ȱ@2@#w?+Պ"?A{@_oD)HBT ./!^9?Vr-k}?p R"ƫA LXBV7]oz3OqXz\ eDWTSkc&iy%wE \0ƋFrnjrm;+ Lgp6bSgYZ7zXZִF! K]ŗXiɟyڳεĬYpa<5Q`_$>¥ 2Ba|!]JxX* ƒ.EѾ1SdHD5Ѫ 6<{`4GӴcHOr}3rpDLxZS :Qw±,v-[Oe.JsQWn1Ś7PwtbcױVKG9ߣu(MluHC*4=5.&z dzlwP0Mݨ@t U$Tv_@z#H /gYZ7zXZִF! <]ŗXi%ή++K=g ңE6ҌjH?Dq]VÍzf!tb$K-x3 baСfa*_8$j'…Yhj SI8ZѲ9$f)#y 1}0gXG¨Q3…@z@lItCכ[spŻ]eDl@;^`QSdA`#'57}ۏpw9y,`BJ|W,P[K 4Ca|%~<~Ea ޯ N7:)^kLh_j\4ua8!ꌈh@V o`6spYhȄMT\؈G_aj}?3@*upv^۟ rq@71oNPon@9tZ"v0t-@b F'k.ͻlV!V|"O#ڇE֎vT7 ުƶ()G 78gYZee84a222dac4deeee8b239af5faa9a8f39c67dd100b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 a4b4985b91ebf3c08780c325dd267ae7a781b0b0  Tycon