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 22K < ]/]HOL-Word:threads=6elapsed=8.678cpu=39.292gc=1.424factor=4.537zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z m:ZJD/ ݳѾyl8RUƨww_*7kTE;j,qW^ua)Qwt(F9}Wdz+-珍v 'jA%,A 4D`yXΧaQ q 1,j[fڠ1Bmޅ-IUlʿ6ِxL܈L"Sbe0]$8%*8#kvtKvqV m@e({jSw78<8@`c`űVÉ[:6ΰ.j4얿ώ.>:wklk=Z}qi̭>-Om3 ?U8hvQIf>/B.jA :Pop[uL Ćs-bvxey?'/{ Q׆4iW^$2BpB3 ٶotH2"ӭhN$=`ɸ:"SF|hK9{ ÆmG+*r:Q ҃nd%4=gYZ7zXZִF! *]ŗXi%6MtujB$~[m呹)W$&|W5|UrM.k=ږ$[$;GfԪA"?g:y(~M˪#/ ~ l) Lw@/Ošk&WOg p&>ݝ)#Kg&V%VUZ,eogqmTf?[_l2tg?P{D@\l-O8Z7α?{_݄c+xDs7 :M2@[egiď 囥Ng(/ '=/:0yhL/׮@-${p(254`ȭ1'im7~qwou1Y qCIq:᭣uID5|@ ?t4X*رyg&ɯE]WN\_O5_A]}^4T?Tt%- َMǿ֌8ς*>Ma;)q5s]>"M۩:+ulJ}/skA1_/#BJHhX^q\f^ztު3D*גAsEH~I{n)2mi|EͲq"k3|N5T9$Ɩ)o ԕ0, Wy|4U,ggYZcadfa2ddaac50751d90bde5b1af020b17a2ad20fb32ac976cdb9d7611cecd21164b5d37d166a70f2 7833fe06054d8c848d36bd9abf4e4e615831aef484597151481f6088477e00a07f50caa34b9e35db   HOL-Word