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 PP- <|4 ]]]ZF:threads=6elapsed=9.990cpu=34.876gc=2.204factor=3.497zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(ZIזD]=ʥn;d zkL3i1FTzA=@lg (k6>5owVf@Dj19`_E7\X`[ʿXݼ7:CBhnDD8/JϦ TէKð\ۤ1?Lk$o+mn]t.Ӻ):':0, ڶ]g@)&m7T. ^6%&#PI\k+|gYZ7zXZִF! 8]ŗXiɟ 1FE`穱#׶WqP D$&f ڪ},^"@Am([3:vS }.P`@`@!)0а!ЊxP)Yj*љ 1ч 0lI$Ʈ|V zuZ8P 0ʿT+@g8"LxFM{$9/ *Nw9ʊmz+흐`dÌļJ5,^vJ* '>ڻn>aaPQ.d!;v| p^O3xCEl/߭w(z-\r?S,|Z(Q{GfK8.b߫0Z^hw3i,X@dyH5 k}H߬HAI:rzne~ &,zTWjE$̔sPYiDģF rB2WVkjBb!aGT{x%Y%Zp ?\$@gYZ7zXZִF! /R]ŗXi%6Ʀ3Cm"<οsl:Q Ib7yiV^չR#;JY5D=kf܃ġ "_8؛ Ȋ(`1hGF۟\1fAy is_s^"ӆ&dmB?BbvEH%S{^ X o S!ZU)btGX Xr -d.œg@Ą L߳% *mpU6ƫowOz ¼lJ-(< tM{ qL3Q}vy<º=;~RBhpgg`IMZOKG 㛾!qDl 5^Əӗ\ %+*lwYl0 U0M{qS^8-( |ev(6Z?rTvKj!8ۏ ?Byu>LC537uiD"z͕9`&+9o