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  T T)  ]] Cube:threads=2elapsed=0.317cpu=0.328gc=0.000factor=1.047zXZִF! ~H]ŗXiɟ↝ejZ]_T/a̢!tΣ6aZIV>{Plɧ_j_UA+(d%w}YZ7zXZִF! D]ŗXi%;=vUl[7i@2LzŃdU\5ey9yW(ً{r#p{hb( {Q݁K Xos7G꜀ԇ/wzxC e=%ߣŬªNzJ( sJ /΍ާ&Si pI[{Et|-Z3b8QHYQ` EGu5aRvb|lTlJ`rzk J+v mUFMFi6ވ@"RO./` +3 MˋgȪ[rM>p ɴ gYZd5c80a2a290743d85f3aa332cecb2a23c84257cf80336e722f2282f0e73859bdb2bc1deeb5e20e13  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!"ܧ