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 B5 <, ]% Collections_Examples:threads=2elapsed=96.844cpu=176.528gc=7.268factor=1.827zXZִF! Y8}]ŗXf1-/6vRZyغgЕgQ+m$Q#3?#5rN[#3[ahhոىMUms3Ew:\퉰!01b8xZ+>.~JCJt<Z$55|\XQ ŬՄbB8tt1^~2yZr4)otUqorn%o`mg:]Da™:.~-!=*flLFC ?(؞ ^X%lz*攃NxuG@k>:3vt-ZG]n&8 WZϤ(C*REtPY~u:Jː($kb,6Tb@Rvdy$1J^\8ĬDsZMSJ#oH+B<-2GW0%4Rz pA] (T QG|w)O`u;v (d>7dSTɛ:f u"7QFZ' Ovm]I`RPo^K%="%Uwu q0+OuqcZk VNԗ9?r2i#PfU%f m:ˋ9|@/i7# W ֺW{`I i͡r;Q|:|< "d9#kHYy>WP{ | gA U#~(ր|x]=c^ /N%`%!T,f4zu:yCnjc\w@d} EDꅈ *L [G4׵pSߩ3H>^(sTz*&u19n so;m#1)j1bG`Je 6Vu1獲 ׿٦ ZD0dn 7~&kK֚\Cx\"oKP5g{JrF֯ hɗt9JM)ۃu6v qw[ٰ&pH6cCH}U6Mu=iqb$9q0"xD0 T*N'*#]f. Vv6H:2qbiiL#dCx̔⹾L'!Ae)vLxa=yXO`^⍇)IԷ[!pDzv-F񝲚Ri Kֿy@x aıgYZ7zXZִF! ]ŗXiɟlAC?H 7XzW!ի.y% >fb{z]K8iL/ O;}nǷ%̧}x ]KAN?]U[sM1gk43`dVkՁ?]<WP ]g̿f +{Y=_膏07.^{A 'zQu"U!T٭ҝL2!|ǭYjENoRDϳPO7*9%{(5|٣D LzjtF\.g QCPԙ]R:V.#٘VzI L-Yy,`ngYZ7zXZִF! G]ŗXi%9#n,&okkї20frL W`{'=CmoPe[XZ~ 4{dض|}*lKM,>w磳[j.tWI`mi~r d"z~3 <1~|:|a2$8|"Swtqҋ ~댝jXKnjzq,|Z\1~p!Tvuh'M.L,{KJjbL2\H=S@~K.Cnӧ* TlobyjcS8_KY$ sC?Ip׆t)sT7KApL 8l΋aI͚J3땟xpaZ=JYj*_bpe4flײdL<D dX|B!Mk9~= %KP!$jT䢡Z -$)K+ПBw׉~G`ŋ\GסcCadޗEtud̺z"U^&\\vgUֽe^ز;?eCQ(&Z^OXƟ㓁!#y~kXFˡqQ^}Vgr #zAVd*7+0aX}Be@=o%hy{_yd#M걱.3lg>2t $#Ȳl6r}AcSV?mcm,Y<^dGr=WSY&[K hL,!ʖd6 bG㚓?^k \~J#MutwysP}-LeEI Iu"jxj3^^ Ы8<̌=M^4x%U'X!H_PZдkSKi݊O~tG 0cFOhQ;OH4+Ǫө>_"r}&S#e jUnQqOܛ?zRprB)ߵ N@4:@_bڤ\>\8 gDU!ӯ'ǕvP 'Dֈ:Wld"+bPIqo*Fe'} 9h٧,1gͫ7'(9@^JytrE7bN|c3Z+$ccA{';ҭL6lO!ɢa۟߈urv4%Xs/~a˹MN]<DFqɆ`On1ԟX.ŭ(‘/Wϯ'6mMid>6/vDǴ;^L|3@B%cp/#5q}߿?9AͶ5c8`ל)V]DI'zFNӲX ':\"%Y+nbHj<[WMTÖG=ƳmߺSWۼ oc}\$\ 'v0KdM{9<yL W\bCd.dMfw #: 1#55 T` &lyX$ۄ^Vj.ϕaWү>!U@/D! h% j%pчf>QtuSlbN3ZQgUi'd4 0FڀE$輆>d/U)&6f^pǔA`͍idY%WES 3\fdvz:?# )O4Z ?dQty93͛s!is}\ @dð%Χ&_.d)ȿMVeNwrS>Ru[!c.16W ONv8 w0rZMj-Ikeyi#h5(dwL0Tq&!(?9~g-V$=FmN 'Ew !w]AƁ%UK.) 9["hpu|Oh;k:Q090YvH6w@ʣ ' ˫JTuxR37:6,ꗆ`lQ*o7jd#7GIs ح[.]U v}2.sV9^ZoYHNx~}qx&LPNÆ< d>%_ lf`)MF*^(?tsXb ∹X/bhٕ1ٝgQ$՝cuW#NC8G)ڛ'm<'ޗ,V9BQ[NI69 r6[͉/uJ/߆"~ר W5+ W" bŲvwyʃŨ24^ZE}͞'ٟfJa&8-{i0\ɘak<+2qVGD3lkXʺ?B}x~+T/-q9e]f3JcxrAȢy?!R<%#ƨ] Kz`a'zT𦎜04ucυj 6:iVd%ndYBY ' ٍecPxk?DE7V-wg.¶8!,dzPH [oN [i@=Q`=hF>Wp& &rPQ8vBe9ŪZ{fEoNS:FuJ#%}]ԁᩱT.؄uHJNBI'>e ~ {k|q|\"&09Hn~-ڹ?Qf