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 &&K+ L % Secondary_Sylow:threads=2elapsed=5.166cpu=10.240gc=0.276factor=1.987zXZִF! N]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃.z<O1L'SFr AJ9;6큉vNZe+@*#&Q)Hz2!"C':TpXRsHϵ\ T(rwy1|Yigwp/(Qu5=S6=+0>iU˿oL,eBǒQ᧔8!Z u8vLL"3p} f&sir'2Hg8&<ݩ8 \_T@e:૟.}Vl)RXqt|3I꥟ z%wڱ f3ؽ; 72ߡmPfb"i+hZRDzVBx#<ykǫ5=W&Јyxȁa*t`hǭk7~vÃSreOwWfoHs{kZES N}%48ciQ{lˮ + Secondary_SylowG&Xe~Yp'TgcP~D|0B5,C M˥4[imK}Lyel%>f5d8bp Re&QBOӅH<][TKPv (.njNҰO9Iu;VI?]. f<Ԏl[+LҫUĉ[d<rM'kkC(LYH\wȓUj&r[+,{“88y4YGʡX-:^6_jhDBuZr8:甚Vu_e ij31^ϕ/H "͉fYظnl-r: < |5?DMg ߝf3gYZ7zXZִF! #]ŗXi%B׆``&͉怣k1Wo6KWYaNi71Kcx-%WnE sP$`@~oupM<.c'۟#FJc=nYZ1h96BA.bjr86 Y+4.p3nݻV}w M[Ng?펫VHU{,T)i 8QB̔yh^e*3v +AVsfTqƹy|9UfxY̬b m3j ȇ@)IywY8Հlh+:x濮Hym6rpT +,/lpl OMyMXhk_e U.^x@ 떝iymw)vV뭎Hk|}_K愉rs ^ SDl;C!YN ؅ lW3w0/w>@z/6E]680y.X]+uon(9N`Sh6/FYʱgYZ0d4ca91b60be9500c90aee83710a5c32b25701d8 707f7081877423ffbac6d7d75ee7625d5f888056 885deb6b32fe433484235488d721358f75b692f6 c6d33f696908642619028f80d5d7707602192bd8 cce72edfc02a20dd206a2409c7be50875c5f19f0d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 c13e3de1e0be8d1f8e22817e408018c478eff10c