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 ss,D ]/ AWN:threads=2elapsed=81.510cpu=148.080gc=6.892factor=1.827zXZִF! 5]ŗXf1-/6vRZ\fVHA"\sd` q2;wB*Ki^4'EVs` m8ON3VzWVBB( 3EbQAk.!G-Qc5qg~۩3BW9E$Ko2?;2͏$ߙ`E" ]hجR肇N/1c_KlO駻cc( A$0^Ul8O5 o ߗ1XHg3r%!zzuIH)cS {ؤt[4TfἉx! Y[/B s}vŃ3t(s-sUoG[ar\~`(|l&HFJ{<c H[KjZhKő$QOz sf"=]!wQ?s5(R~yp$,GO%Ap﻽U0+f^1-%xm*Qd$4w܁RƛSBg3i`$KT"ݤ7&O|Jtoӣr8i]CJFTU.g9i'$I=.o-93!y^,Ư-eUesV 6O qj:.pA|_.¤uu=~ZV=b4kcji+DC[aI/_,Hp{Jc˙U>+X3U 6à> G 9`g]x(j`t7^J\Mt^ˬapznL3R*AԝFЩZV#gWWq Fcn^-B^AVM?ÚO" k29|gYZ7zXZִF! ]ŗXiɟz5I~k y"s25Hl!{s;6A e8,ü黗)w!ёal떿Qk۟ үx55 k'`` P'L;ټdk ϢkX\Ӱwakd<Z,69vc3[#0y1M$|3P ܢahxѥJ9}>& ]mյSgYZ7zXZִF! o]ŗXi%ݠ2^̪߳-?fIS.Jr!NTۈ_)t *81,zӀZ;WG s\gqdZ2W+'C@ݫbAl8F"׈,opCm9g(K*jbUF:W$y}moٿƕm󂪦kWYD uJ|U_sI:2izOU }KiH4NR|x6TuNirR|B29-S5:!/Ymeѓ -/>΁2)%y u _RL`,0TC.e Ar ?uwm!2Q}QGVV mQކ} 'x N}ВSmcrsN6鲊Mt>tP'~_3Z$ ~d1ː4ŔK!;%=<|(GnAe~l|c6!nՎNht=@tϫC#K;f#5w2Jprhhonڒ&'lMgOZ'cYnAS&y"}Ҙ/PH9p$u `}7хgO-[e]?0<4ApYȭu2k6“H_Y)([nkNɟf1e2=m\,!,zC195i0{bfMt N{$XlgjCшkY$I?ӟbd( ,qTC{1ۅb+Xy[=[0[o(Ÿؘ!;5?qͽ2/Hר::  AWNxURj%tT7k\mU>gd3k3768p=%kRuܰ RdBF'kJ]Dl(\#(d6FngF"Jb Q1[k /W-# S39$%:eaˌh ]B5Z"L:vbfhuS@̢OC+frrCeo00_!` 9ElݜqC[CЦ>xaKe՟ 8me4bGkż7@6tH>Do*S3xoeCep yۄ=,L10ESj\C +g[=P¤@bsJBH4t/iy|ߧ8U}STT/A7k[մvz,:tmu1m..[n-TQd$ Vr*K:1 *>ޕW[uz8 _bgߠv.7kNXk-Lomzu{vBRGGȠKu<(wz$ILᔕJ z>{R5@t%6PBGNi_ILz5ѦVď$yC'pBapAKV 4퓶B]UfjmB҂G~3_)"ԋY"sLvwM= Mox3\ت9ҕzx3R,%ڈW%@K֟HITQ4ՠ#<@6| l~ЉmTRǃ-8D&iUJtr5qmV"`%6=8&Ek?GrugRa_bkgL4ڎ]9/-Y>2:VvoGB"pNW7#KYo.`A`q H#y%C Ux&tPEsuhSc;#&ZԌ YColu;hbP`.1,DvK }0 H}*3. 7b䵪Nu p̧$5}}}PR<"ey:PtYH 2'D*7.z2;A0)s/V齇HPc?]EW ^PNv)cKõ G;1FIH4ƇSh"}mG'^M,ahw]pO4'=`w_W=GJGYCO7~ƌcz;N?$!Wh^+,14cVZIIQm&w)eΒ(! &j u>6M$ ~cr䣐S.\`6UʰbY*V#D^ 3:m+Oن]c;J?S fܪ0ݺ\6Mo8\f-:=#Y>pS[Ȣ3_tE&u^[v$OdFiC9K_`3aT# ߤ Apyg -7"ֻ(87ÉIť`6i_{ʟ8?aUH ◣1Y~!!H9$*]Zo[UKt@!-,ڶd9xX]_gRN ~ _~r<0X]C(hUmٖ; I#biJ).ʜ dZ&ڷ?8CDdIU7r:vb ΏZfagM_d=ͯ|2%\9*z5zKPn:Z]0,6}9p.*MݙVێ➬vYɥ[bu%U:.zo,$S`@̎ʄY&/4fz bԛCX6ے8ܧwk6<pbX1t> AP/ #h>#S,|,vﳓԦg&0sqP{^ҦԿ gG$. >6=,m\:伿,>#m| ~l wT׆ Vv|qiȋ칿_|.Zxr&'(@ I)ʽyI&M Ȫ&Ze}AxrFSRTBU(_?; &;ILZDM43T^|6UQ fUꡣY=ŇFcKjk0;_7v6 U]ܞJV)*X.s{1у5Lj}A ̱l@f,4:&GgYZ491932a41ac4a221b36a6c844b5bf567feecf60600b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02