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 33J% |l % Finger-Trees:threads=2elapsed=15.827cpu=26.088gc=1.932factor=1.657zXZִF! ]ŗXf1-/6vRZZ-=X@ 1-PU-xA/E@ip0Apg>9!\y&h1 : ב`U+@W}I{ IUF͏:W\^'B; =G !FHXd=Ux&7Qo,aʎMww>is 'x&O3ˊȠKJ }"#JҚ$0^hDA8ݩ< C?>doiVQNqIW[l;3R]OS.?*^^,71BX BH:(Ss|1ŷg\܌/`6wOGڮ@a-s$vn+)eDj |Kߒn*ɱgYZ7zXZִF! T]ŗXi%6һdǣUdbՇvrD.F@x9l"-ui •$p`?S qW5eXs(<8]mњDTo$t|d=l.ʟ<9ۮ7M1G};~iZk+3vpڣq0tiK4t}V$鰼O%v=[֢Zߥ28z0:I4_2Ԍ+ M΅GyK ڋ;0h[;5H-B|\JBS#$Ha-KVvtC ^0DMS),JS qعirBDd[Ix6u\!io23,EB7kgߟ#.UaQ,A.ϖ̏r;|nZZsDTb3N=9d҇$8gK A.Q֤a4L ͊cQBF5b(F5ς s3csQZڦ']lBz%Yh_(=>/)<6ybU"Pi-A"ؽvdI ]X;,8<$0 TҠlPԦ!'cSZN ԣ0=&l\ut-YHG G:K^ *D9AVl>H<[em-|ԺigLr$@ 2TȄ>(jD)ӟPkIGQMܛ®]բbЈzI<5"q}_=Zxh6}<.gA2TtQ7ČJB%j>ht+yl?zBUy- \gO kx'XUbQQ3y/)3xqL*t1Gס_sc4@JR>:AYo UQ; c_x3B8G$^3kE|)WA3"7o9v$н_$2OW ZGXxT=s oIk!/ E-rD/Y6jK~>^Rb`Vޥ[:B^s4\4c~sкv'e ڃ,8,vWʵ}+vfeS1M5 \8ptQkmQ=w\}ɜUWEs'~T-9}N U23<¤&_ ggYZ0a25eb7f7cc33a321c22d613b0e9417fa2305b72 736b9a2d5fbcf5a74e796743a402a2139e08afd5 8e2ea0588484394bc5cce75549dfba011ac8ef96 ac569f73205503acce84dc3475d1e8e387e281a9 b445cfcf1c121742e2f172367878a61977cb5614b9e4cad54624ad835a14cb92fdf2da43457b5cfe 190aba293ecca7a1fb1d23b827c0a4edea07cd47 f0510f2c76a5403ce56881da7392413a0e09c10e % Finger-Trees