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 y1 L %S Abstract_Soundness:threads=2elapsed=13.292cpu=24.352gc=1.396factor=1.837zXZִF! G]ŗXf1-/6vRZ\vW>_vIOqۻh8 o'f]F9-[cch 1$mt=hX_Qv uo;{fo7_r @IX}+Iٟ_2CuA9bݺ{y؊H Gۤu"C@@n0->J6(ȻpӶR(O"3u:j2]ur_Q\JNZQӤ4ovKfЛ"R2R]7 P1*+[ꦇ.'Y.f҅Hh<1xJ݂\3S*J; 5jbb3{y϶wy+uWPRn_k;WWRkPP~uoɏ!\cˑ`oKܖ ik@'/8'^3ypSR|p׳=0''!1܉m<(a"XDt\yvĩmx .7emFbꀂ:S!G{ok$?J!lQQFWd*)󏱅?O ψ9 ~>āwBХ4K:X(`w"HB@b.m)XqBikh/;16 N5p`8o' 巼5y^/^M;WSu. AO?(N iA3:;x)ڎ?;:#bG `pr~wnT0=,׼ʽ?Sښk07ʃYB7~vbּ\U\ZXk5wQߖB\HqMkS$6>=73 ġ kR7QPdՂeFcEOv# pf d>g>* RY]ϞY@ageEפ6hmHߒYq_̼ :$[p*1PO(`t ڃf&8h`3gL37̪Y`aQGgܠ4շLCLM،4gYZ60a4b5c33b59914587cd86950156e1f4dda048de c26292328c60c4cd15ecd89b049981321e8ef8b5 d9e310d5411251e4ff41599a279517c493b62d97 db70e211d5377e36edb84abadb614a97e127648f e7fb4bd8c7f54232acd6d87a0ca7225756ef7058554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a 2fe0a42424b16655f2762ff520ed4a6b6c431d9b 1 Abstract_Soundness