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 + t| ]/ Binomial-Queues:threads=4elapsed=5.247cpu=11.696gc=0.236factor=2.237zXZִF! ]ŗXf[&]\E _ ŞG3Qֹ~F; P9+H!VJ[(ePmqv 2 CXRX"*>M nIC-N\q!dXl$&+y=2DÍobE̓$EాlC-ʧ6#řS/OKɆî"¤S,8'ɐךTÛyU V>) siJgYZ7zXZִF! w]ŗXiɟ:Jc6Gx&?==Q7#zbh͝H$qp>,*@_ 0QA }K=l {aFTs1ϏeΚa:/w}_mqO}(&`=>9s -xQ'egָwZG2 YR6K3lOoNL,05[Z &P1=5 hۚ7{:$7q"k$Δ/Yu|&'MGGJq:!IH8eBh0ܿ&KZa<=; 6f6)0BNqޒTɞHBT-bi됕`-) >O,f,)0%'0X^g݌tUhZP]cImFLwi|tsghWwORlGR1J_VmBOìmq0~[xQ(MaCR2| 2M[k&S``9Mf?΀[Z8R'DJO!5(ۯ&PѷMSq}Bs3x$C J7 o#|FMʍ]P PeȊꊢQYFQu{&ʹ[@ Нg^23w: An NH\.wg@sH) ۬}q+S'h XvB<lfw\ښ9#/U:媭,VK~^X n*b#eZ.QUр1r=T|A+SUogU 2*FzHX<Wù A*8+ӇLC0j虱"V3j-1 FcЋgYZ059aed654d333a7ad7b7acc89f87ea1f66d17d6676b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 + Binomial-Queues