SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 $+ Ll< ]w Randomised_BSTs:threads=4elapsed=8.732cpu=30.004gc=0.608factor=3.447zXZִF! ]ŗXf[&Mn;ԲhHYg[XkϞ:$a&R=IE~1?9!, 2 #$!O@f*E6yhf+ۚ6ML_&d8.,E|0T#`pgHDqcɉPj|u\fЉP!8[|8{EE,p o_!qӟ yɰsWPkx-!i0N^ϲMĀX5JZHO& ͱT>"y&S`6 % Fj&#1QҶ@ X( $՚nc}{';zeBaa{unݔBo ,qԨ*S%>+$oWc_;8$d(8&gYZ7zXZִF! m]ŗXiɟ.<<ݴ[ֱ<鑶0oNN1ᗭ})|yS&4 5yÑ{/v϶ŏvpZX3b`Y-ڀR@KBP cgYZ7zXZִF! EU]ŗXi%GgBTIlj"I2ڽֽL8E]#fkSW! !_҄ f:WH꩐fm;cYpf!20CSn7[_ V}\.^$ ^9D|Ocۓl&CӍCǩZr0jP_CWq+7]†v@p07gXo5)~!B׈6x[Hr20&^y'$m8 Q%КSvZɧu,m?IxAvגw79uY/uf?ZZzzyy !-t%6NZqcЧ ߦ;T|.R&,GP.B 5 ,R5Hlȶ~} > /FX(v6/gUiǚsyEr1[AS7JwXH,˙+;|kㆦ\`q_9%ʮlqؤ `ǣk(Q+Ε2RH%yèȷkeRj2H wص{ 9YyQkE[;*֬+ʔ@OŝmX%#эfT5J BAmN%[aJ䴿f *~72a ;"j;l"-潶#kN'M=&$%L8|ýI?tx#!~MdДϙ s "ܨiaRVQXD[,R}2]\@(1ʁ9PB'ZkpWg->y3ivo)'(fiU(_ ܼŒ8(i A5<þVkX(ldQ9#ř:j;c!vg-~ &PK05$ۑc>hJd+?ZKmsSe1!-ZTO.á,aس]XOm%03va$Uٍ \iUl~)PЇ|kmϹEt+K7