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 ==8744l ]/ BytecodeLogicJmlTypes:threads=2elapsed=86.424cpu=154.532gc=3.392factor=1.797zXZִF! ]ŗXf1-/6vRZkX U,ذ&y͡y % bLi ,u xPvB+ֹbZN!l{]'FYU;nu{ OE;[ xaQU+AZCEK@PFj`b1/2ZJq%dQx2!r*O^>g Շ_ྩv;^Ù͸ 鲒b0䪐H0: U{:wMU6NV4e{ o{-{؄큫j4auY& E^_c+^K %YU90,sB4}R@NubŏeByWh>%(6$׵MfѾ_7\Ov[Y|q"KV{s s-(  59hAxB1ceZ2h[ }_Wl V ʑk+?ܴ@CoˁF ρUs,qs꽊%s=L]b~w՜Zg@q DWC+0$U g+37Q`рx#{(lwXV]KK"Rĕ@ uG홝T~r/u#FpX 9s}-s,4G'B8,~qڊ2Sݰ?r0yP]1w&ZRS?1v8|^Y,}uk mKs昐ZrBZ(8aETɂBIvql* &Ό C$BlqSk>,oI759:TD&먗KDL/))mw$0yJh£9şd̾_e7VqhS"ހ\v-J3!I#^:fex%yjV4gc_ya)GrW}XI_3KI믻 'uH0?ѕy?JgwerXw0d+{ȇ͊uӷ!mX} |ϲ=%t:%ٿc%9.~)eaO ok!qU(.!՚{* p>dJ[&%Gs]c[9{} [y>y[r9aQeAp`-z ,2(i`e'UcÝP<*\G:Bպ#(R:a`OVni/ٶR9@1jud1)mHKA]gk.`;]i)Ha9/FV. xݾhD\Hz~$ZgYZ7zXZִF! F]ŗXiɟ/jڢ}n>t;mmB~a^TqovOB;9?`-Oެs$S<ք&8Evi@)zZCkI,V77u`x$O 5?I²iS=<9wIhz%(HHRf8FZY~,ę{I#;G0ތq ?̓0<ͥWȿx汛B*Z:ZD$d+do2]Vdz\#Z @9q< $a}t\}Em%meic`șL{ihWdɁ&L<= K2E?#U_FsSY)DXc=)=Z{y;C ,R$R[X',h&yזA:nb|m_ՒG:<&PuzktG~X h]ÕRX'ذP 7 BytecodeLogicJmlTypesp)ʛ?E9Kj(^7,Ӱ2{:-oM %SMF|S 7"[k8Qr`T%%b ^hKI"k 1sQÏ[Q}:?oAbǧ &3<;2re>_%ҚcCMTTen'AuE0xe4ҧ*A N(ng~ݰdʶ wUүxVBO)ĭr4lsHx5{6A\X4OgOnWՁLQ?_Ju[mmp jf;i`Qp۲kk !G=o֦-{;68OX3ԃB*;( q!3=ifR?r蠖H ƺΉJe)V d.=hm=rC. |#%^#-XxnOblOzM^ӏcQ7~"Q76K%'gTYG Řz/@y/*{DNj[.ұ6*E utH::c+,AFw\ 861RaAyʰh=IQ ފV8R:p^Fo@4,gʂi@_J`CW+͡Y4ZZkO+m}BHtn)]nXr(KB#6 #F>~J9!R]@:縢AqbR?r}2||U=~Ըq8LE/-hX)Qz×n،Re"|FAs4rJ֝_]Xn,XokGѬ5.j#Or/{G#Wf*@weF!mLߥ %ɧҘgivA;sXsEEgQ=VK! |2PgwIQ982/[XT|蓟Ot1xh,pys僺U~,4 :æjod U%MP.gK-<=k2ZW6x84#3JOh")&FX j[y*8h'$W5Q]چ6NڦZ.2sұ Vq=1 nˁ= [է A@;"QE!F)j<Ht,N!85M"Yb%RW8p;@pQrO-&o*x,Kq\OuUϯD%{)ai25#lu1V { ) ϼy49rQYԀO.S_A?5e%3M J{3$S]NZ &SmOԅw9FsBǃ:,_mE>kjI0zHSb;|rC{g >> nϘ~ލ\| UVunS*CJcX>sUpELnWt9]PQ+viTs,W 7! 6f; +jl=V`NaNW17^z RbfN%"0*wwޘyx54$?Dve8 ǞU  }C^YWAx&b$dQ2e"Yx`46'jHߘk$6,5` $>=85gW$j [5azm^*`ȃ p/qInU-^dSG^2"J␒0 Ss<3<'_DdI{ rv4ѧ@b́=49@ר)LÏ5#NK?HPw:0>< '"\bPZj\d}W3heH:M4}uQl7SEs5ef|b{2qe$YAkHzSBli"TgYZ885636c988017125bb822c3879c785a92dbfbe00325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569