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  # #Z3 T$T ] Efficient-Mergesort:threads=2elapsed=10.392cpu=14.140gc=0.652factor=1.367zXZִF! &]ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{Lp`pC}Y ;vg+}UnHd]ٙ&q,kk#THѧp!q ]7(#.E)%$wlخ;^SlHg0OَmOqOB=' yWñgYZ7zXZִF! VN]ŗXiɟn+c͔(c^=N-Mgƅ I@EB{]`_$P#! r^jWQJ}YZ7zXZִF! @]ŗXi%>gl@H4 ndoK8>OlN&_~,ĺק8P_߻@/mJ#22CGƋ ;9Y}bq~a(Tq{ LǽS;D)H(݌zd(-0gD1|ʑDPĊ P`{Bl5\3@sqA'9C _v &6?{7e1dR0lH׿͕5#g:N]t1:}^@ӄ͌VA7/rZyPHgh%\܄]/"'*XZsJ /mF!v4hޞR(X}3hJ7GxTͺvx _+{(ˣ_2*yDM@(-PRj{297W 1+~DT fĺ`wEPDNVr0W,ϼ* G+/nV'5x_vCǍ',É޺]*"ucIJŢMbko([Ϲe_`~bPtC57״ćU>@坤TIh5`e}%t3-%Nh)DVQMxKK͕\>W4$D<^ ˕n1ih½"1_?ox3Yٗ~}^C3ǦXQHUmYZ< )IḠ{lQC;ƺʎ