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 c/ l<  Well_Quasi_Orders:threads=2elapsed=28.177cpu=51.624gc=2.868factor=1.837zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++*B]u>7_SXԞxSaK6< >p\utd M)D@nAѴik4P 3Ƚ<]+Gg#4evl%=Z|Bk{ݜ1nsk2;MZk~#]-ԳM?)ҏ*qud 5uÏFfr?` Ty(KGYz6߃)jNsht_3'>UױgYZ7zXZִF! ]ŗXi%Qg} -rH;5KpLK3 \OdF@Lyȫc] ,u5Pzu:Sh~@JYll~$I%K1FPQ{bE=J !铕mb8\}F̥CQ w(Sϥ?~)Oa=#c95ܝX_=vqa-üE" M)OSG.lXm2- j<1̀-<q*|>ysb'ާČۦ)]"e>K*e$m'4Ys78GV} +*I|+zo#Ur5pĻ#(iؒf3ݯwN7Db6w.PEҘ ӧ 5R#2 zgMX[oxW% PI%xZ~Ƅ~\k)]IteMM H8-dД_O;OmU}V\)E?:LMϠ,fYM+د>svxJT2MgN( mtT=OɴG9⧧Fg\|U!'Y|Pt 9//Gf"VJg>X%~BӞ̄wNy*xjïƗ2-7l *tj\nVw&@\ ;{AB1ي%"ryu"jK=[wVÍԎ<;M~[[04-G=ٶ&-=8|(Pobb. cm}jP͜|D:[bk\&C7$453 87f=M\]C09Zrv4KCs g+BGMKP/)E/2hPR=GAAo*NG; yKl@4:銳,:O$ۓUs}Vь 7)a?r|6 W,)/e'E a]$X 5L=ݛ݃zzs6fj J| 6rI>Q2 L-13M-& +3w0A9ŰUNAJaR~~i(9}3EuL/ճ~!s f^JtGĿֆk.G߈сMD+,O?xqzIA/⍳;&*óilcDP )+n|vRnd4{B~Z[8', d 5\*У4=AnFB h8y]s \𽵀R X$P?D`h}>0{r2٥KdcW_o=JAJrj Us*фck>?+M즼kL 1'+qh acgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 372a2fdbd210f4bf1ca19bc25f552d04d6366c5c 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 489cc83115622e6abec1120f6a9cb06376b51e20 533151d900a1186719bd7db13d44261a3badb5f6 54eba29bc7244d89a0939143111bce31987e6527 5634204d7b3a8fc4754a23297e39ed38e0659817 5b77bfe746fb969ca5ddcd17d1e46b0b332699ba 617b13a7fa72de4b87dab21619e56ad80aa8b75b 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 71a02cf1a88b6183f35a2a220c2b22294341faf7 76e13891ca07678bd95d7518433a789d3f4ed779 79c07ebd2f5283bcd7da417cc2385083c28a6fd1 81de4762b4e143259c5d9fb6b097811906b676c1 8f405996a75651f5726cf372f46e94f052fd968d 9e13feec5f1ed7d649802bc05646bf8872d202fc ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 bb9384413e4fe0f409f6124c8e83fc66a625de83 bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a bf14e7bb45c1bb0b5d454b66f1d5f5bdba53d6c0 ee8fc5f74186449772f156f8912c9a4cb4ae56e9 f4f91853e4b43d9bf995ef68bdd37d3ed6687be5 f52f8c0be86c23f5875d4c453512f93448e075e6 fac8ec90e4f007b9008fdb809babfbfb06349f8d735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3