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  ]5,t4 ] Priority_Queue_Braun:threads=2elapsed=5.470cpu=8.832gc=0.228factor=1.617zXZִF! _]ŗXf1-/6vR[3 @ԺU4w<0S˦pηr-Mdxy1[ rw8[ZX:ԏ :`y-2M 2!x c|[䵉(^;&2FϫZ+1KF%;COZ M*zUg_%?C+ȍj pom)MH*_~U 2[w`C>c)eIA;61`gYZ7zXZִF! s]ŗXiɟ1]" M${np^PTܶemDb!مsZ5ywQãbN4xڑ#w1h?D@٪gqMbڱgYZ7zXZִF! (]ŗXi%>g$bDVˎK|$$~o\N6lp0A;rISLR,k7iI񅇪O 6j8յQ>'+">qw+O{IC_MR?5hd·PZ\D ;ͷǑpQ\{OY㜽Nى홯, 1UO`wc_BZD<.hD$ύ*eÌDti( lbg/xOjJr7>r;>𻷭.-#<$Lns__; RÁl_N*Φ7q ^9*ao:rjnuoNBG5 <̲u`cb:>,?:o:xCQ"ێDNOc#vpKemy3iS3!|>뱢p}SEV}<5;}5"ԯ՚k%dZLc0d-:ƨ90f3TiD^7jC($;mٱ,+}9B:J NL_Mo.-1XP+CX0uة-PҪ#Vyg:YZCbәlH3d۲uĵggl|-J. ;(xQyRn9l5lYLP7ڣςAhWLnߺ:bN;l7Ʊ*<0Mr zp(gBK[-@`,r ]qO25*f5\wq Qh4gYZ8e8b3fd61f79b6ae7e7444128601fd418bf2d9d2665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 5 Priority_Queue_Braun