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 u- L, c Lambda_Free_RPOs:threads=2elapsed=19.903cpu=36.260gc=1.384factor=1.827zXZִF! ]ŗXf1-q恈<-¡$johkX2I)􈔱Pf-@\֯)sۆ`MI gOma+S05Zl^P({bbN7ybvyCEȮ=ZJr_7+YWӜB3optA ߣ¨pD8V0鍉~L~3&ZQ>'yR#.B.&B Z!T1ᜍ/č1g+',Pm ny8vfI7P[Bcِ;`=;NIS3{T;;~?2_/HnP2|;6|e גՎKs(#.&T\A} xfPEQEQ/,JclTyY,S us BB|qV=c?ϟdBBxQW TAMV9qC|\jऊI+t әڼy8y.8ʷ%r?kz 'uG|?G.vKxI1}l<Fc3r[=8ޔ~$Y}X*(N{-WiN !E_2>TVo@<=Fv5Ҍv pPiKj"-fe@K 6[S8BYwKC\1sLXCBqD1T;Fd61P=a*R*k]{HX09辀DϑlLJQ3}w Hep )6đ1ɺb~WS'T@Տ#sIyYɸ*47L'Kp-_X/!x޴I8J fJє}T1 k-CrSޤޞ9ElqWS-%Oy:Ns+4TNNV~ub'.֝}q 6>"i'B|܁4ЦV.,RPˌеtqFv@(wH 5g!+~\]$(̖.7{?%eTjo2ZxV(&M霦Ud`Qg *ZA7h 7W00K w#9F-G@$azp`/h% Lxˌ'LyRkZ rwe#uP@TC< /nOI JY'1x9>/e#k-\w3Y>0[_@fPzYXJ 90\G+&]nMOK"=V=;g@eȁHUZ ?KW㒜Q`:;o3D 8ш:ޜ\!+RyFFuWsϴ`><,.7)%!L1Ōٯ1 ]^3K hZt L'gYZ147ef2da4898fd7abebef0d9c6fa4e69cfbbe650 1510cfe471334e7a74320669945e2a75245721df 1fdbedad69e7304f0c14df92e53f8429c47faaa3 20fcb830b82ca4396c7e8704f97b2c4ef8fe6d2b 47b7a5fe12e0a6da3789fac4e79561006dcbd253 577af747421743018e6d9c79fbcbec9a1ff2305e 5f5e53ac73873d20e2adbf647127b736406425b2 73ba0ed3ea2540211a0a25d3a33ba20c0b635cce 73c669b52ed7f24685c6fd2706ca64b83cdbb042 b6973840ec5c79bd127f8e42932f3ad3309018bc d8b591c052c85b1671e1d7822571568590dc3e35 fbb41d0aa9e7731b95122619e8a4b9eae61c727a554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 831d14f67c3c3a84a98a77281c0c1e5b593b14fa - Lambda_Free_RPOs