SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ??> TD !w]Routing:threads=2elapsed=28.423cpu=48.100gc=1.804factor=1.697zXZִF! H]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kw^BF5z?NqDNz9Ob㺺hu/~c\ȑ;>pA>QtC?6 m;bw^LFS`\SCa죭U}~-]0Cx@=Q/:U0h(tv<ɃؘD,W_άlkV> c2oFGu-ͫ)bkRY릈gg=j5f#ಏ oѤH2ryX&>,\wXP;9(Zm՟rGp*yJj6Hj;Mr). ѵ'@#tY EeTDu]\m!?]0<2.=7E ,%=Ӭ.Aw= Bk #&5qU^ 'x-A1l剞^Mp}F={ =K3ylQcq Cd-ن+̪\ c7D[Y;}7,VJ$(6y'b5꧘0 8_7Hyqs|E]*i4"jH)1G :M'݆4=2HOÃ ,p;z~l ZMe: Y3;b]`ÇS,,ʂ(@Qy&^Jn2:֣9C2gneڵ[3(&"--C5?}@(g9u"Q)3,J [yVwQcHXȂ_XCD5,Kke^k!q(Aqb7mǯy\5$wl]~ݮ!# C7lS'`2 Yz}RQksǗaΆb$SG){#]'QaMV?f@vf?{7n ):yT D259ju!1O=DCe$F mfېey Pm.%դM&4g`o`obБ<&B 4<7?emȢ.5>4d/fiLSg~G~/Rm>oXs /E0x<kFzT<9x7w XQpEQ'G0x|j'&fHfpo` R!_;dj-ʉ̮ 5ƙiw~wt WYqSK4QX&ť~ mOg eoGw`Zxw/G:|2G4 ] (GgYZ0c9469e4651698f44e3e228873be074985fc67b7 11e3d63edaae207e5e2a56f61a02be1d8fc71098 185b62c9a47bec524007ec7a2225b16a8f4b9349 303d7d7eba48c74817b2881d73100ef92731dfcd 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f18b4d560dd3639e0a9777b9388f296855730d9 5117119a178eac69d137fb85243808da2d667eaf 69b4d87e9cab0b856337e17afce32c08395ac7ff 7bb2894bf6b2b1879e224f67e577c429b34466a5 900ab7ecd6da99fec8ba8ffe4d1c3256ea1d32e1 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9c7bab68154467da37776ea102cd6bc82970919a c4ac153398df77d4b04d3f3cec6cffe5f8ffbcfe c9a7834754ca020e75afb9d98e309c88e75bfb0a ce95222cff59676a82aa7c60323841e4bb20a604 ebe1e38c8762b6213651f2847f98569fe75bde65 f04a29439fd14815879dccb8a868f119bba09182 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 1fe86f871095b19d2c4bffa1d8b42aa984545607 b9fc4cb5d4aa85bbb7e0f55e8bd6d44dcc3a6c21 9996c50326f9add13b2179edeb3f6afeb6bffd23 b0cc1898916079a9a5739f5f3da6734a08a39c313d07d60068cb501ee2c7462196f4a2dfe9eb3228   Routing