SQLite format 3@ . BBh77otableisabelle_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  X||< ]/ Marriage:threads=2elapsed=2.064cpu=3.900gc=0.080factor=1.897zXZִF! w]ŗXf1-/6vR[Cx# U<ō:ZwFQHF.dg^htBVg5ص5 G.[2i"$|=sq-MgYZ7zXZִF! E<]ŗXiɟPaOõEWDwSlUwsX}o=ŕQ+—GXF҆[}YZ7zXZִF! ]ŗXi%;уzJ}~@u2EFM KIGL_`wv>y+$@Qhul#'gxTn :m|` ʆS0A[ `[=$3!ڟ9oshy-F}g) }چMm|f(Ti}{ꔢ)=6sO.<>Y)-tlMs?Z|ʑ.rL&Τ5!u.NjY ͨ졧r o#eCc$AlM/~G=M|ݭeQ+lxk%f=4J#mn%i]Sw"a-9o:ۗS_2(}4 \OBDMY{mvPZܝKG130ՈZgYZ4775c75860dd1fa91caa1a02fdd0679dce17c73679d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6   Marriage