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 |) 4d ] Landau_Symbols:threads=4elapsed=7.601cpu=18.436gc=0.692factor=2.437zXZִF! p]ŗXf[& nTg6 HJm|efe3~g S|ZC\G@,YiY]kI^n odn7zx7ehx lߝ.9W5*H{.n}W%NWB85\QІ{V8M\<,}vU-zZf3Gb4{l rDvƙzd=Ѿ/r,R ,x',`2Y-#dSJ:Zj7}9Viw!hpW!H]{bk;3zyӞVq+iK)DVXh938ePNH4z0-6Lwp⌴?|,m .خsPSrENw''V4:чOJFa?-lU}Tdy?ZZM m|)cr/at0ޟeShVݜnnyg&V!PtmLYE ?GC,&-UCp[ǿ>p(:·'*4MW$ 3^:@iοxwڀkmIb M߯3d=~A~yWb]L|5КcR _d,<-["U7;9,+Іtqcx-Uї"z}zZ_VMs! u{v\G漼u e7]yУ.8H L-l@ٞ3"f<,)?of& ^_XV֍*}aZY6~/ʻ7[ݖABB5(XGyNv-\ pהygYZ9df08d4284a421d0e08dd80aab401d39c4df616276b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 46b2a9780ba5902f7ecd4ff6263cdf90a09c3eb6 ) Landau_Symbols