SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 8+ Ld / Strong_Security:threads=2elapsed=20.403cpu=39.404gc=1.320factor=1.937zXZ + Strong_SecurityִF! W]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL/13\zbTu(jG6{oF[[.@e_k6NdgyQaW LYxR' BB' dKP 0aε?>p.]\.If2P3gU,`İ3X0 4.~w)a1c"'gqʆB2 '3Dt"Dņgyʾ/(%:z{:GkCԣ_-Z] A/p@]6mb%@ӎXx{Cmzx\^c4x:eh @ Ωz\p}J 㭓^߸TLP:L0s@ApNñ>S>G@r 'VE0+.]v(ȳ %)/s""oUM8scC]Q]p)R4b\5O]VN=H"[3m+?XI'w#sЉiBY&br4Ɋj]& qmLI9Q_dɻf>95h?/YOFqH`#O*@a`"Gj"NkO'~$Erǖ/ͧ#t|gy'O!/(tU8p//'|Q7ޗՄ}jN@W5ԏ( u RC0B1<lFa*/tE taL$cWzwڵ=HrnK+ G)V<8xs~c3;p^gXd0Ne"4l$2Կ^erz,tjTo G{+7 x+<vp)ZR2Z1hZxl~9HYﺼrhAQL6.{"Ek;n+;2]0KV r7kD{VitnأH81"G`qb)?X!s/ $ -ܤcoO%И{`_Ɏx'3{VV`^ 'Wί=!O1ޕiש_I"r:O8P+(i<-9Ht3fB4 #i A;+Қᡦ-V2ЄޟsIzѫ]zIΆќaHZ(jA D()uշaf/gDGGJ#2 !~նYXo!y&SP3m.:w9ȰE[X>ykb.=_1a~Hy]px`>B-{ ڈa(/䄡e.lOuD٭ΛvՉ%!.sy("@;֖zA+r>XlvzxÊ agYZ7zXZִF! i]ŗXi%zx\$I9'ZiӯcأXL¤{T^,Flg`K kǶ2Di4*QU<4$(g)Jk#̲=_˖Ry`N{YV5,OXQy`GŹ=%TMԕ dnxg`UbwjS'cc#!?^zUr2JMkCM<ǢdkA m`NAY70 ,"o-~Eʓe_|C:Rz?8PjOhhu1 OhxE1w0jRo" TΏ·Cf9ǭ:}L X}kb)6OL^s "'}{jT1N]-1z$v hɚhr%F<$j#_Gt)1bv>6&xQ>)ڔKhx;kl>ZFDy0#Q@ 9-f3hm7g!i}rx^>6R͜BRV wGgYZ0c336b7303b23ce3ad8facba97d005511031fa79 15924b568e68d47d75dab652d7d2734edb365b59 15b72db6bff1fe99a2964d3636f1f03456d23aef 1820d13b921d8ec17a3fca161bb61e7079ecb8bc 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 47b0123bf73b955de525edae01f2a8c83434c792 5855c11fb47d4644a3eb1661268515118b384fd2 611b23318350c2753620589e42d5676a8ab4fd71 637d7d04ffa4d04abd656b48cbdee6c5ff3c9514 7453cdc101d0a2a99a53e606d88f21d8b3a62391 a20370c8393d39ab3c57febc38a4519af54dfcec b72a4ffb8ca19f4d8b8d763ce281d69c8af989ca b99b9da9c4cf3add66cb4c0fe7eefd6bfd36c755 d473271404ff7d7a79a798df8c25f1e1ac2d1696c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3