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  -) TL ]]Kleene_Algebra:threads=2elapsed=50.961cpu=85.516gc=3.580factor=1.687zXZִF! =%]ŗXf1-/6vRZcm#kƣOw C/팪¼;o{'&:&mAx_׊O=*[a+ [Mǀk.ڿ=A kNPh_tR 5+*%=C%\~0zKCBs\qul1b N‰Id O1F6~{foROI/<(Yqo;ElƮZ¨n,s=(* -~Sԃ;M I˔ڢ.<@5֖4.qx 0xז<.56_\0% $JM BHk7puUe+%2| G^Cxܱ udwQyDG g5"L2\=N.Jy:@ "^Dv{BE Mr$3/VK,' ݪ_^E)tY 7`˶2`8x9T`Ȁ(:5D! \ylsً3=ٚ,-g1gW57LD`:G;Hfi+y'34 㪧Z%m m)e-F?tK\+,SރX^NbvS|L6+u&Qd"O^qLpiGZV;!o;Y'\ż1i40$}fv[DLmcAOCR3 ڋ4<2MUw ":-*-!}0m!<`0j t~0~!ZX.y/y}=S{YY< ""~,F|uֺ<*rN*7lc·QhG_,?P{q*AdõUS*]UWh)kG{O<0}j$K;<J -[aMo95V[## UsU'Jw%ؠt؇>Ɓ?ӗ5z5|c`5+NU_ryeAPhڃ2ȇIN= 6qߒ8z`Vj'{zEjqW?oS[=,2P'f h̲&P?<4CjAX)Q2ҩYӠB\~|,9ک0:@kҋj8QFuTQ:l4xPk<ф"DxͨJSr?p,%MUR&y'9><[ &y"RawBU]\;!W)WB)16igG ̋i{*b,pݻԜ'F|lH+)t ,nI,g:" $%]KNh$yokNW6Oh.K8FT@iMt;u\gݗ׹_%J,+` HƫWuύrGǠAC,@tM5"f5jUC v" 92'DcMlJ wJg24܂'%`U\[;6]eW+=Oeê4$64)ͫH0(\w gV #ۛlB@J LahE`y>z]Q|RzA#ØcTȤY[kxxT[y(9YS+Η<G8ٝ1drc_xL$=)錭Q O3 8Hyl Z .k1%XN2?oqG5.#)%BaG卷B=d%f/ZE-Qۼ_Uր1˒8Z"Pspc*BAzTňeϲo/ YLJ.㛟}+Ywz0sI넌S~,,_~D-M&5,6x˗)"L/jҀPQPh f(px fgTX"/xof[R>t@"z\]}y̓Uxɔ^`X+Cmo2#XrǬm F[&y ӿL_qŎ""S½  '(~ g.jqg͵~Ih-4[sL9i*iA.čP7D]~13$Nm/e84"hB&\l` `_;;W$#PaSvQXp?.$xMH(7-'(Z=S3]ŃƦ ~KhZq/yk4ݺzJj̑`aP gF!8\~!=>$P0Gݏ qi[Еri]ޞWxwB)»?#soˮ8O}ΛAC:KȕX8u#/8px,yohE ./7_ƺ{EVc$˛'͹= `E/q;3Oh64!,ж29aEɣed7{l#J+) 9e단&$Q(OP|7E.$X6M<֛`P2'Q~t"O4pm={T^]pxz]mGa!Nuhu^:5IŽ ?qp T1b ­5l}CK|ȥhVQOaPyh$ztxGH~a?1 `X(izQcuJ'rd1 4%,N5f%@+BI8" b /Q٪a4xE- [$2n#g땱0,D@"Xj L̴Z }/wg䃅aw)*}S) SWAmżcttplRE{,J)D= -|x0d #S!?We{ zc3K@D&5mZ)x(7G}OBZEögr?{yk~Z}ȠΦж%x*BMt[1G5aL2{Hu pS%0C0VV RhE6{6k7;rSх(`yQ&Aκ*Q1v\l\q4w).9 zrrPr{-s,*&Ugl6JXXxMak䛕'tm2;=!u:&%ɲQbba}@pia9FP^1wIJ- laÐ];+G!7P^ꠞek޹kNj0._ ݢvsF&w6 ?"m5Ҁ%lpW*aQX ?uM?ZK]JY2{$f@էz|UCQgYZa8ddc37fb6156d92051431d17a6b9166d1e535f2d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e d7180377e455aa9e2cb76b2fce2c01b5fa2d94dfd627687ccf7cfd407e1352d2c880e8e8726421e3