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  t' Q;kNPIޑvچ> Ez̘c,BZ{pXHT@Cѻ2'-R y˅Ѽ?F(iL|%kY]Tt&LK8®B"@,5BwH/+ZGtCgO .W,u:pWjoLbkTjwpbRNh/K\E+Di}PShYk}&Lkm5~/2MOH<e~\po{50n؋tf.Gb܎jy'=]xXs\ \e&ذ5 k gYZ7zXZִF!  \]ŗXi%6jf`8MMM/lz[µjAGĩ Dk!mv!s8*2ϳ&<:\>ƬpIשF9QIh]#QIw c2_=UlVl2GM&LH#/^= c)N4 dW2/ C PgKC#XM$p>,Rrޖ=S-Z5]aQŠڜ7A!j\ ҨH,MLm\ yQ7/_JĠ%dž3v8F)&DaqN+ŰdQiÉ5;{0p暱u6!O\fx<7|3-@y]OS*0m-eqh@y&mjT3)˵[Uv JH@c> )#ݤ ^e$'됙 VKgAj_P bMkjQ{M Ȕ/%z,#zX_WhЄu*_Ŕab<[A򅿫QGVhǔ)2[;hpE@[\X+6jֺ+#M;9MZ=*V ?L QKO` gⱙ5% S{|"Yk<‘+ %h*ѣ774dI9U ō8[HD;6,zLaO$7Jqio9Sؤ.GlVa*B@IRNI 7ݔ1>ih]? !dFQs0Q_sІvD8 ;=B|ؾ~}K殺/_'ǧu¤&KŊGCrh+" "ScdL3s}Jc.v?^8;:hv[zN)ٷ.7ٽfVV|SqvuϚ " ܻi/:K?y@,edԎmn4Ǡ@:Ƚ$W:4`/a`߁E 37~;0+[͊ Uֵx"u+Emrk&/v>FaOaAs4U-zyO>xg6] Y jŠfx6! }DQFA,.[(PL(`40\wT҂1Xx)>y`{M0%rْ~s cZCyhxDئH{=9gIdTb)fۜ|w>"ž8:r0%R?S^n ?LPѽ$ MhN4֜M*Wpn!A4H:RG0=86c2.0mߘ1&`,aw$gYZ004ea5040fad33adc6a1ef43974add45f8e7704b 04295273374869a98455461b0e8fc90562b08a24 06449ffa42e3ad9928207f59223e44cf25b2ee37 1d6dc1579605996cd7794b7159da262073c570cd 2f52362492700dac879a7ac69160ddda25a5d5ab 372a2fdbd210f4bf1ca19bc25f552d04d6366c5c 37688927f1f3334899b8509875b0844b02f98761 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 489cc83115622e6abec1120f6a9cb06376b51e20 5554507406f2219d3e72529ae9e58f6caa1f2e86 5634204d7b3a8fc4754a23297e39ed38e0659817 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 71a02cf1a88b6183f35a2a220c2b22294341faf7 7bde2941709b90ac9aa476f401da3017d4a53594 7f6b1cbe6bf3aa339996f01f0ecf25eff2a0fb8c 81de4762b4e143259c5d9fb6b097811906b676c1 851ad684207c6c6f68ee9f2b6b0683326d8eb4c2 8cbf1dfcd5e5c395db3df182e7f82702dca1f0e4 8f405996a75651f5726cf372f46e94f052fd968d ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b7aa5f1586d51fe6eca1847caba6fe4f67faff48 bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a bf14e7bb45c1bb0b5d454b66f1d5f5bdba53d6c0 ee8fc5f74186449772f156f8912c9a4cb4ae56e9 fac8ec90e4f007b9008fdb809babfbfb06349f8db9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796