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.771cpu=35.464gc=0.324factor=2.117zXZִF! R]ŗXf1-q恈%kV^M[-\q^: C<=5`7Y1] ֫vY,x"Mtgv4$xo zxO"tv\6Wk{{ cy>cxN WH v\൪KmfyZΩsL 6xo݁VUJ5YPY[P| zU)B "/rJI'F`"yZ]ڍ0i}xVh湱gYZ7zXZִF! rjO]ŗXi%B)pex;$~H'RXBma9Vڙlsn6l{8Pc?oWUl}y_1&dB@'ɈwgmT\EV޻k.y1$F9?k Z \0![xp*nE'"ĩVPCh -&^|IkH8Fiy?+1Ea&`WN*鞟pk u|BZ1Dg3Nz}{ad@Z=%oo cLȕ4eRb,JldIۄ%$-z_xkS00^j 6O!HO_#"`{lI71d"# dYعDդmC HX@ahr@1fE)2(\:dTףL&iֆ!eae>]zvM%Dͨ?P&O`b*Vu%뻀Q4A?(MK/CGotPğ(,3#{ΆStY/'ʍd8y"u/'q$fgNƔloJ$#DU ٳTc>9&h5sYC~(W"r[K;G/A7Y=~aڀ5LHu (]8(o 02eW.Gw Ueu`ve v-^)l!gfwޜnum"YP?p3 %?BDJ<gTJ\2r3Vm<Qgxߕi#ed*M1dVt+"cyb6DTLD&cq+w*0ӧTF0 N/tLMb:W{B_h~9CU(@!Y}G[^/F]GNQf`S&lք,,$wp``.u2yOj}^ЮHp%.eQh +nj`M/M '/ԋ>}!xm+3:-*_ oXMY1L7XL\m.ӛ[l q=P%WPySW(!VrrC9J ((Ǵ 'bg sf釿yy \~~o7Ooa ҷ#bx;`GSIkJv>(?a!A7-k돱EmsBs1[Nzv(뚆Q;n 4>wȠ-sYV.5FoOZ0M~DPmgMfSu:&!}8ޏ#s[̯v?Z*Fv+͏roW /3 ŹjvyajԆSr̂QEn/Jw\ lj+E:$}8VD$ғV˔A(0銗L&CN35k&-ñnزhں{4H!Xv 94 ]̱gYZ4b12764ce74989d994c42c4469d06731995a8e5176b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 f04b6a6c33ad0f2bac00ec27566d13b96a6832d3 5 Priority_Queue_Braun