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 P L4 ]w]Routing:threads=8elapsed=8.791cpu=24.795gc=0.829factor=2.827zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V"C:OlR&Z @=#o{h{qpϹ*?Du#;3$[wf&;bge>&_AGbP66EHq'+<2R<2e o.:d#p#7O~MX$o^<WE 2sY W17-gTPr_WMě=I WWƊ;ChJ:/ RwOo^=k 3IbqA= *#[\W}r̳2,_@c̋Al@b\fuF&4)#('o5oul =BUfX|XMc gDs9,I,f ݵp%/G [cr׹ns+n"ؗs<fG 0gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gML:Qӗ9@I~K\J%hFrz:&o Y'OEeErG75hȎ[! %B_j8h h}FNlhE^ ؃FnT3R|{)֕B%,0R)hVxRRȢ<1^C~z8 EYOgYZ7zXZִF! CW=]ŗXi%EbaVxE|cjn}g^-)RPd|oȢa7ǯ~@=U嗨b<  ŝ@#)UEWIww1,jz, L0{߭xb\u\H׽33f-HDt킏qmN]*e?!OꏺXoSlzi-2(EI+m;G{6B+]-FebfۭcU$ T13wSmoY3rzqf{0+va*t̿qq|_4S*pkɁ  "#`v %5+J/P֯bneB )T#XzOI,OQ4YԨO0i_O|qJ9h&Y@lR..,PKy"u&KQ'&&)_x(mgӖ#޴=Npy‹AFҁ^3Ne<\`^y tq)&iZ%w/1ϕ91̺< խq?c paƿlS?(ڳ̋H[8~;tGEe%f ޞq4-5PDi׶㪭۪kon} 8A,unԈ%^\Mߌ.Ao}\?9ġT}/^GϽGHO"h<"rKuu8ryN#=::qu4̀ڛ`skC8ڦ 6ٮñIŁFvRŮ޽hoHn3gߋ1T(:.= bI軌l6Α7jWM¸`ongCo[n*^7hSY!rttW:G=tD6j"%5CxK#;'4q9A+qqQ\X?m41۝!>SLf~)V߸ũ,0t&dJeZjpSˑ?WәơF,,ԍk/{//Ik{aktC[Ю M8j&p [cB0NVӖNǗopzO\$yw9E6XcLҀfkthɉQ+^`xA:<r~=avݬx{Qs珚Z3mL^_;3 BJ=kaQ~mUZ,ir XbC5{c`M61u ؆FgYZa7be7088d53ad32ff7a1aa6b2efc0ec902e6cc688e317804cc1fbab9a0e9f003ee80317e5adb94d4 0634c582985b1be92fc708eb5be83667c49da2d8 be02216ca4752121ca14e42d01cbf2bb132d5349 9453895f77734e555e382702c0f85435389d993d 786e031d6128391c40ecfd1b9748f7c26e4926ce 7e246d327d0a92669760e0beb4a245b8e24fe991b8e92fc6e1dbc281b18d0fe4464aaa8b263b6e98   Routing