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 - |T  IOA:threads=6elapsed=7.224cpu=29.668gc=0.876factor=4.117zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 𫻪O=`N@rf(Ԩdz/1؈[RRt  F7-VW&$cgm?Ai,Jȴʉ7i+V㑵*YN}MdL~B/M9Z>4m%ЀQ%Yo'tsrT9Ԏxɾz71n!kExMRKXNXwZB}P|k{ڨm'Ʉ%Q$ZSIfjOb ńnS-R,oLbvT`ju`ߢ@.|roʀ]Or,M(-QF̴{U/?!; 5^2N^ ]"x`aSO{ zz!(Wڨo/i26>ƿ=bo'gYZ7zXZִF! #Ca]ŗXi%6է JZ|r88u0x?0kTlP_ړ#X92x3FZ=7&BB 4DZw"ql8K!D >5kg(1AcRCp£YL7KMM;34 -~o9ՂVw^oza5KSjFB=|ʓ3+^v&.d9 Ѝ+`p/i)y>1&A Ŧu?CVnJl捳Z Lcრ~* {IDkO C#]Ę_hE0=Er 5HS* H$Hn)˞hoLq}@}?0[cmȇ$:WW53ϜW}R (d+2Y@pTRK =F`ԍD{ ԫ<U┬k=@ 02n:ȋY N~-hnhYdv SZ5YTڿ_PUҖEv$Y<[7bÒ\,Q.