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 ssj \d k/ Huffman:threads=2elapsed=11.524cpu=21.048gc=0.488factor=1.837zXZִF! >$(]ŗXf1-   Huffman/6vRZ7Y#Kȅ |[7fn 1Qq`*`,:7]hc~eq I *Z"2v(V:HcDQnimnU9b8oqц̌H|^*]'",yW?RіjʽgK ~k}$ၴh)^0n^0v+/KYY3%y|kz\m,\ΟGy"}J:ie|eXV OBl\)\vGٽ]( -VgqjMltBC8 8kUAQ4,z89;绌kM]XYGޒ,ϋ94 #,Rp@զ ,;H`D@]!#떨TjEBg SjߕZ2 v`;FsqnOjd:PxrF WC!i-?obW {J:w nW5WE^cS6C˭|ѻv H3i5 ӄR7(:\WĶ n`:blmx+6*WDc)KƩhs AꙢyW!)-~Ub}i+m)9?)J^ބ}ۗP2Z]'dIx70r Z{\푻4XyκW14MtT5PV ryFJ|'@"i!D}M-T p&sh~l%@# hnB2L 5%jI5ۭ:¹d^H nWEriTOj'#*<ru/aF*,n9) uA%9h8ph#fׯ.p[_DZ) fyn.2 /LEm~]07kk]5Ws/}uIa{~ W}Mz)T"d4:MI3 K+Uu;_EuEP f:Xz@1I׫لBI@qxe|LX<I^#7EK~ 2*@)zi2fy;|_\`T'oݔ. #(G*'Xn $Q<Xٶbivh[è6XX[o,a T*m'[=U~&ZcLs̾]@OPD]-BqzgW 7sټRt |$gYZ7zXZִF! ?T,]ŗXi%05C#|S OQeTR I3,8Y@0TGEzg3~]1-#v'i/D洍a",ED=\؈$9.RAJV'vL5XghѲi|4 lwyNyxbϺYG=MaKB&vKϖ'%(=Wv8&*xO/F&j0UpE斏Tg͈͒:!Ʌ-e 64F$U袋 VO0@cNr e䊂;x8v6y <{[U%c qivyb+tKIP%h3[?k