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 cS , / Noninterference_Inductive_Unwinding:threads=2elapsed=11.501cpu=19.872gc=1.008factor=1.737zXZִF! ]ŗXf1-/6vR[y(&j-:68Ÿfrb@mndK?:7u=0W]zFJ:w9vB|RW"f/;?Vr='[{.tVpO8ۭyN>&_g>`2d f gTK@ QjA"($NBL 8+%cd/8TU&i ,pGEJn>qr+N8DwCJq֖!luM2#? eH|mWջ3'? 檞 V6u;_oXR؜AAλ~X4PITO%w 3R- b#6o$ɭW:@=_ϮriO^c,tY4t#<*Z(֗tvA^N(•Yw:fUW!zv"mAJau!+C~pՏ3Ob. ҧ(cFB  0H,=K|\[nMGuv8[qv P'؃Ֆj5C'Bg5l5Nԫ ^vTNm;ή4~ s޼FILXf@\bWL J|!~_R 7tP6#&+^b|1S/WoMmR-DrG& jPœ܆^ [M(&t&TvM6kuP7؂E1oa|7=W1T7n>;rVxg"]±L7=ݮAn~x@s-TMޠTLwvP۶Jo3|/kJx.Ž#[q9eR-յL@ƫ ˻ؼ