SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info __  w Bernoulli:threads=2elapsed=7.953cpu=14.540gc=0.372factor=1.837zXZִF! 16]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛s76`yf;gYtЬ l5R-z㭫< Wr'ᛄЩvR05϶0 ܝ T1G.|20g]QsNef|G\GЛWcF\wOz(fzٌuj5ȶKs T|ן91:/bҮ[GJԱ>   BernoulliBu`t[Nkw:MeYOM@G}13ɱϹ\ bтx~:>B)%p!X?maۍgrbagQkFoi}ceRnľ/$v%פJ]L|ʼnhcme\ Jۚ%NUWZpSx^pQPon;[+4 fySS`,n+utd>3rJb|aSQҚ2jZ|QźSyg3GQCE3Ɏ~m6"ylFK@_hD8}C@ɢG4g*^6l+@:k=ui$6(T+}s# (-q·xd%tۙ!Nԃ-dy3 )ЄmcWv_1?A~MR:04C9$ScnJxk]D3(sg &CmlB(,O[&֌] S8x=T=1Tt0VxzQ$ݡ9ya{nt;#q\bRԱgYZ7zXZִF! .E]ŗXi%:\O@ vHL 3I * "`c.ѧHʼnV`jOry\2@Z92w rh3R"hڠ*2,܆Jv:22t0[+mc5n7/Y~k<@,K+%[BňyI7y%EQln<t)тC0C yE;hJTvz{L}>fíX%ǃkmt)˥NcF{#rKf)qTtp {7Xc(4uȴq;K_O"0#Tvʱ%\ި rML<հW]S5 RtI]_uQEkIwx#f٫" CF͇Gډ e \H(!d^0003^643etYjЙ >E!uWa5cN9 p xVc.ݐjG ~OA(^XNj |z#864W{"igCdy],ӪFeSn Tx:]#gYZ306614ae7e125cd238a3bba7fd3fa5e2d2176f65 53c6fec8bd0ca1122e97880d460225de71ccca78 63996b18a434731c4e83e9b8e9092ffff29a55ea a570a4b08861e318de5f427d11f5de9206d85eb1 b643d05d50864ba0cd5d29b7370becfbcb3726b0 ce9622447b37ca4392b5384f7e5b0cddbf2a6d58878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12