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 m L4D ]w]Routing:threads=4elapsed=11.571cpu=30.616gc=0.888factor=2.657zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&WeM/MŚdt lBl, O=dxMh<+`8f :`࿉u89:UV&kș)|e?k.wϪLQ ]f K?d"FήTJ~2|.m]V^oo~D3J|Y LUŕV+S}-Ym@F?s%`"%H+UynSjq;;yA(9.<$g;,E-?آ߆jWtuRߤ$mιR8j&|0Lg;%lAkZ?(v?c;8SޓIqYPt@t1bX~aak9:YP8oBPԿ}g݁=ٿVǾVT5⑿/aGv&BTDh~νǪTRlFv5x; n i6ib!3F.m0*9UZn³60Qn81^O]C)<D>t&eTu]a0 Rӛuen@I-6e3і>]R("$-_G*171qFO 0юJjl?8 kӧHH{GQrCqK~\sd/9Z{9P!:%X[|݀ޯSK XȨřٔ}d)! H¬ ,#)OUgYZ6cf946742d5ebe128c225d8920779b81b6e448e59cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 5f4a2d69164630c372a3b2f4b189eac207dc4312 9c8d2e4587abe57168b50c0890c89851be5fbdb2 936cfe216afa640cdb8395655d219aaa42dbb612 0c6c64750e131420af046930cc84e1aba527bf502f34963a6624091a7aa426f2763f3dbc9ee4ca16   Routing