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  R5 d< ] Lower_Semicontinuous:threads=2elapsed=7.266cpu=11.708gc=0.220factor=1.617zXZִF! ]ŗXf1-/6vRZ;tZ6B%UbmVҼP@ѹI2B jD 0b.d Dxb(. HnDxk]m4d&&r}9'UmaT2L=ipfl>tdȿ(>&MɱgYZ7zXZִF! ]K]ŗXiɟ$imC?Rvqb([8s$' ʕe g^4}YZ7zXZִF! 4]ŗXi%;wteJ OXye,nbCMC f(^0I`eѕ*.oBGQb6t v5rHm9<ͧ!Ug6W4=T-T"/s=u]KSo`y|}NXqA =+r^LbfOzIP8zB_LZfh j1iX3^`׵mPQ ۆ`;KyU`AYi#IVZ=i)=T=;up>ݻyTjb@dPK썩9 fj>cLЍh 3[Ta@~*W{3\}t\f0X9$ټvZEC) =T0: 5'a(wdb zz{ ey '6)^{͡Cƪi T[gh=3ڎ-_C DYQJ{#jO-_\lO\)VmTIhJ,')EJ7{M+?";talK*OM돑 J8U:I%]H90oLǷSiN C24U T $񼣢gsW=sgزX'A!,D&VcW7~^.?A D;V`ֆl\ ,P$O$,es#IUm vyM$ 'l+4@qY~5C6j`- !׾ wTeZl0Z2i늱gYZ06d6f303aa312a0bf2b5e36c8291184d4d8d9a949667212091580fa4c30a7b10e6591774082fff36 af6044d1ba548f70bd68d24705f8ed6fb4aba65c 07d27bba7e668c5bf69f11575f03da7ac2b1ffa3 5 Lower_Semicontinuous