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  H H5 $ ]] Cube:threads=2elapsed=0.319cpu=0.332gc=0.000factor=1.047zXZִF! ~I]ŗXiɟ↝ejZ]_T/KGqXD\jnώB;K^ٚ[3{GL;edF}YZ7zXZִF! K]ŗXi%;}ʹz) ;U "=EP SR_>ő_3ltZrj$fj\x26 A}iPLft# Wz4^ZG (q(XxFh@.dS{;UCrdbItv/" `N>I}m&zUG$Gvo0kHsMV.fר,n}9<T̚}4oCSj9)vʦ70vr ?"Zu56m 1gYZd5c80a2a290743d85f3aa332cecb2a23c84257cf04546e13b3ec7f70b074138ed2f4d8667390e734  CubeK%% \CubeCube.Exampledocument.tex7zXZִF! ]A-MՋhvG"uIBm5v'y(æ엯ECtx֕Pa ev^f,HHGߑm..VZ%ɝYHW*/u >JK@y.qy>PGnFϡ,-ߌo3Of<9l!JGV)/+]n m GUL"~/{W]ZYS=mY0FҾbB,ZZ Ό7HxDZx1o %ޘ4[=*Dp1js<2:%/ONndܻJ@ҟY% XYW]4@j" KԥSA?PSal;~Jz2f#uNg/Zӵ%|}ya >B>+ߚ3/^Ռ\|-?DlIT}ƖD%_ջ{+IEAXmVlU ֫B>Yvu/?YE(Q`Z,]=s b6)43|Zf8wBqyw^nzޔ \?\fc@NSTYP.h*>TLA]:Y(;PO5<:Qs.a<{)|I+ p$DƖbܫ5 };ӗQv'Dni炍VNЦqYw] zD6 J_w\ =X/W$h*gK&|wiJqt+Jw1cғ~~ړcLV7{?00:َJ_Fm2 g$J)7ueI"c]LH.ޙByMڥL%BQ υ;tJ^z&"|'ѶD{YȃxА!=1>ˤ=MÁ)+>J~GIsS,!Oy[%pN`da씷g-68lͯm<^H3<-СzƌK)d8p{Xֶ17=G[uBWId1] Mq$,QT>5kvP!BZJ1q_AKNr<<7B_ T0uY^#[7#07F*V|.Wŀ}O< &XCF\msDRͲ$=) bMK 2/XbCSQ7aMax` pO ݚ Rn869ل7<;.Y_-,H xI"gNc > C(,?3FO/EnvOǁд)xk9fк>t0 V?U@,|9>b}3tS4PAb8}@Hg&Kiaf FvT.lqĽ0l?-ؖ Kct}#ޝK[g3ȇ}x44QuUXw%uB⼔IhU$,;dh6Bn XRPʘz䉐C`L@:'&e*A>-Y̝6*T?VmǾRilń]1 wv#JNצULtiV[fWpKADϐ&T#")VJw&ڜ6//֮}4 4Ä1wU|eK|ӐcՇ` #ͨL,9$m dK/u“Rq$'"XwDU UDgiف q5"ʚrOG,2bmsd%{@j.1W->Ych.+ޜmJ=u*ޘ ]57j8y[_$c .Ә\'jQP h@ ـs{2$ex9ϐN `.ycl򈹆"| {$ NSN0JK@y.qy>PGnFϡ,-ߌo3Of<9l!JGV)/+]n m GUL"~/{W]ZYS=mY0FҾbB,ZZ Ό7HxDZx1o %ޘ4[=*Dp1js<2:%/ONndܻJ@ҟY% XYW]4@j" KԥSA?PSal;~Jz2f#uNg/Zӵ%|}ya >B>+ߚ3/^Ռ\|-?DlIT}ƖD%_ջ{+IEAXmVlU ֫B>Yvu/?YE(Q`Z,]=s b6)43|Zf8wBqyw^nzޔ \?\fc@NSTYP.h*>TLA]:Y(;PO5<:Qs.a<{)|I+ p$DƖbܫ5 };ӗQv'Dni炍VNЦqYw] zD6 J_w\ =X/W$h*gK&|wiJqt+Jw1cғ~~ړcLV7{?00:َJ_Fm2 g$J)7ueI"c]LH.ޙByMڥL%BQ υ;tJ^z&"|'ѶD{YȃxА!=1>ˤ=MÁ)+>J~GIsS,!Oy[%pN`da씷g-68lͯm<^H3<-СzƌK)d8p{Xֶ17=G[uBWId1] Mq$,QT>5kvP!BZJ1q_AKNr<<7B_ T0uY^#[7#07F*V|.Wŀ}O< &XCF\msDRͲ$=) bMK 2/XbCSQ7aMax` pO ݚ Rn869ل7<;.Y_-,H xI"gNc > C(,?3FO/EnvOǁд)xk9fк>t0 V?U@,|9>b}3tS4PAb8}@Hg&Kiaf FvT.lqĽ0l?-ؖ Kct}#ޝK[g3ȇ}x44QuUXw%uB⼔IhU$,;dh6Bn XRPʘz䉐C`L@:'&e*A>-Y̝6*T?VmǾRilń]1 wv#JNצULtiV[fWpKADϐ&T#")VJw&ڜ6//֮}4 4Ä1wU|eK|ӐcՇ` #ͨL,9$m dK/u“Rq$'"XwDU UDgiف q5"ʚrOG,2bmsd%{@j.1W->Ych.+ޜmJ=u*ޘ ]57j8y[_$c .Ә\'jQP h@ ـs{2$ex9ϐN `.ycl򈹆"| {$ NSN0V25z uWV:_:`ifMx'9"Y=2-U;:^)Ǥ_")2Vfch#2ޡt i'2*QK@P59FT;Xi\ /]̖%%W 9h3 S(cuH/5(Mfg.n@ju͠&=P>s Ɋ-/E=l,,e$ F&esӉF'~e(֊Ҧ*lG(Ӏ1ʘ$ eQY2A[ ̣t!?횤x:)j2y{V]vfdY)Uϊ͟ D}:osdAc~6./l貶(D+j̫[ROtM>,(ۼl1__,hVgtpadlޙZ I&K0#.aBj+Y,e~ƊUW-Bx^.# 0J6#n3:<=ɖ&*tdS@ }20_~jSK/|]ȚqnOӇQ,zWJ+Y؝ %?-]K2jAV9>ZDPo!J fpT[93"N(_FL1iKെ=UNjiAAb:x~WLOGOD$Vu M?q/%xAuVl3g 7L|hyvn%rFud"1۩ۺ]5AF2 C}ӱkυD\OIrxld&b1Ү|t3sZf-l"Ve|saҥSuw(r>%[\WI dX;+\PUAB%BQ#)_ЌEYn \YC`T&UZ!(Bb/ )XkOjFr{--e涯ِgYVN@Ns>̋UߥAY5v{JT1p 7O[x4NF/0-7v48='nS^OfF.]9t9.x%"ƺHhj-ԖEԮ8L懂ɈnǕ̬aEK\Ê2} qX .eY`[MDmvisIvI#ź$: jo:6N|,+r{VoCGf&2j~#4..HC℅/$85腠L)1i "@Rz<@HG7t̞j9iqp#e."H$qg%OW!"ܧ