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 --P? Ltl ] Program-Conflict-Analysis:threads=8elapsed=13.268cpu=59.126gc=2.740factor=4.467zXZִF! C_]ŗXf[&Yi]}fK'=r;rIF[=ÂPpXfn̶OY7J+WpxW\l^}vv`# !6٫'<.qC&IR~DS0#Z(:ŦxS;pj,㦉E`#t@ .d=gԤ3Q;^F޺Tp!>ž%1{/JpyZNvƴVߋ ' @N{p{H1>ChSeGh%#6Zګ=m Wy QD V)qH9Dkܻum-KҮٵ(B̩ŷN2&m&xJRBf*oxrw6p.UH;|њDh}*PDD%*/dV[BǏZ:uL{O(eBgqSPނ Rڸ0~꣨r $y)RKh{}2˯R_P iyRI $m4K4PuM~tljzt2Hg䘽ǮP>tx;mfGj,f0ni暺5 LNbU%u`j0*L) ]z.Y=5 RJgiÑ7P|cWHnwNi dB0jp)}.4?QpJѐ %몄ãbQ>CS ׮38(F4zPP?&b@=K|\`C=;3A9żv8/Oe5-@6s/!} FI +ʤ\Ю}& uB߱*}UZr,D1I!=,bS>޷44o<][[kh/"0霨8wCX-ķ#"ؿkȫ)IA͂pN@ qP?ZtZ ؄]g~ftx<]hW'ErkoD"/B x}d oˮmBiH詜SeKt`a|wëk-.&^u/CGẊ;D 0˫F>'Mdppgy@ө9(Þ5To'ϢaN(ń2&hh Wp4q t42u4'McUU q}OT?G_Ebz,(A"kz=لG@'f]gCrOs־ -Sԅ4wNW,daLQXw W쾸%=8D[@(`ܑP2;[LgU(}ݛV~D^*oRpذ'&-&~P&p dCIźQQ>}Ul`jր lpIm9Ցh>Iye꬞! c.PikmoU}J;S^?ڵΔ>b y680#Y1ʄjo"fgA4_aq)A/ }ؚ^B& yy ~wJ}8d %m; j~҂KM:I"ێ{|Oꭎ>u:w}9YzG4ȑnPcg$ݣãX|p\`RM뻷J"~I1S\qC iSrY{Gv,.Unĭv>Q.dSzl'dbd K1_XMϠ_ CAF{ٻ={_xJZ&jޠTW?j@;g*+z؀3A*ιB6FL@ 0})?ť ɚ E4u(BufYhe.6rFNq|˻7#zI͘-嶓Gl-0|B\8t.aKveɈLs`:R;8"T]\4&I[|wto}!"r,I3v.$'anAŮĤX`23x`{X˪Z'S'Ǭ|JbxhuD'+MCk)HRfBoKəV>{;mȪӨzXe6t\9ǹu﷬ƥ&KXpqﻥ3Tп09>jm~ BD6D3 M=O /EgYZ87e71ad8203cfdfb6fccea5e367419eb87c7b262c58d21ba3dc8b698b4c6d36f436849048b45c256 62a71e53b0afa041c6e33c7ba1f783dd62b7fc3a 5a8dfd3c794998648fe75f5d8b9cf8d56b5c9238 ? Program-Conflict-Analysis