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 vv5 d$L ]S Lam-ml-Normalization:threads=2elapsed=9.765cpu=15.660gc=0.880factor=1.607zXZִF! v)]ŗXf1-/6vRZUT,}"67}F%,]!ͿxLРxGۭ@x츘 0ӯYĢ4JЖřgҴO 쾫i4~x Vl;`EdYBzS>.4HE%@4I9'#VGy'A3uX!ZF8t۟;y{%}@-^^!V N-D$.׫vчejby@.E#'rz6Y2rUO` gYZ7zXZִF! P::name=Lam-ml-Normalization.Lam_mlelapsed=7.759cpu=12.136gc=0.604c!oLPiQՈ}YZ7zXZִF! @ ]ŗXi%>g"ˋTYUl)u\@| / X\f5-:?FyO/W~jZu+Q`SB"l)>cNZ{$t3QQv( Ȓ"*=}~]15ЀPGgmp-cfPϢ][^y/08I6sȯуXAgzf=Sw#Y'f]1HkrQ] b<@$m%x-md8k~ b|U9Cn߲Ǡ D)V$O0nX *'HJ#֚.9utRT6X8g]?}uk_jƝ7D/)6/AIQ5&H?sCiicJz8g #Ʒ3Dx>IҌ!/=QCqS#bycLpDW!7O{x|odKl=+;[y^C2}*6Ƹk\M%I gA`bE5('I;o\ fs.q|'{k_FjXt5—7S3~w&OB^v;vZcˆ,Ӕxd'@r5,j>/L 1b`1{U(ng3ϳP~t:1БIk>{T~*]7" :5Ŭ^uSl|.ZT~L>.q 2C "Z\ÔVWф!o|UbF->7g!s @6S*򱔙:S;RqGB@Q`o%Է"MTv<{ *!D!> "@#?od$圓8-ϼ?Ɓ>4gYZ528d4114ac777782720ac678afaee8a7b0fbd529767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 a8dcc87987f651778a1ff9a0d5bc8de4d865ad8c 5 Lam-ml-Normalization