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 g1 TT ]/ Tree_Decomposition:threads=2elapsed=8.257cpu=12.848gc=0.428factor=1.567zXZִF! C]ŗXf1-/6vR[lN.5ZoT#80g- JzA|qPeĆ \^鞳zcrXV0uӧY-ŜO~ z[wC, }ت@ڡVsY>q{MrqK؁В!yn㓊\Vesv+-ol ^7VIYm}kq)΍H){xZeO!UܺA[l6APIc0( YcƝo0_E;`KVP:VgYZ7zXZִF! ]ŗXiɟl%_LW\Y1d.^(^SK'fOq&}/N l _xl%z&;>p_t"UԒwDv!_HGI;&ͫݩ _pE)ZN%Bmk<&pQ6 YgYZ7zXZִF! 9]ŗXi%>g DVKBW=#:@0%jDٷi~E$W$5hfΐ@&GɆkf4.<…`_ yNq_Jږ $دQϥg9?Ί{p>O'}̶쑘w0L4d|#1[٨|=rVa9?Ծ@!s4zqİ\S,\ZWQh)i'lتhŠ+uz!0&[NzAE7㢹hEG6XIӧVZ{BgFΓ\Պh9aIqfӁC&nzRέ4Y=ra[)DcA:ay$QVNSb* &\DG:w*Zd-]0UvfQ^vq͕4|#ck ,tgϥYxȿ2:))ӆ焪XEd]?7u b춶_:abaS7?k,4!Q!!VI.Dzy"IE#D3 2';y0peAahsvʙ I+Mag(I>;[ks "+^]P,]"Ӎ\ p,і<Üʞ<(X,FA⣸)Ơ4Co>:OlSU< c.z賰_ S/KU+r<`y[Qa<-kRlV}5 8cxK*XÚ5MkÚ0|_ԩNL,Sl0ǟ?-࢘ˍ z}A`iZLc=ah1}p}s:DS^츥sOrgYZ11e9abe7a3eee38a30895afd0c13ca28ca00a32e767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 1 Tree_Decomposition