SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 $$ ] Priority_Queue_Braun:threads=4elapsed=16.246cpu=35.024gc=0.324factor=2.167zXZִF! ]ŗXf1-q恈%kV^M[-\q^: C<=5`7Y1] ֫v%,x-L_ixB[aͼhi.Ů #43W~`DY-HwSƻFÔv':V,7ֶl!5Qe!1xAlx>`VSUDhV%bh޻(7!-OF_=%b2 A:ϛ&;)>\Q"$b6Y%3G$5ܞI[D`4`n!r jOIYVa34n{j-41Cu‹86:%s/ztIwy㝧 ~gYZ7zXZִF!  ]ŗXiɟ1]" M${np^PTܶemDb!مǦC(ԪUanp^)䤺/3:-MԘÎԈ@t;JՇIp:{5Ytr?gYZ7zXZִF! o]ŗXi%ES3ub6{ wJi0c/D)14|­Fg.qVVĉbni_}&-Ǣ\LB4b G { SGBPL^nꪉ]ݣpsDG$ǁX;խ ! F(ɠ8>Bx& QvWg~S*|^\}HXmvJ,~6a i#LP5!NJ8Q0pс_?eS5VM_973:P%8Sta4 I_ꃕðr7LQU=`?C}Mܪ/^%hb%Ȕ^^*kFw'.@wӟms&U~w-bt| ˘mA7\Fy?R%qMM?u^%i ط)wYO02[<?x[Aq׊ڞM^ztP3 ްJ M*ƕ F Jb ԧ M9%Z_ogrT2bj'Ȁ3[ъjfh8YlmxQwld@szx59}y+Yư%k {VD47R-'cqĘ}itQN]?8>Z|_Cr^sepdƀDx(JBxMht./ˉ>d W2E( AJe_C`dJ_` urEÞ'+/ߖ->w9㳱Fz h՟'f6bqhN^O\R% S2jOν"pfYA%z:&TL &<"3ػ^4@w /@*|B{W$0% |NFL$<5j0Vxdk*QV{|06}$amLxw ߚ{] CIfxGcn>$0u $Ӹn3WVc;$8]跻SBѥ*z;'[Az%& lsApPk#C˃[f(1'Kx ru᫧BJ}ͻT9W \CŎ<|+xOF[, ؅( Ռl?2ʨq fﺘ۾+rHH "~y z089*p,HI-B 8lقw&sG5 *"kݰLyR={хKiu #, )PFR $_~;s .d4gYZ20839061406cd99d9b5edef0da0ed7f7d8387f0c76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 5 Priority_Queue_Braun