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 LL1 <4$ ]/]HOL-Word:threads=6elapsed=9.801cpu=48.548gc=2.364factor=4.957zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?zG{g9˓GhπbAQش'*\<7b(H 7l)n\wZٙש/&erX5b_gm"cqRi6kǑ}tcrT(ѰkF }m1.NQ<">gت;*&N.B3li1Q)\;3%w$l<7a9dXQ"Xs@;O읞;w%k jjyn/گVd&[rp!xq a&G=c6ca֬;fн}ੰĔh,J]WJJۨVC>wWe" ipvh@e_VXJCrA^eEֲ͕ &d^pHN.tڭ$C"@.$- "YdZTy0XeTSC |V#l~0gYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.AQ܁1LJL9x)D\o}inWVT$#@YI ͕_/iKl* ѫ1^ sF>:0 8x WVxfDhB yltpJʢ5jHk#4_285 ŊCUZ~K Cb|E<rU%Sm5HY ~O(N82H9vyj4`iwXE9 چY3.rcmPjʀ%Z':qؾ󤉥K^JЏ=䐹gG5Uh ƖRf fegYZ7zXZִF! 0wJ]ŗXi%>ؠEw NveNfwdWpP߫ƛ&ݹUµ\@o2`af)OJY|rTHPf>7C~nx% ss{(AZ_c}VvDuCcW9q6 G?B XȪg*1˲ibaq2*cyV`edY+5dB*g~6aQ%}j!CL :f5z"Wp})m)_/B 6F{;D #ķr,.a|-Zii[O9Zn'3G3-# HEnrOuFJẗFp{֨,REqA K[P%K\IdLMHP?ZJB\磾V?*NgrUdj)wzTi}dF;`=8gYZ5ed0c1d486d244629c78df3fc67df648035fb379f84da1efeb09fd4a6dddd2573e5e78b0df151cfa 98f128cc9d5b9ec281c2dbbcccad4799d2c3af76f10bade3283a7523c7ac84f9b97e8b703337dd05   HOL-Word