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 r# TL % VectorSpace:threads=2elapsed=53.397cpu=96.084gc=4.332factor=1.807zXZִF! ]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##TȋqlZQg-hRkzL!d˽γPJ.ʼn&HR*|arO8*{iui"@d{mTT Uz./·0S;>PIjⓗfs'8V z)?laz>{,wiMʍՁn\AETP/pYBDFNE%\#X-MHq~A }2cF6)6NU%T]-8=<㒭] #pr ۬Y^Ks/*L;$|z,)%W eFu t}!x6aXr6큎X&;qO#L凷 ZqձZ\\n'o:e+J[%gxӟZ7-7ߺL3ZLP[O M]wP}cSˋ Mdi4gWF$ۣiwa@kp刳OIeΪP;k0zu XIy6wZbb+\{!SN/Ć4i3 DH%`H V'3_wXX4 MCi@̳źk1J=VE3JDϟm65!.%75n;ݻ1vf +e <.]5zbHk/p~_e<ɗJQ[K|t Xcҏ^eKOg8_/bpv٣!lvM/*ϗ,!?]R@[aL6[4R⏺vٚjDNϒFWrƭh;PE(C M[I7 B9< P]+݈6׈1]@@g,(~QcPu,)[h)Y%|lDtE} T@_I !:/|ˏ <A̦5iK j2 קBhN 8/&SnV׎iX.HpL4|Q)\tVE kqc u"TZ.#to%ԩwBFqW)teՕ18r,R[Ub嵾vE:O߷`r9EiK2;~4epڥ0匪botrwt8Ap2Nx{D7ۢ:_wMT7DFƳ⁖:s06Zk,㡢Qiyx:!Ӂ*sFŲ[an\f@=_rz`(&V2jmKi |ߔfSvΤ}TSi^Q?߅UB+t5pu vX%w \RwR4g1}RVTAx2fE`-$pi!l@|`rsǫ9+5T''fئp`"vL)Pb8 JϪi:@k(x1הE%Ttڟa UC)Ņu VN,Wo Z!%vrY715Da>pXY0N*OHɢ+uA|hbJŧ%bK2آ&_ɍJlv&3+X]>W2ߝÞ!t,f%`>.E4Pp=}E˴V$*WܮUqxH|~v'JQbQi7D $Obg^}#tG/E2T3L ?^:.ːc$RJx轑Fx:uS}B$Hzjf?<[.,=JPOj,!|Ӭjm.O@?l(LV]{ޒ s׽,r9?2nrcߏY(ΌMf!y(LԯC c{.=琔8N"e #iynI{1"t^6խ6WH` E-X ʒ?e/X? U}k v,"E`8熕1T+εk|sO[-IPRk`TS(w,>0aEłW?QKrTɳ0--+QW@x/6tPN-kّ1h6aoܒ.vN]쳊;*8 # VectorSpaceOv ـ妲C?gݼYoAv|E"'ngK$r+;5' z%Z3 _3CL{}Rz[ۡ8beScXLbl~StG4Mx\xw!pK6h'y CwNP7N#υFgYZ7zXZִF!  ]ŗXi%g9WXFDY8dž#FlG;q@p UCIF-鏼j>`< {||:+}bkD}ъo+M/!{@ S:ƺ[Nݑ>%՛WNIB2b5JY{}«)|ud@n0rͨ&OOfY-3T d84;xfU%sK`;J{؀INTP;f`F^s&[%>VԨq8& T\xsY$\[ߓ"]$,5|TǸkG/R? ɼh[#q}a1ł =ܽf~@E r!#6czpشuQalh;,y;e㲇"r쟻m}UA7.?">WUCVk \fyp-JMK.ljaR]gěÖ:[5awnCp!fMc7c-#j[ws˧)WeN/ ٟ I@jTa>!HFeD`Yƌ89h+$ r`u#%&+Cdv&={ Qkiu2ZN$ĉ0;2տLO }z#&?H̞n#0H_%@K&IX]362aL wj6>W"BH*)iGU }Km8ŭ?gnj8 6i "c\u7uYX68- ?S0?YF$Q`z pDc.Յ?\ yDa¨Fi:t%zr(GH0x9>J\FwYtI;3ZIDy"7b #Ԑ[>'LpRRo]exi`ldrzc5 00+8^h;T&w (@OGmc?n|chEB`٘SҪi 8ۧ0sIF.jוT_9_JD# hp] TS,37@ ,7/YWl,08l `⾝;jeZRi1!G7 VRcIj IsTcvAjsN!s{iQ " |Ї'',Y*GjLZז tV ҷޑGjd37S>B'~\}u1fz,kk*'4J LAnxPǪ.Q8:+w3nվ\I4k5s2V8Ċ ⹲msR_lWbcJюo8>f1nΡNQ-~rT|5q&γAWv ێely4ghM.f-"p5R^;Z""UZϢD2 ,z[uv4KeF09 PGHkK ípN,AU0`TASnojEUb;7ˇRZTrMp=^?=T3)MyD4kAbWTy+z߽/c @ll=˷j>96sF,j *m8J_R[X b-5tj ! 늣m}I0'oA2A5m<꓆AHh%O94 և u'"`ZIDX3>u7G'cl.\,` &=vK4EJxkN|ϸ>lކ^I~uZ'`7˒@蚰&c~焠BߐJ:)EKF 'Bn$5Gd5h̚+xc;CPk-ynx#hr"'6To%ZR;Xt{93̼! 4)HD*'& :]x~I-QWv7?7>0zpD.9z.ޥS7u]`&tv_h`}wh/ E+Ay'0dt2Љ2RE{|;9SYFoj(AٕШt6Ib-ruo5hxy{8I6XGD}II#0B_H|W6롂( L9D^o*d,f'\?]2< AjR`+K=">۝%9n^X&Cd,5'S"!]!ח6gRw ^0@%JE5/.\ɫ_Ay޷d3 FWތ܁?V7$,RIg84)}*CTڎ7F|J 3T2O6P>@zh' b!Q{hŢO>XiBA_0!q]T/SP7`6vlvĞdD<=б47APpR0\ JI~ߏx7dx