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 ll )DL$ ]/]Stone_Algebras:threads=4elapsed=60.631cpu=121.052gc=3.268factor=2.007zXZִF! C]ŗXf[&RTX z>P7Œ1js Ǒ_Е {2$Wx~S΋+cU3bySi7IomoS=VY9v4n^,QM_@ jyK y1_N9hBHTMcJ%T? I4{fRZQ^`@Ēdo@F,3 n~d]wwAۉƟ@UyD;֩"yq1;00XZ Dq䣢pSDRh52ulpGP Ip(GC9*p, T\"ذw" :pQ}D¸ '3,;ݢ\VLlfPhP ?C\U%&Cn34\>mZyv )i<# *Hb6b&T(2eUj{..Wz +0zRKSB|ZSRqƒƑӿZ*jqa}$b#O\3y,9ATŖQUΆQ7=Us.G̅+" m碾~ؕ^4E`G-J #M(G\ٷmw#T g #RAȳUFE[AY>e\n]7Y i6YXza] g㰙OxMJܦֱ_nXܴ0GeA]M}cG&7֩auZQ2(A]z> fD `*B\huʤ2E8L9J$ :'/_ 7GA tsإ'VJb)AO@lRNjBWY@"0r.TB% ao4Go\uF08ЗR+RB#(SLd) 26墷}!;۶Yvuw#C6l<")O*:7yE+" 18lϛ3fѯ0D}_xm Bl)FײWLL_i#M%xX!!^a2*Fz)ЁQ&s` I1*9 yFRYP]"tT ^?>qNMn+0i[h(Sg3WSrL׺9bJۓߐ9cD."'ڷ>2@jyx[Ý8/].OrG*L"TJ򮌒r *%w" n6[9;EOzu^Nj2+wEgpV!aSQ%XawCϸ Dv;|qa_,I_|ss>"kz_X5r};|lߵK)Ĺ3Wv0USh ~;AYNˢQ /Xuvm\Z:X!ۤTSIzxP3:W;`""> c&C84L0R\,jFeɥ#6u6ȢR:Lϡ-Q-'I>Ĕ7^ CC_eȑe7.f_B$⢿ )iJ,%/)9!kxٔN&H Ujm7^pR9r ojD ǪJxϾ CgQJ (N~2؄-y?Gᔡm>Z.7[2`DM"Nj&*CM7fOW$O$,נQ{@hI ~?w]c?c G͌M!RJizorKqoC9u!:/9!5z;Y\/\-N]N)I[1FPlkÊ(0]0T8zqO;/L@HRuejuL#;0-.JZ!>ie oq%Nv׶:zrC&MBKζK4w_QVT6^VHw?t.ҤU":ѽ_s",nVLFdD&rY쩆1uQ.68;!5$$ٖBA*TNPeZ gQ[P ȭcDj˦6e j2+7&/!OΓ 5'ax79Q# wE oFZהYeOY$Xܵ Z~r[UuX{i)gSH71a]QI342NL?R@XX-|:5BOPׂAUv8ܝfº f1/u[Mf*d=0GV''ϭ͎'Wo;'m3rd*@ahAdz5 DR̦]aןXTN'0L@P[T?\8S?[ b&UzDưn}NOU=Sd3\L<=;Q67=(M{Π5> q޵~|x_$̂R&ĉu-I-%O$xfk#d+SbhTHşS` o Vq:nFAYjT0l񦼕T䢟WxD[?_#hFA$c9rCcqZPi#~nR= a<@["mmOa idQ_'A@ FATMܗ)SV?M?Uc4!Ykco4u5Z]k xdW.& :,F~ u:VꪷH5Aj f^Q޻S,WE>D>5Ж|+r~ZevrEʷ$ݕOr-%ӼoI>,Cn;\ a-KG'J } A+ޑ)C &A/NCʹ8l$'i!}WQ+j4t{0IZ'ή4"9?#!g1L)̊Yމ$%)+hrѼw(v!PHrVMs&{L:% ')ჵ]r(, :n3aJ9 '&" -%4,R˖Iq NgX@2S-nDbyt? 63:R.ɻb [| h GK:/<ĘsJ #av9x?o"E㒧=" 6)/e0~Nwh*]+-.s{Z ^Bw[/_w2!s+65h7蓏J8LuΣxH1Ax3ߓd#P_\fPw@ Q.MWZg3Z )Gy>E(cmyU8#kM~LGCmJE@LbscJ0kgx=l뜌M97~Oc3,`(=ْWm۹Nf4B"hvP9CڼMyۆ_;Iz<K4Ei]zq'a\K5(UVm "P*|ͅV5g4ngt?zg3tf9dѡNDzS~f> җ}9! nzكL%Q%EoV{ĭ'O9gUk@6