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  )d\ ] Chord_Segments:threads=4elapsed=4.295cpu=8.880gc=0.112factor=2.077zXZִF! ]ŗXf[&}y(+O2Z#b1<Q~KLa+ mrD\Ǝa*nbu!szCn) Mu6!9MTnJ{/ 8ms*q/T!T(EyX,n& hG;F I#x r/Me1gYZ7zXZִF! j]ŗXiɟlٞYZ?@Lx!ڿ|l֝-u0Uh_&gmu/[MfBbֿvS{Yn扣\E^cMU|]Ta㑳ff[gYZ7zXZִF! (%]ŗXi%B4^vؒƐ/$#^_iڋ웄ڊ{usDwjD\c I}b8Il21._]0`ܣY}ח}ld^q-·gG Wr`~nf\;3ڟKb\4" Q3 q[,0;$uHټy= mGojBRkoQI}3;a)%o<%'cGX:`9V#%YKؙG uP_*TJ;!}5cz+$1[T9P FM `~^/.teNW+i~ P%JN>{{ߞR g4y_6a(Cv`8OƓKmS_ߓC N~ Wx@ZɘBm|'w0>O{>aN%N83_yReރD3}g^ܕKB o~hY\,(M.{ no,2GHE}xՄm2N)=.D`Sۑ=`c@MBYƃ,x^tDn`vދ J&?`cۚXY9ݸƬ0iqp+Uƻ