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 $3 $ ]% Residuated_Lattices:threads=8elapsed=21.164cpu=46.967gc=2.186factor=2.227zXZִF! '{|]ŗXf[&&i{*‡HiBEkև]?튧uJ ?ʅ5Z~RY+=VC\*4-.hKy-, 4;Su[hG9 QN3Jz:wo) ,N #v3SJjZg? X=3Ù, >TUߥ^`poE9df~4{ޕew<,S0@"WE$"j}%UM([ }U㕻Y^; bEtJ]ʹ_cke𻾲:4N7!K`Q%ȃؿKlcŠ66dЪ]?\DQ E;:K\c H -꓎#=z)zHbFڃrvq*F۴썚L!{{Ro*%.D0+2R1P;#oqy5@.\UjBLžubPOӾڗ8GvFK`={E=bXwzcC{K0 C:\sV367ܘ 1m'5Y< E0:ۉՠNn<ԚFA!raK #0 oSe&2䢉=K= wQydihȋ)m//V'i(`)Df8!Aʊ3`Є^NJf;1$2izȣwFMl?s[i4pMWgN5ok i6Y62ܚė!Px3 VB68 h1N66gYZ7zXZִF! :]ŗXiɟi5)9ݻs?lҢ 90 SsL/lcqT?ΐJML`z6w7at{ʕd!2 %[\PH)ֿ@4e8W\vjG!pb1oA0xle'Ԧ|NQz 4N |N_{''1L5 EҏvAf_lܜBJ E3g jhq^4B <"Ktx.A]޽P}'X%tuX v?h }ԓ|Al̲kA7hY.GLߨJD~1U_|pv8<6SBq2}NWExl0E:L: V)#- iHj4 RԴ y"S}q 5)xP,m6s ) H^ߤ))>L,,Q^77{#%x^/;}xQ"ʵ£`Z`C*w ԯɯA;:I~Tp3N1{ N}ֶy%,X^d+^fd<ɾo殔!4ox|XMMe#G>vQZnu{Ƅc]Elmn6h{Rܞ(pdcr:ZJ v]ዴbV; J{Xi.i%TGy *\g =#&͢.[fᘋv;Bh)ccIуvFN}p$Z$Zd&Lsptb;kձ!<(;A|eMi~xgLƃ4NAB5+9$ӫކ7ꨉ #}/\y{,jX \c%? W,c3R U-Qi 3Τ'2O_q~ EK33O&2izN4aΖvW2ۭ%3AWMŕ۱O衻ܑu/;=dܜǛdWW+5+XU8-w[a{5Zu ;/2Y A):[{!Yk;5;Y$6#B ʹP8ߦ)ޯ%P5\sQez2)鷳o} ! [?YɝZ2/SC=v#<AjXu1} <-VuzDPi[~"lD2JBh,̔ H㙮8W:)̫Py[U&#.2erl %