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 l)  $ ]/ FunWithTilings:threads=2elapsed=21.674cpu=36.972gc=0.268factor=1.717zXZִF! ]ŗXf1-/6vRZ#q$-RR s(|CdGpDQt'Ӱ<-4O*fJ6DO%].[[yxe|yl)zTzsB.#ǐ=ל-=SNCU0:gHJÏdL{/^fO]O1x xjHń\%q U+ԳeTkB.vF]̤p\R/yJ AegYZ7zXZִF! JC]ŗXiɟUXvjV*~ ^kmoy`'{So==TJl. >h_Kl}YZ7zXZִF! xV]ŗXi%;4b`GǸF 7uߣY ଁ1}X͗4TT& GD ><-CW豅8`1H/cwpC2C W=R eM=8`tTE4apWnd܍Yex'fn y]1Wxa @XdawY5Akh~}[?:}! &Fo+- =V2WYo-$ s8gRn#_;3Fib<3:$sPkuNvVN7Dc^"I!-czdJpku=me Q&Q6,P̆n7 $N7n` S5KP-|] yᵹGE|N3jtf58b<՘86Rm+$Y`)KT^̈n$@:&T7} bb P~fuRytSwAA#|O5OȠ۽M-mfGv.܏#t3,(\d:gRYl/K˓ͯaa|A %ԍf).p3<#ߡ¡E=l%-  B}<]Vt?fDл.VGR??Ųo@um&gMJDsPk" XgoL5u{i `B e]|e[1˔YP&~ VgYZ1c693888db5da4eab317bda4fe94143ec9a289be665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee ) FunWithTilings