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 @@=- t c Lambda_Free_RPOs:threads=2elapsed=19.596cpu=35.576gc=1.348factor=1.827zXZִF! U]ŗXf1-q恈<-¡$johkX2I)􈔱Pf-@\֯)sۆ`MI gOma+S05Zl^Pؚn ;}cPqQ!|Xe@m v4{ݩNͅwcҡX#)xOhz??#sOv-ԃ2/۰>/<5,*~g«9cf\)e= Qg/Q4n Ӈ 72Xk5N E4חT h½x]|Xr =rNdžsSHFP!gD1@F'ϻ 1UVzf5M@OLԧpS{=ūpAY[׾ N*1*0oL$gYZ7zXZִF! i]ŗXi%(> %I"!^3jtN9b6i#~RvTZL+s)eی94ѭ< +$Pײ2@FV4.N! waP$(]":¶1dSMTlCb&SYQH3rLlT [GzNSt6fDžZ uK0aC OV)k/vpV9`u+#U@@rS\HH !+0~k9]Q= SFVΔ "X[pF>s!vj7 Όswk0![f"Wň䤎^hCQ]49+BOPwmMKNL \RAZ6{jΏ+b(2KG='=^kHHT(`o~%rX9D?T:_P{.;+4}c4S+ CD # #q^8!KucK<&k/w* &߭eXpf-s.kL<2ժQvsڦ-ZBw5)h^lo1t\rYuO+@L$vvM<k>F} }=U^jTsKgh%n=֌cX(1+߭ KǢ}]N'V>i|NpI"I<8P?Cʸ[D"nB3@.)x;Αu̮FLgrՊj%I#Y,ҠGĞUm <+dq]q^wVyfs KJf j ʳ5N*ӑjn}?\CvB71LtNoբ:4CE|~Om*FޮD_j yd3^gfC1l;?uĻ:APF z>i_+yCwgC[9kWvR; ЈcfrѢ+}DZ jlm0ّb#8Jr4t\Q-  kO6tqkj"d5^˞t5˫CQsr~O$@ul]tߋkCVt$D9!"veǜTɰvԎ^x Q\Y/>q]K}'6`mDs{%MDAZ΄XZו[v ZJF2* 1( Kϝ;Q%uRnMԛO[U(w=BB gYZ147ef2da4898fd7abebef0d9c6fa4e69cfbbe650 1510cfe471334e7a74320669945e2a75245721df 1fdbedad69e7304f0c14df92e53f8429c47faaa3 20fcb830b82ca4396c7e8704f97b2c4ef8fe6d2b 47b7a5fe12e0a6da3789fac4e79561006dcbd253 577af747421743018e6d9c79fbcbec9a1ff2305e 5f5e53ac73873d20e2adbf647127b736406425b2 73ba0ed3ea2540211a0a25d3a33ba20c0b635cce 73c669b52ed7f24685c6fd2706ca64b83cdbb042 b6973840ec5c79bd127f8e42932f3ad3309018bc d8b591c052c85b1671e1d7822571568590dc3e35 fbb41d0aa9e7731b95122619e8a4b9eae61c727a735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 - Lambda_Free_RPOs