SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 U/,D US HOL-Number_Theory:threads=6elapsed=58.556cpu=176.032gc=8.152factor=3.017zXZִF! r ]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja ZHUv4`LOraUm֢ 'ug@$+ \L mZm?}72>w򒑼8.;b c +rweu?VD / HOL-Number_TheoryBNr,*X"rj-ٽU'pO߹|)ZlIs:\CG;Œdd&Hu-5Xz< /I '˄K@yp֛#ʤ9SN׃U>z=yYaV Հ 㟮XlL=hBfQ r*5! #>'t-ZFgk(_"-*Pyz( -ɤyS[L'h 'Z#` 88[`tQ9cb _7&~eÂqʭR:q"\: ϭ0Kt6: () 7̸=iFzmITb ^UY3ߏjL6m/Rч>ҁ%݁4)9s 򳫹̖zWrq.+˦AR5<9 +T 쥫 Ҽk%~O Iն;ot!W `H곳R j{H&vuGGMOD/4km x[>1E-c`gJ?B$Jx3>FB\zC{y-o LB "Ohgty?2/OmMtruU2͗j9KKxry1#(ѶEծg[ET)XI9~B6̖ V~`L Nm@޷*Yi~sU{nцػEW~1r6H;1Yc~2-̋̅7ȣ]TY#/?TCï/4 !@fI_TuՄ~.IDQ>e:o]tT@3U,A)-aт\瞯8C+d?y7i zd7CIH3tּ5 )* Xs~h U4H{gzVϺ\9o%dEz}.74 8z v\3$0{؋0`mxha-eU!m(Dzm!?ˋlzy{g&ZGS  -@ښ ,dOW[I'?w jcJc؟6[_]*zcNbL`ȮbM:b0 TKoWHDvRpߓ0<ɵ&RS9e>bv6a?@\v\7t ]AT+t3U-vv=Qv%X =)qI,Ax>xA_'ܦ1 *x&Lx<0_H4R= dƺBϤ`[AJ+Jf*"kKPw]gYZ7zXZִF! c]ŗXi%6էg R_VhL$H 0b'LJ|jm &It-^} .3d# ]z̏r@|Pyt4yM1 -BScUVNԶ$1g&l.zYr# uT.^) դB'g~!rÝ&vo,uuOxSk]e:QVep:ϓ 2d=]N|Viס"K'.זv?ؓ ‡0AOR5%*77h[b\7 )x#󲓶hʨrPP?s$ i7B$}}Zco94{Zl/v Hn'tlRfM7vJ;gT BeӌN3DW״D _͉= _Q]f٩Z4?,) du/7t^ H}9:CϰP`_A?/Р[%+%d)w$*tnzu% 6D?@#A{e=k]rr ߦg%{%/kdg4; c*xwדw1(}O \xrك`_*nX\ܡXT>5XFގ̐PC7kԶ2{H]<tqL`4 UЇ_N-B%ݚն"_ZԶFo9n"IHR>@.5>4[7x 2'>W+7P'\9_{f ť$@Mb5˯ݮ T?M/l2X0޷?*@ ZߕIj}x(aT˰B#1]y*Q5PhܨSN"10})2q!'¢_62AD5e1UJ3+D0i8 otlᤲuJ)7dji0)FlWw0U(ZMYT6֐ EwvKR("nkEC Ub;tSDdErn;p " A+Zu g{Xmy34aYm6?X$5;6% CH(ʇTG^ʮ$P5@jx۱u?D?e6eEmpoL[pW=!"l5:M[w)Hx'dCgnWb } 6z0hFMdZv 'S<nrںV߉ct1aj C{p,31 MҮ,J#@zmI-%,I<>&n8{hWg"C:. 7#U+G]2={רzP3=k2|̏2yCnj0<=%午Ծь"ixNXLN 贑VOxl~=Vr1m|M@+ИX{2ae7RӠ̣},m6ƘeuX}!*VXƾ&8%&ΜEׅ#TMk#ec!Q>=2`Y5"w~wyN83F2!(~SRe4V4 pG5XUJU}9_ɰ3Uf;@ [_F3O-%T9; 05P"Kl˥ן& h7]Vhuyߘ*` +Gn39-?}i{ZʺpZ0:BowG6G#y.ZTړ^rb3[ "au̯dj_"<]kfgKFk)o{|4g8ۭSyGi$_N _@L+Q3)x칃dHm?kT~$q}5DŽdeڠ KO6Cytj^,%-/ɱI%9,[u F.]J3V45꨽ܤ\/]חz4\T1!CdUU0c/L "R@ߡaHEp0-%P%tkt޶^)z 9<=p,MލK_񁅣AF2ׄ(>8&YZ ]ӌiE~)97+zFUvTJ{lNK>Qm3sCz-d*oMDB[v\H kfwx֓K(<;1x%9O ](h߃…#=Dյj=xH>vE{^8Wؘy]ɐa͖mNx?[L[)@[_SDπ\V-