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 V \4T ] XML:threads=2elapsed=19.278cpu=32.260gc=2.160factor=1.677zXZִF! ]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=m-ݛ'C"`?~Irhg.%햧mF4)}(S7q{$%'@s4"^Ƴ6Z!]7$p`9WV„ئ{u#9Szy;k61 s -OQF8h4R_aW=jK*bf7А8RE%=Lp=1[`A"%թ0L{Nw!<(2 K\N?B"5@"% kwdMY4b1ldFNk(8ռh` É Ł$4Bn0A]Uɒ]ZIӞG](RϭMϭgl\u6]tiX.{HՂŸ#FI\Y n ?QdXZޡELvbNpaF1@__}eOzFUI# Xt:Fp*R1#WId"d&<Mgϗm"2C!́e !S(1F$<˹$ws<}((96<)$SRCk&JVE"D0*D?7aS̨&q?U5ꯊحT][w^lyb$iG`V+o5hFP f0KaS q =9z)F=$ -ͪoA1Y>OfE1{j&` y(@ oQG)p$A&#p0cwk[{뮼tל*(.^ND?bçZ:̼Z*&LK>d]];YYɀer f~N5ߒ< Ri\aTSʞtݠlP$ABi' ueȭcRg)?|jfX*Âx%`N*b^ y`cJ@V3GYI0'"xD AMMu =Щ(I38D>aZvɩ1Do|[ j+QQomWԡ^NhCF"P)duH"m4 RW|3s_xXAuy)Zk.\PIflP. N  _bD19J?K VzUUfoj| pXjM*gX8ޙ$ G7A t$nz'7M`βRFڀbPE:Nh M9BھLpXƷӃPZO2^8Ꝅ2A| }&q.~R.*].X_Rj^&s\a/tlsR}tP}>F%mbE@5ƈ?I)7HqX\֝ T@dp*?١ٺ^/ď-̒(;ۙiW7;Oby'B,-1E9 t,9( HNJEA<-/\gX8H Vac F;a 2f4Kb { bgYZ412f4b3f08342dbce9e8cb5532b6005afef6ec0797833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9  XML