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 i <4d ]/ LambdaMu:threads=4elapsed=7.213cpu=15.332gc=0.456factor=2.137zXZִF! PX]ŗXf[& n@j#>i#V2vG;thc^D8":o&tKuU\˩f:b4ˋ31Np;`gy%@cOH?^n{Eͻ`g?zƔ;Fl1HD?"@JO2ig5x_ڦĂەA6 3s0B?\\zZc[# I k#˃O [3"D|AlDw$ΦꋮraOܒ4E8gsÍ#][ɿxA qVdqIw({)}כU7ID/ࣱgYZ7zXZִF! ]ŗXiɟ؀6t72 ;[8}$T,3{*", qpUl9!8I[Sx} (: x2ojwKh9l4L`3f)ScʤjpҗkOaQ26͛ߦ#U7zvI9^aFc5[09UROAwsKiظ}gYZ7zXZִF! <]ŗXi%Gg*czH7YKn6%*3c8"@H;w#}>tqIn$uc6}]U=PĠ8` m>0Jd4>MY=Aei %RF|{?Q3DZ8iHMa[V:'dYط8:ұ춯ñ_zn{K_iVG`.,eKKD0dזv•/M:ooqciၬ\tP&mMύ4lĮL-z,lj+fK׺=S^`E9{/.\by:bS:>{ys#2W1W%>M>+Z ҙнjo Z|gxXLJMGl]r JXRˆ. eIAy@J /1p4~Fi S\E961 bيy{}lUD\ЛE3~'g+`i`X^cA̼60@SD(] ɲ_S.9zI)$R9~q/