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 8Q d L ]/ CryptoBasedCompositionalProperties:threads=2elapsed=11.773cpu=19.120gc=0.692factor=1.627zXZִF! l]ŗXf[&BPXߟMwS^iUf$%~1*k`H Gj4։Bez MT5漨(OU7^:nRhք3@v='J约]4=<m)0 yќBn%3|1#MV|<'1畈;Ч2iqRbŷV.۽x4L$L;rl^ʇ("mzjM=2 91Iu|i".i.3b@5.6.A] V4.w>epd46Qʣ߁SJotK(Mi:BS#gYZ7zXZִF! V]ŗXiɟ}LȒ$o2CakT-|s_?K]O )4}o$>GRϝ@-\a vܞa9_T:*>,j;U+r$ Fq0uoꎭSJVgJJ=U}8F:gYZ7zXZִF! H_]ŗXi%>gRD\~z-Ll $S'(tu3ˏ0'.=1rYv%/gMڍ@>5UUc;}`ŦY!X!tZlJ}J;Dox}9yw*c?!sv_P{Jvzh<](qS4Ӎ屖b+z"/,DVgܷ9D0R@IplP}8N흭Ӥ^fҩ WA4 Viqwu$¹'XN v,d1> =S͛^wpps{Z ͟Cf 餪RvPC4K{S# iwJLlg9%=-^p:,9Q2e IÈV$qb H 6׬ʕ[L0Ԝ^EF~fʓ+YSUj-WDr&M(`WƆAXm(s>!FBYv/ɿ(j>l./-Uv@T"RUMrSLO\|{]Fz+F$ė:a߰FYͽsf%51q Q)Z tMӪG)`GTtOA 'Nz08hM^;thi,$rn*fxh kUG!7}P+GGb(illY[u>D3:=uC%B59'LHX ɪQБXiop;Qy3Peɐz[7 S3E%9w4"q9KHWBBJϟJQD"Jde_߸Q ,וֹj́ʭuJjT&xHs=@yu ς:0Dʍ0avO0=uľHi5q60=0^'(?>F{៷5]>h+).=gYZ3d40157a27c6aec4604fc3b987165a311facf27e0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f %Q CryptoBasedCompositionalProperties