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 % t, ]w]Routing:threads=4elapsed=12.338cpu=33.344gc=0.820factor=2.707zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Vn1MhT9TnL~v`;y/54#N?wRev6$z%-c-_u9被dU! Ʉ;CQGՑJ;uQZ07 ,,2fb[m?)O`@u{ɄvWv#gTaCeҼZ/{ME@ջ_:7\3$`V*߼m-IZx^ Ȏ*S3VsźI~Xd'6.ܤ %J\PQ,ZdJ/2Ǘp6JaE9as˯`-O'-'t&to@᫥ۉ:-w@Â|ջNqxNg9b̟_mZ\?gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gML:Qӗ8 :S *D RM2wo6f&թ]4Qud2uGU|y9h5;A=;FH'i~ԍAZ  B{wx=H]Fk^uk^lfOg|['h_A6wr!gYZ7zXZִF! X]ŗXi%B:b.1;3bE +X일jqX-a:ht)z(KaG8hRHXsueTm4'a.x,!e4viP@g[VdRj%Va`~7g[ґb՘&~-wk?=vȦyŒߧ^;:b5CAUyƐ3m(p,eG"W1mR$`ro& Z[L>=t$WEԃl"3\d8u~Hc͉.)a1]~Au` ,sKD R`@s.glnV uF'="rsہBWnR@c9x4ٟZUxCV:S;ރzRG_pi99*h!LnC˃e("Ghߩ{Ujk0vQAt[o>*Lqf’GZ(z.',0TWܲ43D# ab5xŏryn ?_c^!U礦,] h9;4{N/ӖhtjI'