SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  ^ ^ $| w/ FinFun:threads=2elapsed=6.458cpu=11.972gc=0.592factor=1.857zXZִF! _J]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6x~‹$rrv;"rulW/ҜĸW\n3E^:c:oHPjل|m_oݥvy66uڹnLjUun)GY\Ѩd/GWa9>¯1%{Wާ`@~csJj ZrogbH/4D}4Y(t牷CzBR$Z ݊ᬐDsn 襋NT87sۂy4%* ~gYZ7zXZִF! ,Q5]ŗXi%3g?&E7%Oq3p a^FcEcuu 2@Mc6&l7 [I2)fMvO?v|m}ٙ|HsGBI%Xk%ڵn#aMZWUit-El4y5gt?dYd_ Dvq `N[Z}Ύ͌4HP',P#RՊ߼1>ɅXWИ^u5}*hlvi=}Է/J,&SWU_ ЌmTAKt723L68@XDOWeXw5N*D+rE["kځכL왆p(3D4.x̎ v-҆|YՍX&7*P>Iቝp穣`~aѶ q/ H~e!q״h z gc$+zzN%0|Ds;ipr4TsIu|c.QI^Nqle#z#!_ƚ 9fY'UsZ}<B0ŕևgALX : &29 费G#ٝ.~Σ"(79zs[qѫ*Rec /fCKR;˔0(t֚!LsI)x; }+N;`2(KG;!5(Y2y>J"RnX{gYZ00373f1096635d47f99703056d4932b2c263cfc2 4cee7a4a8ff3a6a412156b24cb39563781feeea5 76672d0ca038cc430cc1a943426e3cd5f6065cd2 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd11728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7   FinFun