SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 {|l ]/ HOLCF:7zXZִF! C]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAU!QJG cM[yU*;vep ŭI{[ #DgWu򄼃) r|ޗ[ȡ [D=zZCwV%K3 !E4@ȃq׉*}9+#Fw 1R\q Uv7x;#zuDUNyK5sW95bbE>XZp\l !F_B .G "@dMqZ}@:.p0Q3cJ"s|'Y57pypfMΆ|Y"G:#w"71}/Pk(GG^cۈt|B-t r -v1yg8$ZcgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{LI%33`'/cސ?}iBmk༿Nۺ:j;7-契O^Bhyc+i(huY* E j%ZдI|q\9RwIC^ӻ1m &{Qpݐ_A^.*p.Zgy{ts2DYR, m`)9R/^{ƕKD!5ׅn>Y%蒦\u%,!7Mƫ\Ji' \x2"IZv83`i~iҚ9 wgYZ7zXZִF! M<]ŗXi%97AAE{့<,/$ܢ0gN:7lٍJ+f> "BDzfdʮO%%є@$dkomk,^mFq-w[^yR:aK't@ 38&9m ]YLôr}#d rہr\#v ֝ތ sBѠIcKo."/ SrM>,6yUnO-L7&Ϊ0nނD˪*P࠯-@[*f ~+Q+LDgk geEƺnyy<#W^~_YmL T}]0qTfYQ{b$UYy,V/?k'(QJ;h/#US6A^e{&,p2o^A|e>_RH㩾`Y6KܒIx؇_xERQ@.nbPc"V*5nN{ jP2s_9rlpO9F&UZ`9G8p9,.SWqr |# D*s@l_xr.nTt̾LI3ⲱtE쳇$6x:ewz~="=@e;Z 903яC?qv2*Z.eڿ'Jdcg5b8KƨPvżx>@NЇ)#o49G5+ܜF9ӆy!nB0UgSxLU`:pűgYZ7zXZִF! t]ŗͷƷ͓ACIYK9%F8Ƴ5H٧9F+TzG$ z)v@ܷ.I钁 VvŪg9fiFL.OV0-]^śdnA͔yz*Q@~w5Y*9Q*%9nED'gb;w#on!4p6>-_֐E QU iSqf GTy(kMNb 4Y efPf:]ϡ=ߧLK,:>8JwH`C~>@-: :]KNMz2 q>]V +r4Kun4+D raP%Ǯ.tRjQgYZ84b349a9430a1c56f205e7ed45e3b0a5c8feeaba98dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d  HOLCF