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 Z $ ]]]ZF:threads=6elapsed=13.105cpu=46.088gc=3.564factor=3.527zXZִF!  ]ŗXf1-) enȈA$jB80l,v8-qFN}yƉPҡ.$[A1.=s5V6TT!Ma~hmA%A琾gˉ?*ݣrOgOg"̐m3!kH4!)լFC&ĕ9wADXL^d^Lw`+R4p_AȞr)kٚ|2J>u) l ,|t4B$`66کhL$,n&2jtJ|$fWzfx{n݇+Ae:Ff׊`ruX>\E2a!u͘9_ #0edJ9bl&kld!wyJQ5E#V]XpS 7Pe/5yĞaE7g=52wO=i<(iB/"( {{5S\7a_C{E8_yښ\ºU}[L>inaeҨ|sѹ" : L<(=@)'Ŭ[;3nn Vb) w gYZ7zXZִF! <]ŗXiɟ 1FE`穱 kP,%JS )^:PG<qJUJ>MjqŮ>O9 9@$HnlW1"*莎 ͔wpgߔpj+^h("D@yV0A!Gt赖WQPb1v]W&{[M|eorx<߻v#)(DSYg?W۰iI}n,1,eZf,K6 G¡<D,|KF/b9զL'5DM,۩X~ ӌقp⫖581QO+dYB/OTn",H敵) +ؠ @[=X4  K!#^'"Q \db3yc̾V J_/^\ה`T/É0iEpfP E%@9W ǣmdHl3 oVC[ʼn8?5nyv!/p[F+ޜeWtARYFH7DmjX僧gYZ7zXZִF! > ]ŗXi%@Zq]ȄV&N2x'4~r^?U㨭(YۘșWKp($4P!#fAP^ʋxwJEc^2\#1S{m}K3M2E Gԧ`y[0'bVϯ)-ggżrKޒ(zcRu!6[h{!2,8T-/[( )?tGMGZEs]5Nsm\^n3.#T~*Ƃ5WQaWcMh.#phnTV/ak,#I:O aRqAN|2|ȻciJU:-BDueQ3=MSCW [ wnx0#&8r o",Kho1Gq_ܳb'{IFҫ{VS"o=6gtGʎk Ugݟ倦;(`z´YϧJ975! tM;*@}7]e5)ݒy[- n-V!( &5Gg~n2w<n#M{66밑RT#O1ɉ*&{-ZNή뀩E0Pc>KV*Ȝ4Ǟ9sػ v>k}<؉+3`B4g׶Cyx6ctq'"Tr2UlT)jvT|@%l '.;lq/u&,IUI;P[KQRXaV MBIq] )7x #k+z˩N} u˂:5ѹ%߳(ھš.PY")rktr2"1~Z<[^M,YIԿ= =8ܘw#ܼAAS@ J 1*Bkr(~nE ?D,θxI@!Mqm`, *(̩"_E }ogYZe5bd8afd468448ba694fdc1c28f247711358517582279e0e1adf83bb56256dc19b76e613b9ff505ea05298ac506f71d8fa7ce9143235ce82d21d9d0e  ZF