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   ,T ]w]Routing:threads=4elapsed=12.035cpu=32.348gc=0.892factor=2.697zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&ÍnS-j\׫'z>H΅p SI@پ㸡Gc h]XO6"5`-Sl.u6 w?K?z-3@y="-?ħ&$W;\пAJoPyStI,}uذ>wL-n?ƛ6 2:||P{juena,w_FVm-2sc{l[V4vudPPHwM22̇ lGqyg^!͸n羹aʹ_HPr$)8wCjZq?v;4!dhJ5朮:4&C4UЈ~L"&O}]J7@dV뺥nU.quW'4+Vlw1"-Iz>@lIq(?gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLaND ΀TEUIpTвUB_U/f}ʚZDiRbQ+.0GtF/ZBnQ/l~)KC+^0T7^w7[_UNloHK"0!|nx~#2"dhRXW y`tlgYZ7zXZִF! U]ŗXi%G̉LPw/{JC2[腊K?K@Ρ(7EgG|+66a=Q! WGO\22 0jк9wY^q`IL8?/Iත6wR]03/,)􆑺?#^Y*1idOb2Rj8QK_Cx] +Ꮙi[lz 汑T鉅't r4c}c-@Z :KjS-b_WX557BOv0^owQϨ*!+z4إKG-/W-A*_r]D Ak 8OIͺ̖W%~iKRO<$" +e4>#on삼P =XR+ED.A55&K6%r=H6Mx*HP 0]ӢE:ׂ>\%pA*L(:28~[Ao=„v.8x.5&6,'~Rv?b򾷉~ou-:|EӶx_:$#~ȣx+yx춵&,y&px7߭w 6fuYPʰ£S{_k7v%RTsDXى\)`Etv]T$Dq0f}$8UB$8# KW^s@ct:%iÛgw|RE_IJΆl9S5.sH~-ɒ ڴWrѾ#ezXg0bi8ruAASu.T;)#UbFtX>F1ӟR 浏Vrm湟#|4E6|1*vfP48/EO&RRbvV9",hKͭߪ0)  >'X,{ `K)۴/")  -" 0ASK{W]cjӅ[vA.pkMtr_ uC gYZ0d29893d38dc90c9b81cd9d9e22c5dd4009540ed78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 0551b21f0ca7e7af2e3b02d44cbe317759713319 5939f5acbdd5f4553c3ba059c72242814fa01c80 cd7a75376e606a90482e5017087aa1a6a3db9b21 6b4248ae25d1b741808659a7145479a410c08e449c0a5b6306b4c244174352654f1a4769fe0b1a0b   Routing