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 .!tx_f|$DhdʯGFn|3XVE`FO%\ddO>pka_ *y&׿3/鶮$={DBZc Z^rV{@;]X-$I C:d7ȧZRc(`_[d[@p+RJ9:ӈ.fYE @e֒9EAOM0t&, q,?&tE5'qGX ~@sx^bGajp~ElM+ 0}F:kf7O:~tIה*ufdCn< u cHL&Doզv=I ݊2 Zk▛Z;~0Stl8=Uir5d{{c81K%* \<_#C+xBx;M%o6irvj^"/AQX/suF V`6P(/Ҿ#⣢FWz_fL72뉾w#O%D,zݡӅj'x:Ωb?0o>rgɊoY7&tS@PC+u[VZHxU7Ӝޠ:f|2<-1:8VhzГN xIoIBʇ{W"s- vѩ׌ $UݚFm$)oSDeyrDAce$@n%vSdzV.u,/Qz2pW7#ܿ=3~yյ1+]T1ֹyiq'mXF%iwŗz^0X1[?!9QVGghjMwei={!oH,@^CWfsD(mGGŁ@}vCa&9Ɨ*ݔ?Vh}]y];>J:~]b\vz@``*`^l|gz`[xStSrՃN)Y|HAO _e)hS/ܑԙZ20BG0d0yZ-FɄ_o[ t;AZtkC1CQUp yn`9Oaw&lf KeHgqfMkgz"A9kk%sOZg܇sXG0KRs@ 5}]DϯZ] V G`:gJ-}zT')P^WĄ=Lq#kז4jږ C_$&T4~Dƀʲqt$l`pj4YY⪙Y4F\qN["O@+o?~?BX^1(6ϻ?BI9|Ak֌q gYZ7zXZִF! ]ŗXiɟ؀#!x_d(ƌVj}Bɻf!C4Pxg-i*h>;[]9i#.ah5m,ͦ(1 i.`(oMHn:bq,XTw`^l 5dP0 Ǔk٘9i&8T4\.ns0_seܦCG_rdh56"EҵK%쨠ުYb\-1ogYZ7zXZִF! x]ŗXi%Eb⬖78u\5Vu(qv"7&zkb z4;d9xɿ>`=:Mai$/ C~GAzUlb1$ #U5I2 C׵3([*Gihyi;\__?\ErJ H@Z2MvcEWHJ2[?l<ǜޗ-upY$hI=d&'*_ZbVpW m>v"7K X?/syXV,GwuPN? hIjq`ggo-NGD*^cuؾǠaG%W+oţ&Lk󅷼vfpH(ȩhs;b'%.3y~]rW4tR( >L.Ac>3mx R86P} 'ةZ%V^lш b-{\ƹYrq+8*‹la1yĸ  ! LambdaAuth  0$p9'eW3Ea2K/8qv'$`zښlYq",~GDž_-CPK_ˬ,UPG\ˇ]s.]$^, /"!S/bNvusFd)}NA!3݌☏kgNuԶ49*_xK`mʍ &{<4|Nl~k-/Dxy1S'ˏL[Td=ZeWʣ0D:"i 6hr@{I"!4f{]DnG~߱M[&`cPzO9ZF&𤿿%.d1uB 244RZ7ďKB5yҡ6$3@W<D+UKBwQuVZM{վ){mNӬY*zܐiRbPld4.7]0?G^^4~B^2/`}w1|9߯Tt͌!=7wYֻ)mQkWl-%cVWuBR8&0s2 +*B0b5>gʤ˓f7 ;kI!ɻ6 l'[1T΀L(i+9eXc>'X7.R uHiJP%.3@uA_$gdQ{z:ݜ(Т.+ Cg"Wh)Z GkF)gR2!Aoޚ%- @m"${ڌ/!)zVu;}a\HL\%+@P|~YHgH<|:X)4מT({J'ݹR$V#Y6ؖNK)RAɱ `B΋>PDF=l}(D0έum9wu R gAI<'\ :?9>ԪK>ׄԚik{0yKVD7w=b#4ک+W3~`MxaƜi7ʠgE#{3bnL3,&4Eڧ2eM9lStj*&%Su' c"tvVPj|P6Qy:DZM^:"+ 4l `ƶ;V>rpp|KjH[tGfВt\RχIMIuvPϐX0gl(De!C)D1m2E!I5X\˙*M{ι1UKmK{VQU8:hZ|B&] j[]S F*t+jO8 '0;Jܸՠ/6@l|¾Hn#mN}}< +V2ac{"~~?NgԷ#LȁE ~+@k i=G)"{6TDK])5 -t Gy3M*Y JU]g9gUϘv س@30(rɿ@ynڜ[ğ^U=cfjӎaIXF4PsRsݰ񑰔Yϐ?r.X6) n%[N\z޿3px(޺*Bi 2 >iL<ęسfRCGeS MꇮwҋvM##j*[puҦUź:yiP⸪gwٛlՏxSj8xz/Ƶ;c*Ւ!>e5͛G'"Ռ?I 6ȉ_Ր_h=ѧ'Ll kV ;Ie[r{)GئJN-Z̒O*ީBP ۡ8R{P`&'F3C:@_v |dAgo^߶NsQ BSift!xʼAcm 6Ćt8 |EZcS쟰߼A=5@Lj;j͔Ck:uxpO&k+G, fϐsMC<-bꐋ\$Vt(s0*Ff 3`.dzB@+_/e7E)vr9KQ6/XSQ3F]lrc[@oNNp>!T jts̾@82%<,& AUEցղ)?)KB,M^^G BDt5:iínw1/«Iq616`x-A O.5Cɭ2@#2ByK9k/Z;J @KUd^K#*^?ڠjЪr 9_"o[#ȑY6&䷩'ti7c-R[\XV~6Е }w nYכJWwIDi6B[OdK2YZBpZF9yv6 _{`uzNcC ǎQȭDZ )~О༔l3dbH9R~acc1JP'ozYM>pq9{ȚJ v@Id:Ԉ_'̦}4lL) \FD!T!CBag_ܡkW1JvajQr?RΙ@UJ* !lgkG,~!3Vmq'WV},Υ=F]#ܿO4U"zE5AKȽYimh91w%,#KL N~$dzKdK[f=Tt?vru%9?['