SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 E1 ] HOL-Imperative_HOL:threads=6elapsed=36.666cpu=69.244gc=2.048factor=1.897zXZִF! .<}]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi}%]b'3Ƽ i]ֿ0{P@C4'sra~o&#•Pvy7?G[cgTbs`w'ӳ2v&z( PtjAӈtgҝp1)k"Bʔ[n+涨8' Q1gp:JS$c&NTU Ki? k`N.HXu+7Zt^DIMͼX^ O_2ө< 1 HOL-Imperative_HOL  vsk|yqB@ #5NmB݀_ho.w4>^ku˂yn$RL45>0'+JIuј'Y_@LYڶBq/ Oٓ;Û@6BMSфW,|L5lw7i;W\b ,M^=o_fN#NauTg7@ BG3cp:SőV20:wc@$S#!Vy3h:M5fm-=X&m)O[g#d ؑhMW#r*K 1Fu7qhS`p9CumTixzPEށ-IwlMuTD?K2h@I$95/}|gͅbH4:֛6d" Ʒ^#>vR$\BPTy}i>BfXx^`gfH>h]:o˖E)-ae6lU L@X(6Wm%!0GuCoxPdP>DEzv6v(vdToʍ)NI$;[C e$Qf93RW)أXAN-B-K 4e8;iL"&:93>4#%|<^o"-\0 B T]З$S,m=/$8OfXS[*X:BM8F,$|N AsU·K~ \~gYZ7zXZִF! ?]ŗXiɟ1nhЦx"n_8N]( eOtd=;BrASg%H l O-&k1G_Lx0 u* s t}rdq]o\&ON}:"!6DŽ_30eؒRc 7J9^hU\wlASSn]$SdE'-00řFҶ>΢+}@dOxngFH0>9soS}. gq!fꝖT zsgYZ7zXZִF! ೇ]ŗXi%@^"b5U(KCް aqU*d4J_zdpG1fa11wm68]Ny"4)Q"-Jkލya ?< e3$APtv#*tavɒ ^>?*ĺQ+i6zC7AHU"iCO۔N`2I\w?<8PtiOAN>.՘!IA A`u^Zp0+ٗP aj)ʍ)Z;5+kp1Q\O:-XIM[O/ R3SRrۦҐo5W^4&46䖗=Q`2 Xќ/4?ŋe?A[)CP>d5&Pi'.uG4$ Le?O&WX/_ES2IS5EM8 7 @ꕓlru/ۦ~ gtFgw񽬗ӵJ3"zVϘPʼnx_6&O1]كkƩE_y jMI:bY:J["=J Sfzi㴗+2ii\M̡C|2τ0a 3XMBY4|'N=5/.`d; ԋQ]n&EϺ9W ]0)J8('>NL߲1>⓳:OIzky+xXR} Fjb6\@}&,Ue* s6B.2U.v["K̺7zH^Y 5/.OݷE辺]\&'Kۀe l?# OE Ɯ5_ lU$CA%{^i؛ R~ P+dK;w]XEΌ4e;)8jny9-܅6otKrs.z¶Jqځ)˽.d9  +LP5V*ہ}#Br[D+o&'H.a+c[.0ˑz m2E;v7y[W+>Iv"<``"8xkkK=\Ղ`둕>vyﱧZZ뇖oh+2BpmUnϣ3t~=ٟbYGej;XIcG~L!s*CύF׊̱[gkK:Nt/';A5*A:}B9CqxtcyX޳#j×/mc]N-\z|^,K~$i tqm5bώ@e'RJ;*E80;L3h9yML29M$;^̋: 39znڢQcLщ(4m {: ^ʻ=H6nG&X`2;@kpSҵMvqZ'%|$/W$pLlI tgrD!5xm GM:<,h;ܝj!MHjK|?a QG}qt D1(!I߆uΞr!tKKxs}P} 1>/qi>%:=hL}#K@'ry Do3XExDO)۵9ftZ}T5QV=