SQLite format 3@ . BBh77otableisabelle_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 $$Q-$ < ]S Regular_Algebras:threads=2elapsed=92.251cpu=135.864gc=4.304factor=1.477zXZִF! jK]ŗXf1-/6vR[O CК#WI<~#xd2 uzjt;@T.#+u݊_p#ԡA! 'Bxk3UqET!K乹6!ƒKڙc !n w="d^-xYt2W_>X[BةD$™*"d R?$9(O1I8 [o{V n_c)s19Sf[uC۱lvCsk4?lBmdD֧MTFhT:^5K=Qo6:n!iL6uy$t.* 3w{ 6Uވ\[\38|V>D ͋ 9yʤ?kyIVKm9_Ʉ>d6zESVyS︹ d8&P2`w,D^4Bv%NE)Ef){$2!¿d2&d pnu%^_Q5nEK (9TVZx|ZUh萱~y UA$79Ψaő}[a2|TI}r̈́ڱEA= vF,+ok/vu ~vcDDl  *# 耡J'n3$9mo^l~k=aQTȘNSp /!yRx7ee/y+yHL iv.Oʙ{>2 O A x90dC@{0`$eS1BXvw|ף-cՏ蹑!O+b!xqCݠ|1I' ,3 Bb4Ul'~-W }+*kx&=ƥxUxg}f9/q+3^lUOPۤzKN> !QE Eg)&ZIMavi!jr=WySD1ힿޫ}:dPR_k 격l «]c mzZȡ sS1p}EL+7 'O$) z%)H>[xkfi¤?9l E5;oCç #tVm*"6#INgYZ7zXZִF! ]ŗXiɟi&w<6:N ^܉ΧuaWUSr-6m3P6yX]">/A db֕H:%tzzJgu#-Mָ>n6.ʱgYZ7zXZִF! Ὀ]ŗXi%92n {UājC$)\W',%|h2iLc0S5 N2-D-67FŖ^f)Q|_h-gخ1Ҝ x! D<)4-/|>t쎬Wl!dE:<FK}/\qOO($%8xSnoRQ2~t??b2R>]x"F7ϼ4 & Գ:s+*.օyE7p>&M#VzjRLI"Bz n%F 0:pH~|%Rpp+|;zd22<[bM&V2rR[26Ҿ3!ͱw4 NUa& (\ġeR϶.r Shv4JL - Regular_AlgebrasPy)z;K> O3p*dS6Q%ҳj+5@o ]I$FGx=BgAyD[k.0Ltd4| h1< -eZBĚ.Uu*3Sp@ }UN~gn<2<іf4, j dؾ(݊ N;N!n(*5O0v"7pL΋VE[ ?Y1b%cR)SƸc*MQ(M$I\W{4M 諬p OC tؘEKV!)^˯0bk=%Jjj@բ=yZت ԳΦ fƺMs waTgg;+Sq[Gh@&;_x'!m$o/{4[:!T:T'#RJ7DE"樵e ,uJWD5pǻ;!;zZ bFfX,lt'T@, 5i&!:J8mڼہQN@2iB,dҬ"s7fg]:tfh>:JɳzW4 W0ԈN/;#4+QKIvK[ ŗչ̅q"ĕ1lYbe4Üjy]fd84>{9Qy`=1WVFh.7e%d iA_ea>|gpsdm"d&ȉȍ^z@\:k|·ΫAJgqBs7 Z%O(cLl{6Cls)|_ܙ>5" "7ْ Q⥫oV=Np2ddSq{H)Z!L Mbw) u; 98Pnh0=ӡPV&ql86h\ v:J8g`F&GM[y8jī,X강u\v-zSyTVAU&G&,h .2G5;V@¸FaV˕7B=&BxKf$7e@0xFS$$?` VnBFi}u]i2#>ݻϾ Y?>wA6A2C`'i/t*uΣs3UkWJ'~w]>1 PO߾YhJ>kIׯ1d^ny6%PP-Oq-zbp{9kK IqEUM!@('q5 e>WL״z@#2^\W+Ey+":qaI}prջ/ 07P[^W ,B>ͽeՖ:l'נw>ҬyF/)QoP9ܣM2_AQbgq Tn.F>=Ѧc_(7]'\i$@D@a297!։E"DޝOJF?+t leޒeHN`0W>$%Y,k} jK;$(#Ck@Ϋ'$Bb+RD42ikg%cyZ"Kh}طS ZS'O"JhjSg_.`޿?47|w, 3GNSt=U#i@|\5#0t󭶢-Y?F]iMSwyV!Zo"^a)2E^҈!Z5 (CQv_ ۥ.ˮaX~ ?~r"4wD\p>h]M%V(<0!hLxB:D]O=lpkloU1TT%'?p#ҼߘP FYR!~f#~x&{"Ѻ1AKAE<4֥7o@ bGq :e\r}}JbxmZ(:˿죯hZ+/q&o-`B$>Pl>XtE+J}hL g"gK:p];265`avJ/vn6ԻN&,j|>&q*-{ ONo aM]&SsH03 D.P ]AR9\L:ڄkZu7ei a%3r4_S@́w%fei9Fp6({;@\S"[AShz14Ш2:z}woMV"%;gYZc83a30d426cb0a2086ade250e4f95b4d8ab4a517f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 350191867ab184cf5d3a7e6646adbe4bd9dcb39b 3e0f9746da7a5ac16a8e2e3636ac976453bb297d