SQLite format 3 @ .0: B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info R/,T ]% SDS_Impossibility:threads=4elapsed=35.929cpu=85.720gc=1.032factor=2.397zXZ ִF ! N] ŗXf[&M %_7ԉ y}ث]HpN][9lt*=*w^芅h,yj'EmolLҼ1?R<47|N ,r؛2ij7@*P[MAl4ʆa:@,4/"HȂbվ,6>0ܧ]`gx~YDh(:zFM7t[bڜ.LV!YkqRe<[Ӓ99Z=1+8Td(6bJjHWA'\ OܡE FmQ9 / SDS_Impossibility (unJ/[=Tu8J a96UƇu#櫊9 NW;`GaGvX 3͖xGiR?ԯ~ ]69)L%)KON5%пq#>EAS4#Q$VV^N鵮^cG?
Yr?@ M_ 1 |g YZ7zXZ ִF ! Y J] ŗXiɟբX LT9W" qP}G EyٿQEWR
~ޞLМYq@ ~# fZ} YZ7zXZ ִF ! ] ŗXi%B(=hR~y1 zzsZ:{@>~/T)SzS"EY0@xpҊ0_#$;A O6EW0/m{G%ꂸk vѿgӶc
@k6Nɷޮj97%
iGɵ-N7KBP,jt.~J+I=~.ieI',ޢn:VC>AzU.V[U)ps)5Pwu7TȗR#qHgZyORF /ccB`u"iI2j6
ѫwQUh%p=i^<0_>Y1~m>/\@Y('CMY
}0_/0Dƶ+ïe«yHNy!/Z]hVWeOBrͥmQiz:CȃBs?փxn
ƫfQhAxmy ;vb$
ԙt+3{kʼ3 TW{Zٮ1zD+5Wk|LPAG͞ |yi8[%SP}PýX uV9O:GX{z
d@Kb@pC`ښwLE
)'adUg1tP"F a4]'Ad:h%vWetKl ŴkGn[Q祜^N!1-NHKMLT! &ni8R⥌SJg5Ǝr1x
ZT9.l쯀9n{.Cx