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 ??>1 < ]S HOL-Probability-ex:threads=6elapsed=28.574cpu=49.432gc=1.588factor=1.737zXZִF! c]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@Eۏu^IZ:vW{_E04)@T56) *c?ͫVG> VU_(.:!.P?ʙ@UIon~DFk؃* OG+ \BHr*ґf "V=RߖQcن%=bh:x8OHk~P>Q_ })- N9ofTSm: /^Ix^;m=Bw8 ˱gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >I:#;FZS~KqeN^f~ULH\4y\-b\G#b5b?oxŒKEz`mRZ0V^=y}VQ7bL` 0OuO]*"{VLgYZ7zXZִF! ]ŗXi%@^"qw wY[_.Xc@EG4Bu{ azEn`i\G.S(PQ {c] fGu1]q%*!,kBg|:3ے ~pcQ^r, G5awDg D.`C2X@C5gɞȨAww= 9-U?5=$/iV8ږwºN8c_jKgs^CrEL]c?yJtێܚ}StW9D6<aE;b]opce`mJ~Č=["T4PJcmbc{noFҫL-t1h3Չz%?[WJ ܋y`,;zݕV'yE6׸#,K-;.iVwΟǖfI*8'0R:*H gjjJ\ʒ<*ɗ=r`R#vI L7 XLA:2Z {BV  Q_F% Zd.[V]sz}2Ii%[x<_ںwY,A(7,h6* 9:I:WqG2?MƕSūExm0Tj ćm!>:Gb0vg$A<]>C-ҫ[eF%PvpҟrU1jNu5۱p ̞kP 9k.ǪF1q';/rwm FSHt0?ʪi%hIz9l8Sy*~{ ]