SQLite format 3@ .0:  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   4 ] SuperCalc:threads=4elapsed=29.594cpu=93.632gc=3.704factor=3.167zXZִF! +]ŗXf[&S ӟOx'Љ/~xS}%v3jnMZwι ?^4oouwדY`>d"'3@gs0#ՉW+_HIB%\#Jp1mSHzPR3&'xշrVyX^NEaJ<'hcn7 ثD- j)(_j⋂ ɰexl)9 hB(6۲ ~x|І@U[O$iɡ"R{UAn$ c4eB_f*4Lᔣ%{" Inl$TY$|}hd* '؛$kڎs(Qeķ%C`@\.2,7ąDics~2_i@1DDU&J6 ?{Ʃ-eE LMUBI]a3lۻ|+s/_sdYxೣy#W 5l(CW6^:ִ)g;r5 6n"u~}zvo*URe ͠]_F`UBZT%N2u=B**ђR& F   SuperCalc  _!PD(͚(zp2X~ţzCks~f@yhs8(suÙWḁz}QS] G b did3ͪş`X҅ 3[`7cF]Yuivr~R5TDfF_k9n?l.4*pm\/t{A}mzaNaܭaY"@2tv%tƙSăm4Cв8MDIBHtj nQ!#^5ůj{Ӎr M]$yj2OOI8>u;F9\="Ċ5vW1eHYj"uiV*V=Ѹ>4-WY#f6~2֯Hm-=C\go̧Yh u?H/eUw$Ck⠱gYZ7zXZִF! X ]ŗXi%Gf[4<}62,哷&HRdNck7cow-Ea܃Ow`bFdm*2 C-4F*5=זHMn^o 9mZ5f1Q#ak.yqg".5u͎kwXkd*N噥KꖶvxTq1T>R؝1 'y/$iNEW[,wAZPbIħ{+GǬnp?s^QKm/91 Dz˟\ԺWd` _n+O ՑN_s;M;hFx gف8d䰕@6ⱵaVX|C>Ӗ[zqZ%oz:`gJI&V8|kCgXDݫA9iwCuAywI4$Yw[eDz'2sEim>8mZ;KV 5?oeD@kJB9]R.kKdR ,&owVdM$.ȭtwfl5d*ͶjbEB)UYU0oJ.TyщkEՏC~f *i4 '-C%&aw\hրwff:T4!Rƽ:KݢݤLMbf=;`r$V:vN[Qnu$"RCܗəroY0E7@:[%]Y^aTm+?*p2a\ \s LnD-(׮10&@( ; WISxF iC)ǼA$pሹhlB QXS-DZ@ƳAy':쮷iR Ysўz)\Eh-j$U-mD~* % 7YoyaK|H82],qz)r$`YHZ+60 ijbp#,,d%κKtIb{t^48a/Q7Y"kHPdKp4DMĿkzt, /aMy\Ш ]xLVw70|Xn %ˤqK7 BKRL$1IXQjڥ6.CS!mL̙chvg/JwjN>/{p^{o3+!Yvg3 `? ""0L6zFQyPoI.#[1]BLkK gQPjo{ n$|-]NS3ǵdFme@/{?ψʘ^9/JKBUm C yG܋wl B]dؒ0 sq21H< J1;*%_?-֤'2Ao4hƒ95!.Ԁv.16vt W1w-XFH[z#"jH]N['d{') .Ll~x`zsMCM" NwwPHBVe@ 0Xj 4?z3p"k ạRj,C+ZiG';)h44ċS0wv|[n s.ȏBp`62n~0Wp /Mڠl(a.+C;)%Y&cY"iÄ}eo$|Ave4r|6#O1HcV#ؙ$#C!6Y#GIuo/z]kAr玗+5}ۗ}zjy7 6 )T=rg!VEoIݱj\HB~*EgdKңՐi4 cW5f w~ï& hЌ!T>2]ʧ;UY}=X"ņ|p;+i&d~[V:EleܱjWWtQXOb)K'2ҌR;SYbvǺMixy1ceӼGqYzEظ][{ǽ33h kcygUn| Q&>y&:({ʇ7⬐9#'Uƌ x?iSaȕ(7sAuYA,nˀGyo [\ڷ.%-&6چ%M:)!mD2Cg1 0e;&+-)$eVSpd0\؝NX#=#t7,W#v*0'5d4SMV% ,Lktu`|X5x?obNYKY}xYn7!BPaE:êhV8ٞ[gYZ06b1a841d6489bfb0a4b961f97ba28dc18f2d4451795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46