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  \ % Trie:threads=2elapsed=21.980cpu=24.188gc=0.976factor=1.107zXZִF! {]ŗXf1-/6vR[ltǧT3(OtRH:o7]=bȪvNNy1my;E75Y7w4d(1lÁ构dl@ܟg^|65Ե+* &nD3S.gE8Ɯ,SNўW'0 #09=gYZ7zXZִF! p&]ŗXi%6lꞧm,1!Z|` `x@2[ P '^HlU?W5eW"Mns f{j134@ϓlL+_+iג ([Q"b2 ^uf#dͅIAt3R{ 3`{Ews]Q.3Ed(N*4m lZO7V^0u#F|^Nh܄[50٬pGS¾2Kus#y 6) 6\wOj>c-d +4"[̍'m4䭚KMw{ØTtă`<k2KP}ꌂ]f/-t+GbpK =o &GhM{ W~{!}'F45G/o'0l_~"{L_1 /,RWL2Z;z6mNQ]eRȜP|2q-Cٔ嫐Yk|!DBة_ *8JfukBÅo. }~!b'T0ܪ,U_7AG|w\nz%xP|p |u re `G28΁*eZ!($,l qKz|nrv'<| 5:& X½0P3N85zkcF:xI_ݕ%[sQ-bp fҤl0KeH!}f%tW\*6]'V+(e :Q?j]W95]5CL=DA6R]v:ϗly[@I;c(0:ɌaK3|g]S 4HsOn(Vɱ\Uɚ{ҳFVJ}\iMy B(aVJZdgi񙮡=MWns;_MB5ջ!d/ȯX'kPʎ `e#bwqjT.95Yܐ]! !iDgYZ2a1cacfbfc3873f8c72195bc9d967d52c2901f54 3b5243a5a993cf02a40cdb507d37f2f7f70303e1 5274e26cbdcdc5e26b1451b8c884a7696451249d bb248e78745608e8bfa64c29f326852971dc57cf e6aa67045fb0ae0372e3ac731b90b4144bb0b9a0b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796  Trie