SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 q' \l  Ribbon_Proofs:threads=2elapsed=17.843cpu=29.008gc=1.944factor=1.637zXZִF! &]ŗXf1-/6vR[O?< nkh{B6 U43/眕9"nN/I%ER7Q3e셌;8rD9Y\rQb1Nݥ]5ÐP"wyL}a%H_19Лt^8hpkt%:˵bDaPP,jb|}1׃oݮg1mۘ0L %dp{FL,j Q/4zhsE"qc}IRWz3o ԔqB(Իb!(h-J" \&ΠƸ)})v|/kЧlW_oh{NcW*Ҷ0f hNbP3ݣ kY[Avn0#KH1UXX ,00P51Lиg1U:&6Vw@96BF(H=M uH ;I,*q 2 *ˁis@O*5H_/̳呸e8 ,u%I4-`?uZXo>k]R)BJPK}d`5=9>3'z94Hꯇ7˯RwbiL%ɝ_ɻ`Tcsv]P_&vԨeU&:KL*:% 4O9hGS^8Ң<eG C({]IWۋs/!xr #gW[ѵ.կ_4urS@#(YX!+2‚b`?hd?A)#9zNs^/j3!f CeE3"9𨼿*)ߍSq=MZ9fomW9Jnȱڭe3k s=ڟ'͌w z<~F; ƷgYZ1e3ba38bbe6e9633c82237dee457c82d07a0c335 2878be339df159b721e572d744f380ca4a1cfd7d 2e21dafb5efd63c2d3ec3fe26fc1e19cf547f60e 50e733e7fab467df95b04548c4e2706403c4babe 599803c6648073a6099ca0a685703b8f0284ddde 7da39566f57d69be5537155922594e6955fb6777 a8bcac93bd9d5738ea1dc209af3f5370f4e56195 b0ba63647a071f94b45a11e9724e9c8f49321500 b7050ed146f8ae8507825860a6b53500992f67a7 beebb7f60ec6a9af24e3c8df0c2d02567052f78d e03a5d4ae35ff1388e56f7e2fc2f111895fd6ef30ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 ' Ribbon_Proofs