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 // Tl  Well_Quasi_Orders:threads=2elapsed=28.173cpu=50.704gc=2.980factor=1.807zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++,àl~A JP4M?U:[{}򈔜nqw@*T:<4ҲRW|E%j(}6a1ayFT65Y~tГzvjVثss}ͬhԡ',M@C_ú5B~SQɱ cb{_~C>vK@Pgy  \$`as uBɔDUF9*Nj /}\I_|ﵐhHeTZIP/90_ZW / Well_Quasi_Orderswq*ui=p:2]8j"jg ]Yo}t; K /X(D6g~ 6q"Vn$Rx| 6t%QxU'ͣF.Ducj?C[Bq<ᠰtm+6!+}SʬUHG_B.}rmo_zWt2 kOFCXpvX1i4 w &¿hnMrV.˺f`|IPݶKDϩ;AKCOgby$1Ԗ BuYCbU"G`@)\'hj{Vw=+h}:rIVذǗhYSrdV/g)ᒆt4*:FUoZVRU4 jIO,'cFиzw;ujx_Fc3!EڔMI [`\,Qao_J.KMAb ۧZ=!Y UFW =@D+M‹W*?gi^ -R+ѷ㷚 gl2y kCT .aڰOo|ң+ ^WowyP ^jMHFYشnT-(*CSDU3yI%BKM(lf.=enЬd.D[o.yJ?k=Ѳ@Nف!!|bDqn;y(I$-ۦ#H.ƒ3) &cHBd U8g_N\߇!og[ &"VZL(VKJ+US)#F(Dj|!Re%Jo_^h""m8rNj=(< hvΆ63qQ[GdP,"ގg͍- 3YIW/Kq3!~/*qzR׃g(D/E#~鬑8(=UvmrY+<+8DN1*OSb(rCsF@SbآS HA+HnV|rrd\1oވs{{J.=V|wJƅ% qŌ[gYv܋#.7U ;(ٱ^eJWYgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 372a2fdbd210f4bf1ca19bc25f552d04d6366c5c 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 489cc83115622e6abec1120f6a9cb06376b51e20 533151d900a1186719bd7db13d44261a3badb5f6 54eba29bc7244d89a0939143111bce31987e6527 5634204d7b3a8fc4754a23297e39ed38e0659817 5b77bfe746fb969ca5ddcd17d1e46b0b332699ba 617b13a7fa72de4b87dab21619e56ad80aa8b75b 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 71a02cf1a88b6183f35a2a220c2b22294341faf7 76e13891ca07678bd95d7518433a789d3f4ed779 79c07ebd2f5283bcd7da417cc2385083c28a6fd1 81de4762b4e143259c5d9fb6b097811906b676c1 8f405996a75651f5726cf372f46e94f052fd968d 9e13feec5f1ed7d649802bc05646bf8872d202fc ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 bb9384413e4fe0f409f6124c8e83fc66a625de83 bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a bf14e7bb45c1bb0b5d454b66f1d5f5bdba53d6c0 ee8fc5f74186449772f156f8912c9a4cb4ae56e9 f4f91853e4b43d9bf995ef68bdd37d3ed6687be5 f52f8c0be86c23f5875d4c453512f93448e075e6 fac8ec90e4f007b9008fdb809babfbfb06349f8d554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a