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 wt\T ] BDD:threads=2elapsed=80.520cpu=143.656gc=3.056factor=1.787zXZִF! D4]ŗXf1-/6vRZj3ZX7f\{4= l딳@-0:%>WahHfmg9D Bɋ ws/CK{;*e#w]>t(2- [Ӣd3iR`JYKwzyk.c܂v_V@!ʭ'?LOU=9ܥ_g:&@儇=lyy eR3ӤA/އJMYJso+%({rT B?9u5WE=Q*P?oasp/D,6Yh=l(u>Ö^%pR[FZC/9ꦙ)R~qi[&!pl|[wS ZGB_@&A-7@SŨw߁NTIfmjS&VI%(e ZPә9 bg#j#Ii9B3ݳb.65nF!# mxR+}wA݌HO%a#H+KEw ֫lt׼J*rR{W>%细yoF>n =4ƅ{ x06 |s>~L(º00֓Ƙ^n)ZO3{#ribSrp\t_:l4PI6M;@0vV ?x`V%@yCQ׹*͑~ê4,A^^+u(]T Wo;!7dlXp~  R!4Y1z {q@)Y"VTC?6|G_1NhiP$)YxVx[A,Us|f}Md j0)KюR'XL־4oйHePc 8~kcN6Gvϟh#F G ~pc\MM[b+ Sc΂ =qH|Nޝg?SRQN\'9*\n01ݑ )ͦ`@ہc+"YWs<9y_7v:&WYɪbR3 Ehgzd L93dߞP3" 9p]Evײ٦mlQFY"}V4L|ݻڧK{5BLЋ䓱ރMPf*İVA9l%~Xq HQ {lﲄ%!9FYSH+$/7&)8XcZfh36j_ E&/%Rt>9Bkӧg*T(ؽ5er ĕAѯiJyJfQi;rr_GF7O~P(S/b ;&ꠂ\޿) ȉTPgYZ7zXZִF! u]ŗXiɟיvL6 SczP6k}[%vk2EzJKy~CI⪰$MFɞܠJD#r#BvD4 M?KZHbG&;඙XtF29?OαT7- @o+j/5p4x_% -O Sxq|=^x-ʋ]b0˲tEJg}ȱgYZ7zXZִF! ᜽$]ŗXi%>gDxVAr,[4B5 QVURD9SDxlz|M_O ّᕶF^*Lk}>z:dr-\ G4F8'=`G@d62I^(+ PY,]Ɋ:poy;} AM_=nJ'.ڲa^JC)VѸZU|Q*P ԖM W5Sv P4XkOL"=GE?m[KX/e? Cu{.68-݃pFmqc `RQkS*\~^ S(Mlq9X]+M"ؼϡ)p>!t+U]Z6 ]6#jy|W'$/!E"Jjk |9"EqHԺ_oC= no_%;Oډ=>9$45NyU eJ]G+R⩒PC:9tѻ;N$@9brjY'fR,("ݟb[TQx@٧g~GDˈ eDUnIXO )T膸-32 :PYMn'k+}||BPQ*D` Dz*uY]iK_DڐNNs3h~&U*EqbӾğA1ڪ@gK,X+|>/{[boVTAX#{ZXy͡\zN)G UCq$L?yB NoP QJP'Tïqڤ>BoDiǫFNR6O%Hr9_^ݼm>:eSۍI4&A>s V:ʂe،dxͬ{%SnZ$ѿg5 t2p8ˈ\(w,38PKF#AŽvj9ηP`0ZRz#rU-%믴_7PG~ 3{䝘$J5E3U2ăStKPHګx߷9J{/ĥ%&">== 14B|!N%rzak9 ɹrȠї."xVB$%fmf9wW~_ l% j-?(_*쥑;iIe\C9Y1-(@S:EO_zRLB/;@ !)ꜵo#\"g`՝,, pLu w0A*M8|IY~u5T<9XQ>4&_sm ^Θ ɕ\|.Ე NƓe5{0qO= cLl?N?{{]J[@B/\ /ۜD-$ EǮ,6_Qٱ0BAr|(1ⴭ8ƯY*7wKNJiqM[ \5-ʜI Atg: A>ݪoRm%GܳȻn9LjWt(GA0K,OeD.fĮZvi+@v?^QhGT6ɍ"mXdVd&on5xi2 ëefJa,|OUȸ:B/e4:+蓵p @FEF5lwġRV^!,z0 caz%$QFoA>&y>7)q/DKuJ8no-sz,Rk ;XYy>P?ڜ{SSn" 7g"0!XDatqEdBM1SO6ڒ]ϑ@0;Kr>1/(|ʰEEjYrE~dvAiC4}%M40d3. B 3DHft¶KLݪ $kuUg"'o}qgvqX} qъIbin3<`uusbe@$QڝiBx&ׁ*OPv)CPT">\2Z9n e\Щ bTukXU *2Xyμi)mčХEvM@G&-`pwx,-qR:(;+wͯ_ށJLo hۀFr_vI({.潁A~z{B#1~:ejZm֏=3B[ <`Q!xagJ<稉2xPJ+4qjc%'Qr昵tfT}I1P҄s#OТ]jm3>r ӹs?&uȁNk'#v j|Y f@Yq{h061),M×#Ś\m1KL+dN??xJ3J >hڎKDFإon\~’gYQ>B u)]2UlS;G7r{%n|u/M#Mc¶+EHӬ}D:9uۏ5t[PISA}w_5>㮝I IʱnW}z~޼yCj(tΝ}Sv8LSd+ߠ.S׻JE/$6 R..ȶ]'mY\;fO~b(n}$gYZ7a77a24d864797acb74e3a9df4d042d2ae260736767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 dd93ab089517d6daddbf0babbc039c8a1f4de680