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 nC D|T ]S Comparison_Sort_Lower_Bound:threads=2elapsed=7.991cpu=15.168gc=0.592factor=1.907zXZִF! ]ŗXf1-q恈͐7ӺV 2 CIMIIeΫ=_J#]Sx!EkIzu bGZiU6l/ψ͆6K@Gc,H?P_.ɗ'$w!G4 ٬7ә.'  Mn$΀H1}KvPN&WbBgAD\+U]d&1y=劯fٚÁ2p&We 7 AgK0XrVÜp_K݈F;4_Di$E:KQ+ӝfnb7*tO@f8"y^8kGal0ϓ5X?9bzL9o'C&U?>OhwLQvgYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۹ӎiw2w+lD復ƨPjqr4$>EW%۞LM?6s[D(hBLˁU@}7LT%G jmK 0'%v ǘ[_,ĺ8$ٽ*dgIp#,iJAN~Kc^(FRQH^CtFNUVwb&w/6tkCŒ9UU-~jegTd#XqXsb3~y*YA.d鏐L6zJf VtOym}r$KW&jA7qO7ZY=Tʺ3%eR"Wd[y ]]W#R(s-L e$u0O9D$Ҷ]].g17Dڸ;l`Jsܨ^yYld[J.̜?9p vk.b~Xai>`jՕ<ħ?` Nl'|b^">/V!}Lӭ=͐yW{}*ivZ@F'6- Ҳ )<҉>N NY~] Xذ#  6(ޜrtM.UUUAeF{(W"FuNN7 \,: ѕ]RG2u WWFBSc+2\UUQ@7jG"2d]_stu\TtSW-XӪٶ;߶Վ\w (FZ̃5|oS8S> ,U{aobb96<iDbgYZ8fc085740314c207ae388264f7e5d13db06f8bd2a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bdb07c009ea028fadcca50675dca42ea3fd2d6d4 d7da2b498141ab7c91b417a7a4c0b94a46f21e8f C Comparison_Sort_Lower_Bound