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   q $t ] IOA:threads=6elapsed=7.619cpu=33.472gc=1.440factor=4.397zXZִF!  ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K kg(^Ho\*)DSG 1l?\+w'xl5䖵jN=90X53lZk_W< lMу_Iip@^fׂI$C>OȁPjy'@쯕O'Hn+.q㉤3<0(w-ƺ`}ʉ6Ϲ@kx+1w2BZ9f1!*QEo2 y=؞P!fl];V3"GBj wwnv/~\T@׽%{vT=sRVv$(o앢Dye~9wFk-xbDђ #WtN{+4>?PYz?){c-ngWgKe犐kiŇ#Mڍ|q&|6mhU1"gYZ7zXZִF! `{]ŗXiɟdN'LvH۹$nWvYew5\5: Xh/:cv5ٷy츗c$4Ca_z\ZZxԆhί:lݎ@챢-/OXToX6IG/cv5ho66h-~Ϸb`ӕ=WzV a?8z3ܣtC_M΅۰|+MPͮϼ s{zt#l2ؤ8ʹd Ï̟HImI1 mf f՝K]@Yz| 3\rVDcb#Tzg Ȫ"0aT?GBI?]iޝoWvSG\']!묢q%&`DKa7>k*_hxn3`]5-b, ~IW(O)+yTQȉA x,&[:GEK53۲IH P7dHl${ pm?v(Z7ɬX8~tQ4 rIZ4,*->L\EhT|Ϳ1g46 ND?t>ںANҪM':݁1jqF |QPh\#P=$'ɦzǰ3k^u9Пz$ hKaƺl~&ũ I,㵥/gSs@/褧3I"V"WSy|L@`TRG=j)1@jFHG2dj,}u |݌R2d.@}X=aZpIm$ *#>9g =liaA]{Ogl}> (_=v{I -.cH]s]dDQC[0e"^^t@OaMQê{Xsx60'T>Ų`l/sGiW.{>,P pVc])wG&jleZﷆ!5֯O)`Z0N78T4uñPU8kc%+d[dNalǡjD  g|O$O 3/Ni?3`xLf za#oRTq7[Z+Dr7ņ}