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  ,$ ]w]Routing:threads=8elapsed=8.788cpu=26.087gc=0.977factor=2.977zXZִF! 2]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Uwk.ʬOfQfp@5]lPj$j'1Vzw*vQx)הXU:IZI&ISājbQLP)?fQVNmM: q1g8)YHB}0+:ry o"!yyؕ:u)e8ou.EyYG6*(V/M7dV) `j!&UJG;^MS|N@ҎeBI}1{Ub7uD I.wS:="Dn--wڈ8󾂓URbld5\˱gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLc^@Z)Z-OAn } >ͬ!xbwj+) gU-$I/r89@L4 o#7" k$]ړ{;Ҋ Rdjt5+Hۈ7c%VC gYZ7zXZִF! :U ]ŗXi%>tw=W[uqaK/{, HPVa*f+ ̇e>CZqrsŌ\ Ԇ\?\ԴhZ15SG0P%5BȈj0Po`lP)8N?60BM3ka `"Lנ`r^VGLu(-/T]234r( 35(L۴RZGc2 h+9n "ŮG` Y@.akf,L=w-2?,2yI=T _=]&~"]U99솭>sޣWfЗSH$ IõC9ގrQZ,vqIi?+*,IsjR?-8l(gCzոmiIP>3k0$ v]){6e\ӵ,-դ+p"ul%*#Ft1AO&@ьN No\lB]TfV/ݳ {!ȉsn@\ڐ V[!V,-JWATB ?.(5ͦT(Jh}vlE;6 蓼G(Ӌ3G\B8_XFnfORsm,RYRdG>6dGDHLiDK.p'MAqtxyo3,ܲsCQ+I-9}Ie.K۾yM6u8Q8.V la B ܢ5ε4z2>jBo$fV`l9IO`/Q*p 왂. /j"FڔnPdmB@홅((zk`SQjetF¿!0fSpЮX?}D;hlK: Ιl;(@iq_=K)Tz7ۻō;FPLI•#yvB}JG)wz`<EDiLݴݝwtV*VgYZ54b765656390b8349d1c93e480ef130d8a3b7f75c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 63aec6a19b97ff5877d55a98daf343e2f0e7427c e708cef555b4b6e8b9a7058a1a53efdddbe70ef6 5fbec515aacd6c17a2af1c4f86d6bf4f86445c8a c485496a8352c92d7dbd0a1b62dc6a6f27ef831aa340db79f858e3baddcba64749b2adae026186f9   Routing