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 [[#dtT ]/ LocalLexing:threads=2elapsed=92.650cpu=142.548gc=4.596factor=1.547zXZִF! Di]ŗXf1-/6vRZBf뱷O]XT=uVE|kLjvk)}xrZHTϕxsB2.Pc9Uϋ(}&CvO4wl/$h:t=Ba*aMjcppgy s( %;y*/J6"hΊY %}Y@$9CRc䍕u!篽Ok{DC/y_>e0=/Z߭`RnMY f" l3XGw}GQ y -rф!c@rѬ$C"-)`[a>mHd0(hT*1pֽbf"p."Fg{Z hsEGvbgKI9p.e%BE[CmRRk*|-܋ΨU0F&MZ~4H G0f"MAsJ-N cƯh궝x1{Q= OAyako{!/VoygA$zd ݹ_glj"g5M{bG ΖU`E5JDž[LJ;mxsQXJ#xYsr~6R^J"Mt`ҼY YF&JGooik@-<2,ܳ84\~0W jĸ@3ʆK}o脾 A:񢅬rEc| v>yh [{qNB\ٖ|cTI+qg½f59!){sad$cheBϫsc |[HggU"PI3oo rgPJR)2ʷHLZ罖2NȈ;{tV{c8;9]1mh &UBz\hܰ (Jm 4S"QPGNgەh M9܋9S3i~T7ݞ1! @> S9a\p Yi ޜ3hLFY ,]8! : ͽE( =ORf/~ӡnԅ{|7y2\w削 V$T6G# \śO؏4߲w0Og%m*w8A!UkaT/&0Qf2N(,ĠerU\d?IXeyq 5'qgYZ7zXZִF! t]ŗXiɟ }@;(L\OQ3 ^<UOBSni)]Kb5sH0MAaM-7g=U$L*O҄;UsQWK 7ss h}NobYe@iWKc_cj6Gr)%uv} %ś,Y谚2xLii b ^.(/W-j+Rz{3ukտF$݈\3ʦd yq>Fshc]Pm! i-Jɰ'1 -NOgYZ7zXZִF! "]ŗXi%ή+JrF^L~#:Y> n3J~#|zꐍp Mz#:z9̑^hxTz_F T=@w9Ljv>B \tKliD&WݪK-XІ/J@Kpg_;:NBCA95u[23>,alj<~$L̓IQjKkKF6zjkW Q/@6b4EMS$`}m8dw\DtO~PI0 _ICEׁO:J9gPT#E!VBTLh 4=҆ ֻdgZ/Ϩȣ(jrմs5 ٤ѯt  2hy<Ƅ["Qgx"OF4 l%Z()KY|%HMFbuhH~ŒV]&)PP&~EZ洡&qOX*bwOQnIj!C: ?ڪߨ{`O LOVvN2oA<\{2ǟ3]7xZ`Ϲ^RhF^Q<ܻII|qfCܕ '5kOع~vQ#vUpK7[0IsXS M.e1D咝J+I `0 ϗWi " R{w29JrDeRg}^92܇\]D.è*PfXWhp_#rbd+e(0D{^=25\nDb&huptqӀn<ʀwXNy rRZ/>jv}_Tg$˃Au?? BRRUE#s#N`o%pJt@>øn#ΜJ\w=un#E@)ws ˶]&VsWűt[ݴhD2 e;kʭQIy0ȮIbAuq*yEn\NwLo F,9L(q[ B{Yd&b?BBjܢIpo֮wvWeŨr] ϯ)9iYO # LocalLexingJ,V; $}eϒvE( pmV`-U*FVG|]i@`$(oq_1שAY8 U Ȳ0rjVBZ2 &(I רcX#_c?v2)М0箦;c}qa2|([0` ދcF9gN ӦGR-dlqk&Z~+q‚]EMUm'fqhG;k6pv~N=9xl=PќT<:땴$yQmʼn2 "޹M x?ձJP1 @(؟A6)4Z̤sՔE9`B #"+l1q:(. TKC¦ĶĖtѨ(C{>Or/a7b%˽dqnTR \8G׶qq󟫲 X u?ATGОk٥Ȫ^f!&FΡMY,5;5LY(;[4A'jnWΛ7w{jCFػ˨'vE$@(UȱFgěգHțb(I4zg7N 3;FAg rKt l@DaI 8Ĵ-M3 e|w񀉤MNs/gZ`ºႻٔ`-N΁C+lw5:9A\.t$gM>VI9E'\*W1P4'ˏGRM'@E6BH#\8ڨ>"z|̳9jcH_( zވ\JT'D: >Wh+XA!g߈ܹ@y ^@ȏW/%r!KqVx@51 LС rdl{J12zϮdRȀ=/G۞~zj|ΉFi?[#4ne,q˳Bg?y !'?SfB)G1@4BUcúSTiz)/B0UU 9m%zH<ͶY`M|~l2N&]7;, Pt3rY,"8 b +kj7[A5~MiɈcuQyL waxFu$6Nh\ybل-WBts9Qob-6eLgȗc/?45kBS%~1!ZٰN/]|k|8 (v1^odu5fqF&MUjyTG"!hP` .vȔ0tG08Á6IHd rA\E#"u6HA9.Br!r-_8`=&7}GcФsq8/"ܙtPќԠ^3 F[6`*LY˹/) |j# Z`dK\o7HZx &*u3wω3i},u#QgiUn VGp.GcEmk@4D[d"cP:A"'uM(i"X_3֫.8?%Cg[oѨX$]ePN~YPe-r뎱K=4Uk$ ht[Q'.Bj 1?mRnt)3kIvGOvT pǛ;Q֚.?07ٮphY}2/ǝ5-F;pBצe5;rٰmsȽ] t)>wZz LM뉑`X&j!7F"ϱ'VU;׵=ym j#f$Ɏ!Gi4d*[ju&qBBlꇨSo"CD q+q٪/?Ic2bczU)\MUgmTTlܽO𯰽TxAYki襹[q]Fl֮{&Q!385:kwvAC|ZbrC( &܂fCۭh%Je`ƔC`wuI[5]D!z,"rVxܻ""8?!%Bu#bı(IUjD?&$Y6j:ғǻQ[.|+f"6L&Fnf( Z</@$v$[`5sa\g[(`F-Hx 2yP` Z6o)"?RY'=%X D_?=[!enyYzB\H8H_SflrKn[\۲FS_WIFU_t3~a0xn j\>@%:8rK^JbeވY]`R"TvMT \HEAmо{8[ҹ$"y]ӊrCH_?"e"?;p2pQrb!&-FkDs yG`e 6r Wr%D'HΪ"'HO܈e Ϗi,(\c9Ỹ4w9j=]ja й..lZY_kwzB;yHQN=\;f!Ԧ 6 \"zO #CtZx:۽".