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 e#< ]S]HOL-Algebra:threads=2elapsed=73.772cpu=130.900gc=10.448factor=1.777zXZִF! D(;]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Z<7NdC58!X04G^Y)XdI:` ]^]ڰ⧡=/ Ͼ] i&ϟ\{VF"y義9A17];_(T aA|VѳW 2:=5V#>"rs[%;\ᕡoi"b :o> b!HnC'LR!(]Ks/ʢî MZ#-Lmĸǧ.uOݝ?x삹{5ԝֺap6Y}\ߎ I>7-ܧ5%wnr]~Ăh Ѧ/4 MSf$YחN=cDV.;+1!b{x4OⰁM\Jt>ԖU V@wsyBߝC@c=ʕfu+$a3L^TQR?x RyRachk"V,!uʎU!doCAK]@ Ot%zYrޑ΀Pc4F>6izMobz pځUXtZ2() \5&Oяt\#,+-p^pفVAf޸09Kk ^8$ 1"^>M![mZpsv}9Gfz|=Gko#0~ l7ޭ݈^ U䟝J dQ"ɷ,sVSXraИþ\·qR/{Z128WPH휸(pRN>%y 5\!\7Q3-, jyIi&Xq…c!=jA"_ u@F|CyCT"o珟^!+sD*/[[e1|q[ V&UXz Bk'vqW gcUd7g=X:;Zd,Ԁ";BQ9Ew9&8g \<1w3g"`^lCIgAmqQ,tTaFFj:^%o{NuQ㖻([J3J_Q..x 9)wVZDy ˿L:ށTLgйy*,3ڶ=nkӆsEXDn" ;X0 Y=iJQJr|!6K[>? we0l' :v3%Մk Dl* d$8"Ko0 a~vwvflb-l}4'7%ey3~TC с{gMH>D;;`ug<=[M2MǼl3́V8kc֍~!1 Ԡ/5QA¢? :ٮڧPm^1)zʺOA@L1S]J񱸶FZX\34-Vso*hM;5ql Qb!̚4^'CrMa_5IKv6^΍!օRzG'$P-ojur'^@G(k7׫U65~rMV^)ρXqZYIrN%g.`e^:8 q?|g825Rb%"GZ|2 Qb#s8=B_{’7ט P`PvHSTL7ϗoU!֫kgYZ7zXZִF! ]ŗXiɟ1`?#DaCu8fH׉Zx'4A3mŊ|1<*6*9؉C^Q.35 # HOL-Algebra)eg}#}1YƬj<r cZva_U)KξYH)c\8mD Y ?nGs"^%Ls0wX;[35$udΛiґnۜ:WdYxT=GAk mP ӶK*!!U`XS] Ƴ=%DHSʆ YB@z|pIqRIނ̭P''.nb7B{8:5;57 F;[ÓxA:р>dZCϺ;tm65](<ʭ_7s?_ m(vyNlO7,o9 e YrBBzFKun; Q[.!jQo-ztQPm(ϋhdSL[Hvwg+u &_'@vԆnPWNhה@502?:K}~c_t]'wV3Qq Pj&7k'0U=9#uG^śqSfhɏsr2( !*U%JX#K%凫-'׻1vA/0YP{ڶԙiD)9E]30 ~[iH qCs+n"[9}#qG[3H+e﯉3RPޝ#ZVBb5'⏮&4W['^V>o8ȴtVjgrĆ$Pd#$?sy´}om2R$)% mOel%(/Eޘ-vn6Ru#{j=Ap"9u+ۭFr5?1uL2h$ܭ&VyYcO@zbr ?ZLZAm O | o^T[8F8Dw){4p]ST]JW[m=^ĮF\R|9d',n_ڂCj|iVZѥdA;9 }4cm/eB-=-|w= `ÍеR ȿ+Gِc o1I.(a*+sEkfl3$P_{An(T8RϿRF8:-N+ٜɈ BA0)89ZM|`Ms;?`(do*b\#h!?QDi{PIj%LKsϋyB)np#p՚BEf x}NZ\|J3zXok'i ;ĜMlMqГx4R,Zb,h,}7>z2' {C԰6BOzI Pg^:BʩfUS[ |[}nbWaCP-I+#bN !5NnItFԬV~ rp[{ 7wac\w骻ky~j{K4ٚku|4/(U\H]EZ1C%G@%f3 "q`лj`u11~dŢ˩!iC^FX`gn<8Ɵf* !3bC;Ϋ)Ws%zp" w:H}9 z*|49sEdאP;Zٮ:':~4f3xŝ5;q;ٕ؇cw. /yjǿ eVNnKCxng] C.#IYiz*?ضAZaM&h64ɳ3Qarf&|Mv^(uT^1AUc$Y/̩8ս=A(P$2Q N W\5&j ?lV>'-d1riŏ?B ڇs/rt*OXH@ oQLȟ bv f99QX6jN%( |*+3?ytTQ'AV !V";Q@-ILyiX/"ůDŽ*O&mᡒPx5h̸b3<ЇmD%LZ`[ |CκIX*^Nw~ˠcߛןGSa:L&'S6X^gû eLP$d8~BVT2 (&!e9dJo<(8DYr}Iꐆ.6?8zV9[!t4uou(m#e-+젡ŐzWk`^8