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 &-d, ]S Density_Compiler:threads=2elapsed=101.788cpu=187.340gc=4.504factor=1.847zXZִF! gi]ŗXf1-/6vRZ _j 🁳68d0 Xϫ wߏ93pbϢnV7>o5(ʋYWQ5?m2Lw'?,(<+ G/J~ՠk9%Y*=ۗTCrdb@XZ蓖 dewD|=EIB|Jt?GxC-z>hi k%h?W՘dd) ~QmVOkQ\[P7&}\#*mw5EX\TuƱ2eX}0湠>Yyjo - Density_Compiler1䰳})DUی ,v:svo:M0Vjؙ#߿7u3эMyFsh,=ɗ+:VXD*GH{r+7nx.-WZʤ{}S&:`QVd $H2ajpn᳆)7JC,L#vTO^c驠GͰt"VajI]G.TAϊ yEFTxI#0>s#IRtdMT8=gFh, &ȝd-ve7nqu:Qw-skaM9cAf% lHnԼBceRheRdll>q  H`'\:9,JqӄfMţ@)1$&@KS C%o}Cג3W0& ,MMjV`1r?$hAy. ɐ0|jq󨴭^(73^MMi(iDUf2-rYd$ wI£5{ *,EE`F9u ?sh}6QuMRG}EPW#_\b+i}oq2FA!+^FRj ڝ6+wmd鹟?؂8 }4(=ֹHG a,)$7r[S fW7TA NF 8@$]c17S`u]‡.F̿EUj*jAc-{2|uBr\WmqEw}>B+H#\eF`b`#)S (NgB^[ rOM8j B6 ݿH\LiX֖O;Lx\$`kQk\Qf(6ئNe?v͎=0rTL=2΄N6ujf@V{ E uc6NejmI<-3=y)ox䱬5wDrK+P,(tjoTa I> ̖*ڢNxR|]fMZLk]~Jި.1 rVkП!-I UpBc;13XF)b fM{}zZ&")WU]7ޒPچ_]}mГ4") )+\@6% ET6M'Rj@`WE೎߼51ڴόZir՚-♊^•L$gYZ7zXZִF! ]ŗXiɟwv "Tm#㪿gmﺯ?4`Wl~%5`b\Ȼ^w>Btx%TQnhx>L,q!k4cnN aIsZxzCJ66϶NҬwi3xjw8YV-C!;.,1rܜ;M~5 U"z$apiiT)hL1s8<~o K^`iD!,X}lmȪMF=(n" ՗~Y# ?4|cgEoor`)JEÅI#^n#F:#=c"-h( sj,zPJNnu\nRA02Riz&ޘ9 w5i0B.ֶ3 ޙڜsKq*pA& [UR` 0{$Y#mLeQK_bR4\G6Y2NaG ]6->\4Wߠ/|Wgi_h[hD3mo`R,g4x:BUOZ>s! kiC)#݄։ⷲf(p-ALMqhà /͉[ڠ[q=K0 uU*I&߆0ʓTthNN:jDK픓u9FE$[m xBz~~O׵KW؞>6HR͎+[O5&MYC9ffYI]CH +q9t$]4br\aTP%_Κ? JsAYJNG;|!;QٍI:TX:~'2n]Xy6a/ Ttuh9%瘉WX"-MPX̝$ǔ$1Oe Μ4FZԺ5|2Ei& F8rl0eT x_>m9ˊSP&8ycg%.6¸Xҭ1A@ h#wV 1rLW9Az| Jp#W͠9~pVQpGyAɪ&YX7V +5I#AFPlK(3B )UHɟr/5KSYMhkkE`#9՚շ.Rwд+"<2E4KE:a3Mu(iHE],b@>rvo,:4|x1S ݧΣ F`m{95ENh4|XہF{k,D'$qFh-+yLyٝM>Yu@qޫ c% F hWK;|κ5 b}@~Cyl蟦Ii[rcu *$`|;>B;o{UH7,&"h0oӛ2MO-"|LQQ릡"RCS{YCd ʧ.Y(WϑE`ou8s/5?^dfp>zoZdL,ƐOhnC[ḛX4#]1:fhOCp'@g/ }ދ7|ԫ2|Jtu(jӜM=A4\D6bhWs#\/V{s^T{D~_KoV+ΥGuԄhD|zFnb^'64aJWm־LQӞatjH'#Of4"1*$'Ȝ^PZ~w{ĬppƘ?}7Z,1$JɆmFqTQ󛹭8jIxy>T$#Tkmg[}jYfݞ>E 78U$PQOT'aqK8!L~tށر$zzFz%ŧh4բQM[w`aQGBy/>bʁkB Է}B4i@_:7 Z/E5 jZo]),ZC v iF |~7/^ƆsǬYևEɭPB9~9.0S|t>S/.YP[=3b$^YKO8"0exLR{D n+` 7"x֑ ȼWT\?_^1ь?~WrX[D^,,eb 4!]G,2ieXf2gv$,fTNɮjOKi`l T|0an_(oatq odπžx&8n'oDy ¥0=T᭸s~0WPB4w ll5'!*+|+KU"*F쇕l06`;ߚ0ɯ#l0-杊d'p'6 $MPCV^R JlW F2ɝSQ>f[ ^Gr JKN8 d29|v[0ѷ?}w풿"c |<&}+4YXa ]*Ox~ f6W' ZVw65κJbuMP|*M5!ۜjb &f^ 6 H@TۤZL*֝ϳ*}0,Hkl!PސZR8>)7$Cuw:mXYg\)aY]DSGq_H]bm V?) ʚ񐊝dI~ <7/PJ[&^\-vug@YzٺEwTRДvV٩+axcu9^,Dm- imeͯO-OArD>y!ӯ_C(s64^*| EWKL#T3YkS[d}(#%[f-~.I]/ K&6a8ʮjh d)G<; ,to`j`Qhw$zfn %(-]K45cc@6>j|sv*ٺl3GrZ) 鮷+(IjfUq`9a"Y@-?tKM>K L,(fY8/12{o]Db|WyVHuSϭЄ-`2 Ad{Ȕ0 T:-pBB2ܬ+k}=L#y\OJ.^Ԃ:|͒J4ȨipG[=7`UKqYb_b%g4԰(Q2}0H;ĆҨ#Ⱦ [BduwhF9S,-{Y<̮z1g_M-ģMX?ydrOHUykLyx)]Z+,T:+< xPeˇDmDB=^*qцOBb* qI*j|_ZŞ8socpE7uS=(%?LQE KYkkɎi}}yR3]Ov: 2)_y9J 5l> L^zbq3;yfMoIP=ٺGhC+Ser0NW1o[S@,-kx8Z;YpEǚ֮^,4zn=N(V:*ח̠`_̼^.JF@X/[3ﹶG+HgYZ3612bb49d09c84f641721ab82af66291220b70598ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef 058f9ae2f545853b9ac66d3443f26d23073423d9