SQLite format 3@ . BBh77otableisabelle_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 00M1 \D ] HOL-Metis_Examples:threads=6elapsed=12.209cpu=52.760gc=3.880factor=4.327zXZִF! Z]ŗXf1-q恈(K&Կ6l#8 j`;"<2NSVVK/o*m1 D.m[>j⡆m:gGM2O]s&|P,b.Ҍid{ozΆ|MSBן WNj ƺkŞW s67+P,c,2nڮyv'{PA;]C@F t{Ocϻ=M; e#E We&6Ե5eGzgԟj8a Hb4݋BAP@[n=4 l_~ۚ, w/֖tB3ӧu`Cu "Ok"ڔ \f9t[R*pfCٻ ?elwvS_N8)/5r7)A;M1b\/kF#cm h!Je&8ʕ0hSѺ=ڇKJFUri3Vd ZdY&ahw+ =WZ7,c}:Q}8*;w=q(WoaT<tizs4Ѩݺ>6$I>|hn (n(c8)|=2˨D 8gYZ7zXZִF! &]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMӗrs)@2Mq|70sV2<]jքZ$»QGp&PEm? #Kp:z,ZT|@;Oq )ӚIX#9Dف<ejХbkQ ,nY2s w#=/;Ak:31Fm/6`m8!9fQ\mD>Z{f@ YBz0Vx*kH/Jzu?Fnv>Pt#=N:d+&]SȱgYZ7zXZִF! 8Y]ŗXi%;tBfa`Y.11VH_RQ1СadȂAj94tɽ&PqW(/̖+sc/U+_ő]<8(nPcQsfV-DZY#%%5=lgUюn?4R'ISUvd|6GZ~k‘^qd.}޵ 27+׹t/ҸNO>!:-8Rz>NlYJgA'xKd{QwZ#ӧ0ʔG, Q,IYgGSぢg}uIYr``Sxd1V_IdUpY24.fc4L[w z0xJGQD]k  'G@M;j !pҝ9X?p ¾8,b\eQc cyxx5Mi wv+G,tzV*S0 ʭf-ʡ FnLJnwj>(kaVr \2`sX8 ZէU}#FojM'˥