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 @@= 4$ ]w]Routing:threads=2elapsed=14.908cpu=26.708gc=1.128factor=1.797zXZִF! Y]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Vh2}E^!UB_}REodν M>Aͫ_Cd+=V_;2-G4tea"y1g TR},̖$^&/vX0\H>Q ' e'c::T!F9D?1>hT5*rIpN"S6Dw D%&$YTN1SBC);.gG8fy_Q C&94b0'b<¯+vDDFT-j:ZG~ĉˬgU}_t$֒p+r8wh0Q' ' ˗n|8| NJ|?|z=Zq f"FkrN.N@^]S4+1%gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLh{\ iFϟDN@O9$(#VbsMUkKJXWR=FI2&2SFG(2R:ߥtR6SH\0`m=i24]]؎KhI!ԨZj@vE֧"˝s$g}%+&&QE itկ8!z䩰`5&.,^q XV|im9dOCMb&sC4M;h}WrG!- p=9)gNU.?v@25'NmYRAQ@#鏣Ykx/6HZkFJݥ0y(!r,lDoX 3w8G9Ӽ8{Kaf7]<\[?gE o([rh`Xvek7P&Q㑨ޜXw\V *MI>HZHcUhnĨ#b>3* rVCqG |G{z ({5r'-58^*)$?5$%WUnLfRM"sC@5xB^l&yoY/,2Co.HfC zK(r5T$AN/N*8dV`.d1DLr3';m\u(m|GojeLnXfb3[ }gYZ65eeeefe68fd07e982722e200179939e6bd228eaa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 cf38246f5bea3b1de08f60df65911ef59f972a2e 80899b8fb124d9eecf290186390fe76b93086b30 974c2d536c6b4f5e00fb6cbee77d96dc110dfc52 6f444e710418b5fbbdff73f2bd294669a8989d62d9135b2a9417482a9cb88d9253b93c1207b80be2   Routing