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 7 d, ]/]HOLCF:threads=2elapsed=15.908cpu=31.512gc=2.048factor=1.987zXZִF! ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_J]4mɥx a"#Zy׌躺n9R:tI}bs(?w.&t&yWX^@W@:%tn \_? '\hc v6WeJ!j1Cokcjn'bohd?aA;}ʶhb 4@ktWӉv HJU۬zI=:ls/9琒U=,C 8:ti4y]Tb\ w'Hu].J כ#'~~i5: a_ԔE*yh<$*N3 %0-(Y͚yS&6(%i4⺓-QbtQ5;K90@8 0* pk(t|1+#y"o0BO>UFO %OkneCa*5lT=%~ e/.N5ej*FW;W _$TӘ㨂p|kgr"6+ AY4,jYƭKrc1cQ1Y&CU}DfOʎgYZ7zXZִF! C]ŗXiɟ1˦r~KunύNN{Z9 x bBUq!C3ncĚ 1nE0AeYucL %ʪyN.8dܬR c>$)\Kd"SJ}aZ]^Y.6~ԘBE_bUIaʷW˓-+ˡ=dLfj$Y}mŵ(g[Zξ67MZGwMv ygڵOMC (*Ch譭O7(ܛgj+3N-o,]j)p_M^cϤvٚ bOE˙^=_i^)՛6RB% [r`X^;#&?٦_$W.H/Ʀ᪬~?vQ {\R*Y 0< :i*V{Vi?BTq~">&N80u;/#͒`kfj+$9Oeh^+ɀ_Q+ rÉk11r,ZݎSkWm4MѬ f0Y4 n(^bmp߯?l4^Ki)}y"`e fv΍AfCbM1܌lE˸ ܽtYk"7uU'CszBH!4Le^LPt ӍRΌ"MPE^ՕVa]FwmYd;$jf'ysrرF;Hb"M7sU2fh͕Riy9UwNCr7ѥHsnq5q3m$Ӎ9)!oIͧEKih<] --*P: d>FG/UK˳pjWŪ$ QlsaIKEӜƧɱ"?<3'O7u9+l%pZT%hłWte;; &O\p(xA$[E6N*t`RXҍ+ v{mL FGoS6WcVq0]a,82tw2 w gYZ24da6aa735584af7db6eb11248d0ca07c2a755421770e7d42e284900cf7be1fa0dd3341bffb6e5a0 3748dad1f2adf6ae24eb2a2d4ccd1ef4791b4c46bb8c845809374f16455e9b526842d0646b7b56d9  HOLCF