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 ::C t| ]/ Menger:threads=4elapsed=5.894cpu=19.688gc=0.480factor=3.347zXZִF! ]ŗXf[&LRH=>퇜=g nYBvB9ARW8Kdva &[+L 22jp9-}nH(v_G%L\K IlCι9e.K'̪ૄԊbe;o^0,6q AG)оok Mbځt>?NZ7iC)G>W`T!sq #\+ec%g ðRɉ =b*?O+ WRhƒo#ݻ(s6e~VVd^4ވ< :"j^=Z @2F*j6dt񨺣k@($h۹xw}xyeB]t 3G%(H Sب.]l8!/ؤ|(.AdaTh qnE=X3." bK%Sulfe9Ҭ&+𹹯0A"⁈*ZbDTi77o` ?+9L͂jKwGZqodFvBbQUU|;1yӇiׂ̻ZžBV;9FG^֟as1Rlx| azB ?stcc Vy/åx$5{㒋d6mSЩ1ka^<=yvME}cʃ㝔9!4'GxD44딬2%26{X..9DRyMօ̥4zgiv(N%Nv15b9G2*# GE1%*.r7LXa,mVX,  tP.gYZ7f4487d5d8a3187305cc01a78d029ab3e2bb55a476b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568   Menger