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 o?  5]HOL-Computational_Algebra:threads=6elapsed=31.298cpu=97.364gc=3.916factor=3.117zXZִF! .Y]ŗXf1-q恈aldC>14aUV#/|) jUe!Hpcv`8/wyis)xrZ6Ct-D'?W,UY`'շ 1&a3 z};8x YT9AG5aݬ|:&uމPK>@^e70JɦE +3In5~WA qf>G%p묤s r#alZ~K'd_"&"kġâcՀ!dc3g6*e( ^M2{ѩ,;\rkwDAlϛ2%؟v] _u;Z1dfi|aAu<7QF>-Zjg"ʯXqpb)"'\JdA 'lO9LqNZ4 FRCyeLܕErE"Lh(Jm.hU NDETKDJ:UNynd*!rW Qr? x]KHd9hK-_7OahĔ i̓F{ tU' VWb'=~h,%18Oyu|%LeAk̶a_YP2 s#-u3f]o@(EXN p3kzIVD蘘NJ Xͣ+&}_CA?3ľ -*BƐ(B-(=255䪖 \ gYZ7zXZִF! ]ŗXi%ljE͗@\J9ㆌݚ# v;҅Bu^s:L<1l")^6"#.VcgQ]:jTdy)<懶 :l^dua[uAEɨ/ 'l 3}*/a8ݰ{tYXۄv?a"hS}{}EdK$=P[NHvL-h~qw*ө}l u{*N&l)GU$ C'}We^md_CH>1)c5۔~<ƢB76k25]Yr[Ҏ%2J܏e9$#צBO,?*|(]Jz fҸ_vIZ)V{TBs%Cٕo6YN-!".h1OcVΣ1iG٩742AK{gcK6阂\FRc/!dsԯΐ.@w*0N!+;it̕K|x {BAdYΏ dIKճ zJR[}.jNrmXKrmi/,˅h:4bRhx.V_Yә|%q",F#HKd}bGq]`&]*dOs3/ܞu@GNWXirc,[zpi La5(85ciQ<q1S!!z-ZM`ǣd єKʾIATϼ5vpTZ@"ߏd `>*k|\䅘Ew0OJ"`jś8.S,:"A8Gƾ"n X캦'cgkܰk}Ubl-O cPloQ4#vAa*aۘ9Xkb^"e>u1!3-O'KZ9+zdAe"5InlWBuN׷Kp 3njTEx(lSrQ睁 @^Z\uףI戒N@ahbcnicҀBWAJoR)~N5X㡍5 E#' dj#Z2+DP