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   ^3 T$\ ] Efficient-Mergesort:threads=2elapsed=10.349cpu=14.128gc=0.576factor=1.377zXZִF! ]ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{L#FF#Yl*kjP+\*1>r2-Q%z zxzbMMR[QW,b,E̛WkO1Gk^'Mq&Ano"/U3#h3wG4z-h~, q̦gYZ7zXZִF! VN]ŗXiɟn+c͔(c^=N-Mgƅ NʻjDa#iY(~jWQJ}YZ7zXZִF! @]ŗXi%>gӟof oZa`g_8 Jhb\.~h); voҭs6 rj%$J^K3FEr~M5TjCpN) ypDӏDrsuFXE$ܞ~d0L5ls$DU49`JLpivt&pwB5C53r~9W% ZLpmt bz4N0)/oX-⿝&cҗEJ Csfwf݆Js_38g{S2A t)1> ɣ | Kk X|LOTпt0zv 3L`Ê_2,icڢrHk˸V;5ȤM8BƯF ~I|5A+eJvWw `,H>2 'A6.gd;z'*Z ܵqN$2l(rfQ˸FI^q~5}c;D#k59Ǹ=5VN_(fL=bu˯`eKՒ:f!fJ7[S}Q*