SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 y) \tD ] Error_Function:threads=2elapsed=19.376cpu=33.484gc=1.456factor=1.737zXZִF! ]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJtSzlXQdѶi 3*棿fij~,a`! o\o}C) AԀl5ՉXB&~BQF gM@ )"@]~Ͳ%[~x9 af$_PT4ASWf;NCWbƞ8Y|ay wA^A,к<>">ZQ F;pbgYZ7zXZִF! j@]ŗXi%>g ytfagkͪ&I3IqE-iL ކ~"`9l4FFJW{+|n/@pxɉ߶Qw@G_>WFU>\V4~ۘ)Jl[z%ZFhy9/pUh!]n l!J.U\̉Xݬ1LL5gkf =F4 on4+UcwGR ~WZ{ ¿@+U<:*Uf҆,T༩Y[d_ĨlHD5*HÂnfn4w1dCZP8n^.6ʒUrC{XdFGs<BFE&Aր_覓?W)y62 px7./w3Z 77^(z1|H@qVGN jc`jY&K3ƻ 4LIb];y"z?:^hiN/V; 7 VG М)v^EXhġ<\v*JŷSɁ. 6ӌUji*%RLX$t; FzaԐnd(-b=[axա3nR̮0%ᚑRZfΡbEBx$8 I'UfB. ] ^.۸PيTK͘&u;ήpvRMXlTݿRܕcᵋ