SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  1 1D l4 ] SuperCalc:threads=4elapsed=27.990cpu=91.056gc=3.724factor=3.257zXZִF! +yo]ŗXf[&S ӟOx'Љ/~xS}%v3jnMZwι ?^4o[ƟƩN.R͂^A|(em~=Y_ۊ."vN*!kńǬ 嗡yXk&Ksh| MC&` b* ݕ)0GtHc`۲MӨs#b}v%b ,L:g MS-j--Sl;@O&e:azOwsz<>$gZ?h*._LB؞- 1?Z6M##402NOpxޗ#Ĺ*'֚ `}{qbQn<~Q#J޵~jug$WG~jK8*JdprFc%=H6蜤w˂]" s,YX(4FſdFqTI@䵞   SuperCalc  7ofLѡ8n%es/ٚ0+ySrxkt(`3Jgt!~(T/߳HC|/NVX#rj~5U{Cm CjEê&" (u16%;lB] q1V=߼rsn3~h1nVFEkI&9FmKS<67Wx2ab2U)L{DgHB`b[{nTw ޴*JߺW5\4ibQͽ: {5uT(*OPY M@W3|6Ep*.ĹcG!b`(J{|AV2>J>-U|y$[HW[ϒGQ$'$Mc.,-ٵCOǫ8>9W7Z,.i W&z]bşĀH^kmb[Qͼ6=B +-( Zr jR %'ۅ ;7*]CA/8x+ Ϥ Vv;gYZ7zXZִF! ]ŗXiɟ}Ɓe6nVU$vJHt1kA >h-]A<*C~bœw،y-LOҫu+xP2ttn#H\G |m{Jlg 0TJ!uV)D9U-h:z*y_!Y-&5.!)$5E3ܘPf潾CAn\Ri'. '7}bG}O$OI9Z宇6 ~ɣ{T>;6gF|^g̒t-:OK: \X`W3'?=L@^{x*]֯P = o*Ͷ\Ia9lP錳)SZ-RڕZ9KTλo f)I1h-6`#Bu J':0 nSuCPh 9(4>o#OD>~SU'P &6*kg;&CJjm7ڞӔK mTj|Q…?u;Sqr؈fчY`jϖޭ"cO bE,l;sNޞaԟw"Py`L[n`,ܪ{F-n{M:\`o/k=|bz ' јYh z9`ZW\<n^N`g1L3UG:h TÞ`F}1#DIw̞rdq 0y8LN;ls 澊)c("?CUMȌ{)^s nIX߳B(Ǚq)=8*`~gv%*1rX軪v|iqF=&0ހVP|M7ϫ yLCP<`Zveփ$s,g $y]fձ0'k/N,l^܃Y+{DFG+d. FvMWooGK?[(QskUH!27^omzx38_lBZ"\u  gg?$E^0kd)Zl9C?gzm1B܁ \dXBeLQ=Ճ1\"8wH;چ5m*i9ayv;{DCuV@4Gsyv R4 G{p]Yw)^V{%eҟ#)NOq'nw13!nmZ`q ^bl}[gV\;FOtk.V>DsFM--n/i#A\C(hkNYr5D92p*Mq,0C0WBH1'x9hwzq x#U 񇬢 _ſakn*,SHafFa*s(&բ{R U[ght1珹? ɕ ?ٿ)e.x _\0t7DntLAEf%X*VODmXPm@%T3 ۲D&#.-X]эOp^tI_<8=4|eTQ]>Gjy}:ڕV#˒p/N