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 --P5 d m% Rank_Nullity_Theorem:threads=2elapsed=22.274cpu=35.792gc=1.412factor=1.617zXZִF! ]ŗXf1-/6vR[Nݢk|m-Ľl1|}p&&~p5z> y48$ 4jS[ g%w:5yԉ"d=$ĎiJk yGkY*e9_i*0%a g$qyؾXdn,K '?҃.R5"n5N#YfKff5ʾFK5#Fz_I??d~s񅙶'c56J߁2|'0^xqaH@dcE@oDxs\JBV\MO,YkBgYZ7zXZִF! u]ŗXi%6p1XhhrEkc/lWN뗚珵ҽG?T} %""֫bEc/4ƬGC_rejW5]ٯ[&J,$%̟t}ߘ"oiwІV(L^( /#&X<$^5̤J2[;'7rJ!6D_ʾյy$LyAyUIsPIN`n #~}:bHI]p4e&F:X*V&U])jOS?@--Q4=MڄLFjs=܊}LF֓g#?ۓ١VtpKn֋sqiG!b#:^qch9>goPբI -ᙗKSiqbv YZaũpXw 6at0smU Ux+E< J%Srum}RIFO(3' ˣot!&;*ȓZ