SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 vv LD4 ]/]HOLCF:threads=6elapsed=12.455cpu=39.812gc=2.316factor=3.207zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{Vd%0M%eQI p~C[/0ƓeބB9~:}E鶩8= X1F">"!+WB¡TGz8+;];slO-g"& Cȳw D腻T^W3Ea99ݶK4谒q,NXP{Xr-K-mYE/p1Nb\RF-/:_*TQzyFNHcE:}lV ŚTPbp~BnY7Sf[q4= Ig0FG^(2i_6#4abn& JVēTѬoy}5Dײ3X"C%M `¼Nd+o6+bH, z-k΋F_0Xk܇c*3]ȅ.W|ߛջ G1T8=[ru 4v6u3˿][\ASN-Ӈɇ9S2]mgbԃ$gՎd)}'o]*jOU cd-߀ܾB 4QCJw^4A1Al -Y$`=OZJUKTM)kwӤˎ\,Շ!P{>LUATy%mfzfffqYxL!Ojc*i4i܋ւpSE|+K0})! LMowţ}9؁ _7)ΧzQaTdnycvIy+2[F69դ0ñ뫒OlL*Fm h6L`1`3HzQL`]!C4YT:\@P={Y_ٙ__L1@ $"#qCĀT Y_ t j5~p*guF%y+Dǽ%IJPݠ$5DQwoJtV aa(" :C;AϴS|=Px~K6?~JHO_!3cg"l  .#W5gYZ7zXZִF! HT]ŗXi%B @y̦0f|ώ݌;L)K}kb!/q5 ֕@q!c`TvP\A[ R_ _9U>Kpy8딠%A'@' ^<ADb9VWN I!8APNl*+} ۔P@2)ΦUPsAhc)ȄcE.[ ϜT{֠MxE%px !*$ /E%a ]jp 5P qټN h^ٷ[E6#8I ._'$۔wc*]K5]{&t}[U(|38l}(ۈQ!# \}#ueAZ\Rg+R$KxL!gX7Y@!gzc*F=XGn2 5t͜IӨc5`q2S͠*Wpl^k;tB~3U&nFF@ kƔ ~T{_t|T"ZA}1Z\K噧wގW'^ݠY3~ZEF|Ι Vȋ3o)7" UUK/6ʥ$y:+\G7东^^W} 7 fW "׼wYt[Ҕ-rAmIZ+ݚb5}ŧxdO §CJLdQ88([A]nh3ي ^v_:jսC&YU@sVeQ;eŜ6VM0$ۖ?9ш8m;HUhrԥDxجn?VM_u=;`.F#|jݍ H= }cCB NUf[o#p9)6 0pm1M5=\ _f֝vDbkT\:<,i}`-xlpʵP̵X]~wX[|5gI!=QIv̵ dބo _;m_Kg̻S;]*#M=,h+zGvblAYq6a1Ȑ/'(ىu怯ד3zDo3OMM ~7-m*[, š h,gA@fA*Nԫp?$T2ϼ 2ڼ#V^| iWrf4b^$]eQt̩<''Z-ns }U7ĻdUÔI@nb*o2^̸krϏ|m9ps ݑ"gYZ748a5407b04b26db2a6682752317833c6b8952b1a4c5d301a507f7945f83c5170a983e051beeb81d 4a642d629266e43cd6125d2662e20da56947e7e573732f016de10d21203a880b85e765a5d91917dd  HOLCF