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 D3 dLD ]/ MonoBoolTranAlgebra:threads=4elapsed=6.872cpu=13.028gc=0.260factor=1.907zXZִF! r+]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g]h2~yB;RokVY5uY5=8koW;o{*^J)kY?[#>9z/"VmΌ6 ֌iZZVo=3:?}0b {LvXue0I 7/_Rox~}\*9c7W5$r .<,gYZ7zXZִF! j]ŗXiɟjg*Cp a:~- ;t0JTg(SOMc0N;OL~4Cu(rI̧^ql&W4D'ye-//= -2 RVtr&.D{7λ2X 븓2nܒp {2Y{[6JBfyGh"S. -8&C1!DPWn9`:Ԭ%A?RzgYZ7zXZִF! <]ŗXi%Bo_qcSGx21#h;Ը!(W?<_(QY!mIvP-0H!DCSlgl/ϴ 42 &X{u/Q5U$NN@M?_*QЊW~{u SΆ_!YukQgE:Ďh9UR;ws[^KD_VZ ;+ F z~r$* DuSjƏ )ւ~*{3ڕ 5(kI|;:GIdeU-eՒ_)-]SͳɴwV_^A?HRȂo|+we|kYoMB'Y}ӳ㞢lq ^kn 躓o0,4g(H-Hvl{`=/jU1j%kG`^ңzӝ? $M{CbQ-L45Vc8Ah* ?r N )Z,k_N?~;5UE(d\q8pl fED_#H\4.Vo=TWWa8Ug`"BL0DaCUz;Uc %xqs#+9*t ],AHIqZz"ls`qI<9O%2o d +6OzָJ_SCz|sYOǯvR1z]K|e+S[$۽J0Էdu"dM1zْd!y㏶ C%U(([DQZ2''֕ &:l# @=#ҧjSdAkY'Ħp]*N3A MSGHݗmyIk)v />V.oJ8J Eڞm`݄l"a^Ʃqx]pv2זęoҍd yVRgYZ94c30a32ed96f4927e906b7a8f95d54a7f6f964bddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 3 MonoBoolTranAlgebra