SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info zzc# TT  VectorSpace:threads=2elapsed=55.567cpu=96.716gc=3.652factor=1.747zXZִF! O ]ŗ # VectorSpaceXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##TYF|LK}o{WK#mG+}hJm(JkӐZO:͒9IUaχaf9vnsz6Ƹn^;f7fu`I7{FBI fVs~ewx A?K[cu.{]ж.uLI$т:ːƜxq)ʐg"/ʷr[dN/ߍi~e'[GK&:@='~*,~<2.#ͳ]ʂPO=y4>J)a߿pS^XU4* "*۴2^xaj>t3ǽ:*^c@B΃%sf\F*ʡ\~&(\N6ۇQ??)o:Pq&?Hk볝؀,>N!lǞ> cqk%2Z}@vvfU; `Eoޡjw~rMw#m8 L".&| 8%jy:בfT(]Vj03KO ދ6`7]3NAe6wq:;EP(ld>RPqA=UgQ;M W;"ƙVOip VBB&#cc.JhϦSthGgy6:BɉkRұϜ{=bvO:\c%!P1&j] 7z/8y{JWթY-]!<"!mfS_~* c)Vp?bPXKcU݆5vSҏy e~*J˄3[TnKPD:&|@D&.|%9Jٛ!| 6- P_=YѸVDc\<~qTn a_eͪyjGu^ M|E:\0}N^M []#m bLa;.$sOaDy 6e ڃ^U6`,&6-JeO4rtfv+*򱪹Sc (G|Z}ȡ*-6}l1X&aSlHT,L} Vȃ߬A_F5)pK ?cwYLkc Cб Q{naWW4 ֻ)XA: *Ivi`Ւaa s9U4ulZcɧМjj pvSTC^iu&J(yequ֡ZG S Ŀ)e~bz %mDkn WdId@b@nK5L v?4c2#K%L*r u6~ŷ$uЬS(vsj&GM=6z4pu5f.:4~:yYуO'8Ւ6tjh$eH_Sz%9G^4xZ+m hBp+kbc [|/9~Hxr@>9E @; F$K>_ qV  K`bP+DUjʐlHvMT?W5X)%s]; ~C]K/2 QudqHmV&ϸd\¸Q,\hJc);h:8K7^XA@xv tf#RhSʇ'SŷZ#}xY%21| qfl_hD(u>ج#p ^f%ej ,C(ӗiȕi#"qۤ._YI+"B{a,)\r #VIvC)g=AԞ2N$sO)o|7:f{eQ_!l7d%"Yʈddtu³r4,!V{2M&ھj^|mﷀ_n7}8s,ǡۤ#~4`aϣ /QF.3+ݍ5] ^_ 'ۗ>}%;A1WL^Q r~xs|N&]07Ž&bB"5?*dܗx$$D5JgYZ7zXZִF! e ]ŗXi%m[[]ڱCWg)|%U%c0|Ō &h1);B/D#(ei?o#Ċ?֋%HɐВS+V ̰횠'7` &{<nGQ2;B\-ѡƭժQm/)y QT犒q}x '|V9T@7Sz4" I<+ ΓtE^`itoS="Ҍ")=ם%3kݫSp?,\@om[x`cm(h2]]Zg֘8Ak;eDQUGOwPxS%8棇VP|omb?#ˢZX _hOU zc[6wʈ BjѲ)صaH{pQ&P.TJCwSP5L~tl"eLn~D(rOs R>DNzk8am"}f9r.'.2*)yv].H-uYDP}ŕڙ ko8?w7,ՌX(םsA]s>)ci=ab5ʘv*|j"Ufb}:t=+IfL,ښtOc ˣK'4{IR Tz CaI;~_'a@hZe>ו\1iCƢM֦krvEj4S*٧Aziyeؙk^+n ?-%(Y޵fɨLu箮('C\n`fv'~bg){M.jy{ΦkT0/"l{ L&'ay)9 {,kЕ]?#%_Y$ d;9|; 6 Nx;З;dpZ _<2ӘR~M 33UE"1 ]f8veKŃ)5t5{l̯+Bv?Oܤ@`M/c( ;[恬l9MNa5J&B!=kP_TzP"=+ YҨ&))^)-CEqELilj.`uPZwje&-vU^;f+DjgȒT󐞭&BkH+Acֳd41Ñ5![z @ddֆ=@"Ξ%+\yd<>mp i5]*V܁IJ*u6Y)anѰ(Yܙ3AJLf,j)?GAJoL?a$]x~cll!V7v]%C\z'# =1H%nr$1#Zgv!ځ Npרve4˱F7OfJ3ߟ drp 2& Q]PO#! o N q;(uzE.@U~Lb%,rAk- 5JZiVKO=AA>UҼT{W8E` ACTFZIvϽ+ STtՖM~TP WoLN&#HR4"Ǩh9w̥qE`ɞGN50(aY $Zxz__@QP}ȿzZlw>oS|5h=|ů@gU( XKsYM{ai+GMoIeϪic)YXtQ~ d7o&'beFMO(0jRr 2T L :ZSهc7Y=,%>{Q:UA& !m300ɒp"V17ӊR;ٛ4˗73K#B+'κuZ  T*Pu7Z6UAhҪ撿ݿy7.7?68%u5opQs(C~V7zب4Wd/JB1 f/bL*ыp>f_Gr9'=s)JCT"Wyzbp{h?B`4ڼU9ޫO2,aL֨?vlutuW`E頯Au adӃoj%>UUo')ZP.Z3iSIA4y5 p@vsBA5.TwF;7S'zdJ0ILK7n^{wZ.44!J_ `[T aV;"Rc3@}l:T6F 3:`_:i/C\^xQWÜVCIOm\:J_2GFwW:SH+12.%o+z"h|܄ 3.< Y͸cfɵ:ؔ¹} sz?XwҦhJ{V&AdS6u^;O3_7Up/ůp&oET`">*3 l&XMáV/Cet)WQ%ik6>Rq?(AU/O8+M )tpH6Րl:vOژ wu.oiCx۾j|Qf^x{'Xm&,N7>XU3]lUg'lJ#Hi 9ݑ ?Z}_Ggs'N!e.26>yhת;؅́c%,c7X:W=cv QXTO6:/|Zsٍ/❟7ٵΕ> >]>qiGի,F(H Yeo K/c[s م&fAG sEemRLG