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  ||l ]/ Marriage:threads=2elapsed=2.124cpu=3.680gc=0.052factor=1.737zXZִF!  ]ŗXf1-/6vR[Cx# U<Aq"/ b-arkwk㉯4XZmSŎĂxTPNn|̎D/=A a&{vS.ok{icYKgYZ7zXZִF! E<]ŗXiɟPaOõEWDwSnj7YKpt4Gtԥ RXF҆[}YZ7zXZִF! /]ŗXi%W~_,bI(${Y_k'"qt@48_d)0d+$RZmEn[@tZwܝ,Rg98Hh  "½G^T٘%j){͵R@[m\]ԕw0}N\`˼ _uT3RjU!_!!d Cc㦌%ͫTOiR8,>2W/9> igL@,U t5bA NXy@% 梮Ea1.ŝc?< fxHTOwrax ⢷ćw}iT0$I۰O*jfd#-*JG}J4)d# __}`iXMʽQ^m_k[^+"Rt\lx}ʖhyӺ>;'%Dq;%Nk7f!ܰ-SMGew-lȪSI3oQ.`q39vgYZc8c901ed59f26dea6a9ad3ffb96daf8ed377f978d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e   Marriage