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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info rr 5 L$< ] Priority_Queue_Braun:threads=4elapsed=19.326cpu=43.160gc=0.732factor=2.237zXZִF! ]ŗXf1-q恈%kV^M[-\q^: C<=5`7Y1] ֫w%FWoc(>@ ݆;HdSx?J JJڔJ~;jӰQb8&8I `@9KGK늌{5AoPxSCdXD_O0rbZ/1.fguSwWAQ>ddlAMҎ> CF!X]e&2{,y}*(w>@ldh r鮱v\{!f>#-a9-_@\cz'=q[?*%fJA.J>Vu|GF~p'{@2v;4x)J_:oAsJ?+M'(+/^L/_بW0tу K&i. vƤqmyo8uekLyV53 ,TAJl@8iOKEOp|(oۭG]2@!O$UgZ)71< 4{~/kD`w+FA? c)}{(͒:UZzԇGaF\Ý^Nph`VғnB? ޕ`FԚyN2O X̗0Vt`!$sw ՉTl;hr*2zJ`j|{ <2"?͙7URkYlenٍO׌Г~Kq2HA23F9ßBcp $%$P+nʭJ|r/;ɂP![b۶gQ_ʫމjUm%tqlQ| w<Jf^p ீY/dgDቶ쇭m6; >nG EP22b̮xJ>_gMe}7fqȤ ܋eœ8tΡiAB|p:]0rz&ڝKӧj^!#nfQ%ٻ*w+UX:\4XF25pPVFlu^dbhM gigf;M?p4[U`MRo'(rG!~v*sbO#m+XSi+v[&oqj?FC'#.D֡ +&b (V?VDY `i4#3^F3ws?i#rWfkړ {9Gk&RJgYZ200d3385ae02a032a1a497008adc601d31c4a09e78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea 5 Priority_Queue_Braun