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 E | l ]]IOA:threads=8elapsed=7.891cpu=32.608gc=1.423factor=4.137zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K)B Do;Yi 3y$WYOqX mdI'p9Q/ưl+Zai|I+ˬDwUyC:uN)PI gTQg﵅" + TSBY?u=C ppf13 JIb\@_ͣf24x+?+k+gЎva,8u':= 76/k{ ׬@ SH_ѐUy2vR9$>DZIU:"=dzh5}/6 2O9}$XY9JQQ˃3"3!kk(].^ٲ0 Paƚ#1c+#!#T7wb,)?L~f"Q_FʊfO!p\ ^ S gYZ7zXZִF! `]ŗXiɟdN'LvH۹@d&^wf!0~[? l(!H^[hnS&4@붶(C rQhi5hJ$9qHR [bը jEș_ZJM+[?M;8?=RЏZra?|E .L ckZJI·KAʃ<+")e 1vL( rO4F.ո>U6*jyU||Gu]It>3О/,F3t&:>+U;T7AMXN܁L(ؐv |'v)ҮZy =Bp2[sHI0 gYZ7zXZִF! )w]ŗXi%>t{P#ԤG._ljGq@JZ#i يM@$dF* 3h*jm:#\pr6SѠ]5 @g,WRFZwSQM_/ͻ;_HgqWō~= ogq̫ٗ]gά6֔Ż;ۂ |Kr8_%m0bIS~p9?VM~A&igA\/#MM4erlUTZQ TIΑ˽\"nc䵵GCr{xV)uU-tsUaruE:[kuZTtK(G~-_xO*"[ͤm=Ӷ?H O.%u#A <?׿a^ qIKSpO ;$ZsD⳺s'J<@lk( 1svSfGЌ5{)Zv|F6l)mc (Rw5D^ǔ.s+8Q2^ 5#'O^ Tk]+􌒼i)fAQAVZrFo0c]wP([ ݲ#5fP;Gd{iߥF\NMkSh[ǖO&