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  |\ w]Routing:threads=2elapsed=19.137cpu=34.952gc=1.056factor=1.837zXZִF! ]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡c^W/CrUbe4+ -z:jX$X4lrAj0=q;Yݻ:oH23y]-Povqxه6 Fj<{Ҳwc1X5!0qo7DAf?cEW'ZnE@a*)⫻ʴ8=8klFE"u82 2;:%1R alˀO$&4ٱ|q#fUr=U.c={b0eJͮbgGE7+_'m3T`6jHɤ@S[x QRmjK *Ap9]LJePת{j ݚ{{u{Woq+p&ݩ^QS 7YTcHH,IgYZ7zXZִF! bg]ŗXi%OV+Di(mA9S2~ g8+ BUf4Bw64Ǜl/NCVFyeΞ!}ߊ""5r+"[b_ő<-'qvPT9 3\~+Pô璕ف۴3(R B{xU]rDʺ|wlF[,\4Z-ɏC20Xs*]P|ٵ^&CFVI7cN:?'{ʼتMgX/NEruT(hp7eCQ{>A %llOT|W*3 ژ;N=5);Ya[00* i R)gnbP1R[@?n-Xg+J '<[xRC/>gpY|wԹzb"4Y>+Z!K]DGm4CA7<`"u$޽cL1tDÐ#|L4GŻ-[<֓|cĄު?xR}:em8g8>P.S侎. Luˢp2u+a3Rn2끥;Ѓx[wI)UH^s*nA Y?=.>{'@>{iXr9t%no;OlQoŨ4 s/HsÖ 8Ysw9cBR&KdH)w,S"ccl`4w?F/F;cҹM< TV@Cd\L_қO'#NMа{Ma$[A71{ܕwّؖ^<fc.o0 q)޳@8tE87}y?uvVT7U!K<޸HBi /k^!x #z{J z8k}??L0L\7Vg#Aak zMj 2"=t4I5A 5_vhC8hNLʼn´,ߢ qPfDWTk`J.^fZ5w򋻏3:~mr)!pTd]R< !;k[6Et![r<$_/m2}\E@ 2]gYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 303d7d7eba48c74817b2881d73100ef92731dfcd 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f18b4d560dd3639e0a9777b9388f296855730d9 69b4d87e9cab0b856337e17afce32c08395ac7ff 900ab7ecd6da99fec8ba8ffe4d1c3256ea1d32e1 9c7bab68154467da37776ea102cd6bc82970919a c4ac153398df77d4b04d3f3cec6cffe5f8ffbcfe ce95222cff59676a82aa7c60323841e4bb20a604 ebe1e38c8762b6213651f2847f98569fe75bde65 f04a29439fd14815879dccb8a868f119bba09182735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa dedb1fb2ce17009850c27ae6db421c37e92db7ea 335ddc7a79aff1a1ef0d5c73590d593a52fac5c2 2b5307e92d2c25728ce0d8d6099e6580f11f775a 04649df4836694e4e5579033c7db0c0674c010d4b417912fed57fa2be8c57b43636db84ba2e9f432   Routing