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 &% |D ]/ Completeness:threads=2elapsed=15.768cpu=29.880gc=1.760factor=1.897zXZִF! 9]ŗXf1-/6vRZyߪe?1Do_O"# Go͘0`=}#9gv7$^]y>}}i.|A?XQQ*a4Y/F F%5iA8yynՙ] Y:`grGɪK"Nˬ -1L$oN]Gr@#] dw/ڋR'=ROˆ=|LujDzgJ ŢEc݆R { }VMF| 6k a[E<遦MFb1*.Yךgx^!: #3Na&q"mƚJ\[yш{TX R=4s@=wfSL$DLwgy<u2uI!p\fVˎC۠5ǭvwdCxVH*zxa#"kx5@4N8f>O[-"#GTV6fC{UZkMo#6tc t d{{c%jx ϐ6[D(6书76~ҵs,>u7^q gb0G#"j|.v`LR2(Ao$k@%Ĕ*>Pj}Er-.U{&`I6Wf6Urļ Po|G=`o5j~p謁C6 4odJp㷥Ff*6)T8Kc.PH4^@|U@g3To3j\O O ,Hh >kev#k ¯u f=z u) |9$/h$|eI-?^a}*{~r` _w7wD ^C|`Ձ&j! m Fn(w,]< [3a7Eܐoc]u-/DstͦgКWp\sl[WP6Ժ+0^E\ aL&gaQ2ػC"F͸w KYBY'HݢLI> Ado(uxeo͢m>n:P ՎEX^(R>cnĕ=tIǰm_*TK"fVR(ӟF,<+R.cZJ~"$ou@f4+3m,?44\TaV )my~e(.$On B ~0eES* }T%*|fKpvpQ VSxnfX7̾L@R4GoS'=t9덒1s/7LoFxSN)|O\بnn!oPc Q ~i, <5k֑pܧQ)b- g67ҖECp`8`I /1յ