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 0 DD 5/ TLA:threads=2elapsed=19.524cpu=34.332gc=0.940factor=1.767zXZִF! ]ŗXf1-/6vR[j 84[ϲ E <,S>4 %v_cVpyKѬ i< T-čP&뭀3V2GmT:c5f9*UwJ7MVe rJ)[\ce[hP52* ᑾY9mLj7mAU rzfE Ջ 1.ն\6{zS/EӀau4~d"P$2Gg]+xӞ|zٴ–`Rh3&5-wS2JCCtKȑ {zr"TZ==ir6b/$ 'R$U+ W]?T!;gYZ7zXZִF! lC]ŗXi%6˻hj$aJ>e`{fyKqIy o۷PݳsX> Fk Un8@c *oxHmG3% ENx KmM!D(nW~C}GlFeyn _'6_ D 辎0//vISyIyei `n;iw\[*켫@3O"ÃdAe@ ?I2 x_cT-Wy2gmEVA񊝟/zQC,ף}%<=£ |N853)/߿-3>\IyD7U|"g+r}zjHN^B5''¶0HMű$S}v6;5,R( %R$n`Vܸ4(doe25$p3CQlG(Y/e>f)m*=xn7ЏR^Gxh} rMWyE(%16n 65Ʒ\"Ru|(V"b 2Gi t$ǯNpUf }f=›OJwvgwdHqRgMQ:RFj-OhMMjw26*y J":vSB0x(u+j*D"dPl5[7(䈔L=~z-8&/ aOPh~eT(yn5n'$f9[Br  R.gYZ1e7ba31c4dc05ddbbb631641d25d4f7cf03f1208 2c9f3be82ff5c63b1f16e21033bd1c4b35f466d2 2f7db77401291eccdc656ef2c1fec0f69869f556 4e0062e104a384dd4467d8375f51f17480533025 58120e6125904a581bef89f8e22afef8d50fc5f7 5f9f91dacb8bf052a3145f88262436d948673e8b 6ccca4b194d7c460c7d20d1bdf0184a758f42647 73f4a222f3b5e5b700f4c91e0ff942e0128596e5 8894e971a51764ea9e0de082a632d1c2af7ac9fb 8d0f9d4bc5410bdfe98eaa74450a4797e3b6da77 92bde48f7def0bd869468078008e71584dc7b705 b409a65573aa1439ddf08a9a817137e0855dd356 cf9f5c4c2ae546d3cd77524b4d6938ace41dadad554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772  TLA