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 m3 \D SS Decreasing-Diagrams:threads=2elapsed=23.178cpu=40.196gc=1.244factor=1.737zXZִF! ']ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4?I#t9M[jٴ,FO2uXZYУ |#rB z`%!F欄F hހ8:->O͞&}H}=rY{??S8gSb<bmleA90ѧ*m$VDcTrTDIÝ`hDi. l>\)X} [Q?p1auu4!/V݀ƚ|2_b,r1Fd쓽z(}Fg`&ߩR^x2:t]8C!`k+7*( 7Y{iOv KktޥU8;f|x묿qWUe?F@1&V+i޽E#Y\P#=Dڤj8(n9^ETqYIb. ?Lrd }x-sǼ< (,X6@zp3Xfې*cc<(Hcʑt} JvEYX3+HaZ~k]gC@ RIυ]*H<ZL~!r{ @uh&F0Kig;3o /kpv&c 툝i=?O!PR~Y퇠?Z['vـQi.L^bB-_4Ex)]kcjWk%f2^LҷZcRئe!v5H'9HvI.R3b3ǩ2v ,6wkjT XZM8:Q d^G^H{yD>vv CD|Z8Lv-Ggvf6wek *N?𿨌F%O.OSel IH#{i!>`M|^9Vv8 R/"*"jwGwjq4:= ~;|Z|̔F!bMdN$! h5);ULj7M1K\F#sp ۢ8,jhb#r>8m?γǵ-gYZ7zXZִF! x]ŗXi%n8X 9=(1u}6C=X=MsekVv\ǐᶅ(Y,Tc* ,l&8ưHauF}@e#ƍ%b{!};mWS2~p&9Kb~[(3ј[knLͦ9N2!RH- 91s<S8>r=*KH8lyDï]YwCW:0hyýcLӦK4APr+=Re ;kr9*^bƣ1/ouL'#D KoZ|vHRp$-`ꑱpAI1 zHfqгr @l%p =fj&yÀ;W&/5@}=#uS&uCb8#R?ՠDZ?VAj6] wYesThm71W#C?*ĵEHȌ^z ):':N%ۓB^~ FE RO"Ȯp3}oR'ރħƌHxXuwn疕ù;Y뤱qtYQ7c$LiA9^Ac!.Q(#I̻S/z( x Q$>̝(,b[ v.$\!G gYZ1c7b0a7e5f51454d4941a1e1e5a92c34f58e8340 5f83dcf2976631d4e831fcc4c95c7a48e6a58901 5f8e3f17618ab8944a9eca8b58043c6166872776 f0205e10d968b4593c6e9e0cb0dbe97f330d1cf6c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da b459858b5a0074fc7633d5336b4af5184cb9631f