SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 --P3 d ]/ MonoBoolTranAlgebra:threads=4elapsed=8.617cpu=15.344gc=0.608factor=1.787zXZִF! ]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g]h2~yB;Rok{Bc F->ݞFB0{S\qO$~ӕUtJw)aGP& Q :d] gYZ7zXZִF! j]ŗXiɟjg*Cp a:~- ;t0JTgO1Xv^^A'0Up_ yKˤM\tjHCTˁ\ES٪4 1љ;%1 R5jWڡh7~,NAeI,W8c"kk`^vrT72TS@иt$iHyA=G?|J[~?r8tAY# ܍3lgYZ7zXZִF! EN]ŗXi%Eb⬘_Şf (NkBo^| [,+_!C,Wj 0c9cy2^ɑ^ܺf%ֈ&6[Ŷ 8⭑0J훜\ }S*@ȞQPw^/H{Fyݴ\;{Po%ϲO#蹲B0fs kZg{J"l00eeuK6^Suqh(gH s 9*0uge5{݀}1-%3L 9֐V]tZwQ5݁/zp(*M0yZFVJ"es53‚IO'Aik@1LhzA+7XTE7RO3De5NY=~1 ځC еzA&K,lP1Qxz1R%bod7pZk.9K?+d#7}͊"uB\8!pcFdE'; X;EEqP*-#һOjж=GkG8]aBPp{) 9 ˘5EGp{Ƶ^>\UE VzAw!W,>4$wVl[VȀy(m$Gl֚sKdr<]jJ!) ,Oa7BoADŽ%̎{ֵ|+bE Tɳ^FTrX;RlӲ{u'2調Rjlldžt"ҳ{>t6"{ˢX3nwJ=R4{yuD,[B3ɹ9\Ad-.!  s|6Bc;\}ɯ{ n3Tq߶Qd_}D V> ϊrgYZ3431e8e857c80257783af8e67b13e55f3d1d54d687d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 3 MonoBoolTranAlgebra