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 $/d,T ]/]Regex_Equivalence:threads=2elapsed=69.343cpu=118.364gc=8.716factor=1.717zXZִF! 0*]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm? Z;ٺ3 ٱ~L ,^ym7fZUVz O8squ4u#g>Wn}ـx5A.A@\9$#W u}ez:eVO Y-qҎX3t^r|en@*\'8kVgf޷gxb1]1$l.FAaQ7B!6i lpΔmYZRE$.% }. f7<*>,Ǥ׃D2~&P?IZ.&7 =m鸹lrup7) 7p}֧9^~9êZ3Fw_>~ߏ|?r(X`XfI,i& B/pK"{- Zua&7u&)K3-Xw­Ngn)oۅ&1ΈFD*MԃZ$;<+4t>"F68;sI)/.wueFl^bl]| DЪ`v{kݭk慄=|f&~~'+UwȫbVw&nd!"! <.Ɏ+KZC#%Q>?9R!qωVU ףּmaKT Aӆ:ǿq Ox8  FИВ/S[PÓCopV*ܡ5qChDʋ2Ս2@W:cQt6BPcS-{pNa5RJ8b\W7Llp} Q19-[Jr7JBn41l Mk `S] G3da3;;I^\ j+?Iqǀ[MJm5nt5W83ķVVkoؤBp^H3<&"724pT_YNFAX~. eJęqQZYwK$h$=H613tރp=9a~ `R6+ ;vh;9r0QFINZnIrP7;FI>-i72pk@m`+^˯4 .=%rIf}h0`k@)XKono+Ɔ5D'bS2M)"HWv+zkAu7$ƾsB-N =:V} a-{_>Qh փ#zM6c0Ȏ?7{s{[7`6I ̳Z̷s6[F8p@Lbu]*~/a߸[nF֙CI6%~&DOi'`qT=7~!78mB|bnan =SBulAЁH_a͇q' 炘p] aۃ!o1 2DƉxHv)[&YI=yz?:sZfF21l:vw릎^˴|:yƧ4<i xdwmboa q; \g1$A'p7=-{EaSQ: na,䍃;}^ jKϜXI! 6L:93]倨G Zt^\D`+=E1 |.YLj: Z4-Ëкaېlr YNfoW7$RD^2CU@x+DU4ewA l ۪D|^s?`?F9oLޘչc8٬4F}gԗy#'9/%-6H¥wD^4/ 7y#U8!\׾v=kP2h]Kag#jLWsb&›"ZIS>azL=5<MSM_-K12A]$?0z]R5)1 >y}Mu%DwpFic'.b@ ac߭g~[qzG# 0MfV1d{BzC@}.ttouWe-l XAep4\ ̃h[4[ +PJ߹ڵ& -k`;`]] US Ӯt en2? 9EqtuZ^g3osEށK:/ܟ@ZUe;$x\sZ0fLHcvf8JvbpRtkF썃u_בfN&u5,LD '-J7{e[x/dɛ%+琢QM6458ޚGVr [s"5Co i6n::bְoypuB2nRPqrf)\)v~\vy$ -*0~TdƕL(ْ >JPy$u"Y˹&difp śA[f~N}h.D|dN;4Z6@y6z5D}yD"S8/7<Ebhe[+{֬ Ol.•zk22024ʋ>S?؈L0yϛ\i-t _LWO[j;EKPV _0KtUqR%V-rkGVW!vT8"f2Vhe5* ggR:M%:W4G[XQеxTam@vB&8PNIB:ldٛjcYqN ,YP7hԠؘ25O͐Vsi]CayAh+Ӻޘ$ Vsj ɳp2c!gKDZkYAgDiRdh8'AS[cC @G{|jưm,QՋ'~=,PC.xyuj8}4Y=-ϟvǚ2ދ!޹k1K# KAT.|mFH "W(3[*Ljx Byn КSΥ7Eyb[0jHL|r,k @0+pw #9B;\]*[u>5٥<1}|,n}}B,~4TѲ! IN09:F%JWL}tv$AyX(/!R7BnKեvSqYsz. wh=7yxmܳr8z-*+ H$y ^ Ooȣu|5]ٽa%t-=0-0ldġd $~͌tV+[D9oIB ߸}pܐfcYQWZP(_55=*9jNX8?ډ<3(.g\XkbiKӚW 7`i&*|Hv]8؏*E