SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 66G- | $ ] Lambda_Free_RPOs:threads=2elapsed=19.115cpu=33.404gc=1.300factor=1.757zXZִF! w]ŗXf1-/6vRZVO[fY1@i3QHl%ށܒ,1jT^~͖#ѽʓnӾH\S~i-<سNL7%t޸Ds՟Ri: EQ!6j F пmfϭ!a"0ߘvZZz:bv`cqz'Dh3_" }!j/M[ U ""HIƫꖈe*774~.۰HQUD3i%&aGR~60OqX+?5} 3NmkIFNeeSIf%)%fm7E>(J:K-"I]@KNr5* YI]v?j/~nInbߵ)hM QuOӴZ9TCOt$!1bce7"YdlgH-!'k vۄ$؜u)no\y@q(vZWQPrlS|@?U`86 Mek;I8y󠺯lA@مv^G6 :ka*t FX~׃OX:a5] `p%-!7kc8cr}䮡:O9sD5 5A!f10eDz&ɳ޲٠Q۲B`:$g&6h" jYD<.bT\r]ћJc_ pfAw1{PxHd4'edSvN;L _ " @H΂O܆K#Ka^Z68?7Y ) rK5q@Ül]䭋ѐrLD#Ⱦּ{xJ XKBle D~p=V}TR-;2 "O5 WŕW%e؀ُBo#97 #?8c'V_li8Juw0L Hh'm~<84Y;jQ'X"#TP'nDzr'S/a35m/n|.IjSi*yEk7ȓiSpB-4-_ a- 5.(6f%11dEآ<CHˏ&>mskylhfZ+X7ZcYcA:A!]LHZW af6݀`~H)?Wɸf+>{a&/ڄ)},;6;״_NS-Ζ$@`5{„9j^rUҵ[cC8_<}%^mky'ܘ쟷X4I#X{ȇ &6d9LY~(iKQ1/DZhkimǨM( hAkj}w xVӄ;.~40?5ٚe@!2G˕$s>9G nuTscF{x` 8+1X$i3!jEVC>]mu86j#(-Edki5=O}ґ`ah3Eu۫E+eNr5+] 6eֲ"[\bFRg* nMm 5ҁgx,O$bh}|sbuMG;OG?&SiHn|Y󱤨idlQ6OUƃ ,e/! [9gYZd519bf5aaf517dd989dd47f322bb541e3094d4f0767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 - Lambda_Free_RPOs