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 "1 || ]S HOL-Probability-ex:threads=6elapsed=29.483cpu=49.004gc=1.400factor=1.667zXZִF! 7]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EۡP4b^IZ:vW8 gcS[yșQJH8qx(UVu?UJ@E=EP,V8eFFH\x>*шdO; ԶU]J[Dke]:neXUi,azUnkU8A-w5%t 9aM%em fb5MZTQ]_NĦ(TT35vd 1.ܼ8MWy_poo,ܿx]kljM$=VMij@rD?E|}jK DX.51'맅IFn8pݦOOFXJ'`_@ F҇z{Lc)ytѶ!k#w-Gꎡ`IO7SYgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >Nл[I#6jDX\l-vgPTuj)L^R-mshPA\en#Y^Qz; m_|]kۭhB-͐{>%PAvJ`>҄mױgYZ7zXZִF! w]ŗXi%> QZ  ӖmjsSt\LQgEuɁ&ٜ#e-h}-$D\M%HA׽P Nm( ѡp͡hvtr=חdW_1G&'t}pT#z9{ĨTc,#h2P2_:e\9Cny*>d*T7i6zqcrq5&Xf:l0nwzN@O\I[hadWHx{Unxܯ_S%w?elYP~+;Hm`g:yT ]0FƍsԎd|6(t]xŃ okI8rReRa4%sI'`9oϨbGM9<ΘP1W+0 KS e&<߳#]~fؑuN?,4,a. rOVb3$NpJ ]';]R*ޖ3Ou+Pc %@ΗC;"4$ctV'#}C@G!%?#Y̷}q휮ˡsƜ6OY@G ཛd8$޳>kQXl!.[vW#ܗ+x+*TD^a~OuTIuYY6\j칿\姢lo+_q㯬ecZ"4yjeI2"8P'J7DbqElad\#Bo[zNL%Lw["!nwXW?Tik|f.:BAs*::vEL OsY򰊬d B+ȺQUOácے>⼒tWqVHǟ