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 TT)- D c Lambda_Free_RPOs:threads=2elapsed=19.332cpu=35.348gc=1.360factor=1.837zXZִF! ]ŗXf1-q恈<-¡$johkX2I)􈔱Pf-@\֯)sۆc|,z}Dž!5C Ž$z[HXngG+^e?\\Cߵ %kHڞ Fr;jq 2ԇj_6ߎZA!(^dS0& XoeC-:A `/3ʠiUĥy+n0;O5m"X^>jnK%ͨ^A"5ZBFnLV07 u\b9ìN_̓F_P)W,Q 7=rx51+S4Q;H7iN>+6D"Y*˼ ̑Qizg@S76Z-xMC]SjA΂(3*m[:ܶ3rۆӢ0K{d̯B[h fCL L PUQ+Fdho/_cv  B݂ɸN4^nS،iG6P@Via[HmaṘMA1ZD1N/v Mسv-wGLSbwtgl2 .M3֯K'rbNB'_+{P4C{dw_Φ"z=^V@X@I1¼÷e@̃''2.TdP}E@ ӉA+vل&>F8׀VynPh+qrp;~kT Li{Ug!rק=p>tl>-ujRm P5CG ip Yt\;(gmHޟ޳DVjdD{Ԝ5L"Ĉ5Y; >mQZpT| xL#ꏮc>~M"c_@ZBڀ4&ytX\ *;znm>҅㌳ *"RȯGҞ A;܋(T%\?hYnr4Kw|p|`4>.QK26"_$-m6оRi ڕ*֎i@}7&)lϫ p쌻ю $HرgYZ147ef2da4898fd7abebef0d9c6fa4e69cfbbe650 1510cfe471334e7a74320669945e2a75245721df 1fdbedad69e7304f0c14df92e53f8429c47faaa3 20fcb830b82ca4396c7e8704f97b2c4ef8fe6d2b 47b7a5fe12e0a6da3789fac4e79561006dcbd253 577af747421743018e6d9c79fbcbec9a1ff2305e 5f5e53ac73873d20e2adbf647127b736406425b2 73ba0ed3ea2540211a0a25d3a33ba20c0b635cce 73c669b52ed7f24685c6fd2706ca64b83cdbb042 b6973840ec5c79bd127f8e42932f3ad3309018bc d8b591c052c85b1671e1d7822571568590dc3e35 fbb41d0aa9e7731b95122619e8a4b9eae61c727a0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 - Lambda_Free_RPOs