SQLite format 3@ .0:  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 p-4$$ ] HOL-SET_Protocol:threads=6elapsed=24.414cpu=109.860gc=2.736factor=4.507zXZִF! -]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;(T;jӁgA&&eW(l!S: >:| %_Wgo;~5&[v^](*";) l"(T,ةLWXrxI QJzQ.wy2vfOw=@ - HOL-SET_Protocol  u b%Uq9Ef528J> D5:e!"6f-pj.qLK0ןT*g~ v>HS΁B6+-ξ;UOg`de؁ڜMj#h2WD|)LD\3{_v %S⽋z_SaʚTP,7<FfwR[am*u5i9 =b@#?_aOıs 0zC~>%u7|xlW$$:*2κ Ƒ]lە.([]1igS*n,EK-C j^%!ius.I\|↴`gŕ&91Ac"ʹ T0F?FHbf8a>\. ,+>.<7꒾?PcIːGE83GShvm^%r?'f*b񨪽e7P"4vVu#S d!RLS" do(\5##'%KNPogCk|$utNaޠ*_.Fb)V{q,XDk`F%:3,T2~*4eN&]gP)ٞ4^/iHUgGzZfʖgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTu)^G&Q𰠸QaZl\a G!l[C=A;pw_젘Dr/*tt/Wix-y1qH+R-MթȏX|wRCV,7>eij鉐qb>:mmg_"k\>x7;E1PwdDl jЃ{MPbskCmқ)ؕנK#)Ȣ̙,YEП6ԡep ґܮuxάiX[rC.!T_idw*Գmi.Ƌ5dM:Sj(J؋2R~6'-]GjS?7u⃉nnsvVHAEe]z3f~cL0o=8fG#.Nt&AgiwXOq$C~\16@0=%qL;HC2x}<@45;ӣ<#? aob@C?${c9Yc 0`} 1wwt5gtY.o뭳gK M#=70cwNR9c=M.` BitXS81MP|Ց0ȷ$4J1 Uew lS̘\'gUq՟5 !4bHjpR@'Z> &*;%*Kp(?~*f3+؛rV֏_ip<G K {ZϠBQP(IM8M8rN"\x|rp?:Ka%5w K%!̳5xx?n1 dfmj`I[)m#-6 *5d&cIƫsQio4 Ba,-%C,F䕞eL>Ue5ʆdky l_$y2.h6Y鑏Dg\N ѩ`d]2 !L@!JGH(/v<˞q\VUj$دk]F+A5[$pSn1 @=98Z1^aXݑ~IS؃C{NQeoy¨F"}ܧ-dy"Y6&h# %ږ! eYmIaY 2ͰATt]O5?9?v*$ es0tE ,[ԗR,R[J `Zn*ϰ<gu,@+XQ-?ۜ#4^B >jSjzZkK&3]xeUAݸb+#p*[ ``kƺEMeVv@4`LU>nZ0ĜeU/bo=PEC}#D}h G!R+sjIIL$6>@4osbQ4)z&0[ၑe ^tB;aHp >7{cՇe~]žΜ X7AU|Rxt޷?1:i`@U@43/O-M؊8|Nz&vȖΐ~aY1,}/u:dI_e*xbF(uU1BЛǶh'IA0hM ~WA zyU9tZY;M~ oO\xcTtL$9AޣN,N):3 ڦJq|jSR%`'#BJT`MC@ n^1lUIMb BƠ'@ Ȧ)Qٶ4|l?!`S[G g-SE0%}jgty8s'gYZ6476bb4d615af45d6392d9d049d4e6dc65b94741a709d2accdf7c7879bbeb7e5998f5ada145fc66d 83640fd834535baa5484547dfa008f9bc8fc785b 847e05063399add3820be03226a72340c399a3ee