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 f+ T$ %% Cayley_Hamilton:threads=2elapsed=5.665cpu=10.332gc=0.332factor=1.827zXZִF! Hu]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfBc>w KLS8*i;ISV0LCFb6݊3UлMSސEBE4x)u9B)]Hˆ=͗22:B<9YƕE>` 1)#hxQ0$lNSϞE MVCScbCÅ*Ï[ ]Soc;%Ai()zR><JAQ$N{+X=kDTvq\|JJ6nƽD|CTh1}a9ypbKe 'ա )9Q*0޵P?x2\E:ؤQ|hѸfw;~ViaTl  HT}N2f8h[$mWlhGrފɕ^[/2* +v"EoJ֣! e1*.J&*Z4AA" ۉ9880_DjaP׻%EMQ~1mL@4o#HB[)x3Qwb ^:/# lcԃHTSu(MdtvτJzqC &YI+X'Zhv}2=f. u.Le& 2FiBA3{[:T9S}Y#^G1z6{Q!GPQ9 !θMưk͊B`yewE&yrX=M W+qîRP`@~&y5T fJN|:LHu nO Ҍ\3%bV*C ԆFk`;ˢmj)նcݍxfzo eq_s)#s؋uBimHx(VhĞ-WZ%s6'󛅞hPVDB #]o&#r ئgYZ7zXZִF! %s ]ŗXi%s;rF%ʀ]{p 2-uݾM >wrpeRJ"[ }WU/@jBqQqlWs9o.9Ε?h,Gt3q%Y'.zja 4IeoRxpQfunOyXh$#iZR/ * w:WpEа̪7oN~C{}9(a8#AG*HSfj%s<`ɠҰ_RB@J~cP1@t:m?Ye¸64ffw p19*3U,404 BwI0+v XI';Fz܄j49n m6[T DYyHG58?S+u f>g(4A,*T,ci ZptSN>m$TeZREt/[8W'=ǩ4KERX"8ύy.`ҔHJ'F?^[]ʙEneNvZ)AYG< JhZYgYZ43bbbf0a3ceea2dd3fb7776c96be8e1f4b5ce3bf 51eb61e2a492504af9f8148f71377a549e367dfb 54d9b6a3dda04d5ed7500cbe6262fab009975214 5afb051e020f533c044f16a05bd414c2af813fef 78fdfa1d3510f6708f28649e4043efa157ccbec29711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 4392414ee18e21cdf5931c628c2aae793eba06bd + Cayley_Hamilton