SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 # $ , ] Shivers-CFA:threads=2elapsed=29.722cpu=58.280gc=2.948factor=1.967zXZִF! []ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Uz*<<A4U_ϔmg(7.: f/ IP8;?}v(&7E[L]Q*CfrQjcX`X;t~+n=xꛔԨ֍}|.$`V?98U%}A nx$N~"x﷞Bɐ0wk!$KIoru Vɪ_J?%G,(TmWdL AzmT"jḿxg광~O.9Hg,T~{DQ/@m40,J>[du9̖T P=ˌAf灌vA`-{?8 `#lũmȍLQYOiQ`cRUK,L*V@⯚J5/)`hB +~ ^+a[ ɐO`˲bC} AY ,ks/ '#.G8T;c ѳoj}"o{2q"?Mwq%D. ^An>Ơ`Kn4}+^9=>}Ì-qj@)oe]OX[q.֡MlN%_'"])^`ߖ@b~L-@XEZ@ {HPVR&\ l> =f6u-  P&~;5a"Wdž'-[jfĢ r}),2d.Zki'TUV) ~W%^ة68ȴGW6NB@wЇ C$-$vЎ6ıh }}>"6iR8 WqL -6@宅&ڌ?cz}1f̔E:0+9]o|cuz3,!6K^# &m'WVtJ_2dT ^,a$8CX^ҠL`N brR2b8w=F}s x[?Le(FTN|XoyXD8IЁ G5"7W YZ_מ[ %}/Fnl? #$NvwqV˖XƑgynJW wf"j&-Kk[o7ŭnCXޥii~qфAl~?I]YO!t J/IJe;0i% cy|Ƀ&Wgr5`_zaDhEy3}2`)q=jNtMjfiJ_סiIa[9/#{3⿆/բXns\Hn>o}9 xT)]DRk]/v ]?W4>lTvğJΡ5vkԌe55cp=.YΝ`EES2j M'ͣʬ%y R(YAA֛wHBC2Qt-ٴWy=|U5oXNlԀa $-t4EFEU}R9] IZ[lHF◙(`P\5k:`3t&̝vb YX ukgYZdc65527a98098ce1e9727d5bdf68a5afbb66ae48767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 539b3ebfec6c0f7c278eaa3e8bd32b20d653efb4 # Shivers-CFA