SQLite format 3@ . BBh77otableisabelle_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  fd|L ]I Gabow_SCC:threads=2elapsed=130.092cpu=240.288gc=8.932factor=1.857zXZִF! Jt]ŗXf1-/6vRZV2OHP"yZz%}<4hw,\~#?ǘ&LO X`-D9F%m-\AvVJj&v $Huks.'<5l,9p,"y-!SYt Adq*._e{$$.ܿz:qLY ]zԴ`hs72jD5xB`|0mK=P%;b#I,=[+@G2Jp a!mt_TtmpƟ VOnyWO"׹O=*h  JwR)܀RF6& i0rB:ZVDHJ!X{Au9$z5`@/n8~jpv[ <l$o)- 3MȰ66CIC]3ZeަҎVZVm ͱ4$3U.^^   Gabow_SCC@n, OKnœj*\LO;3\&|qeD XIdhb\< ؑ)/Zj\==a e hr4+Rtj&(<`/t$-,_!y1}>Ndm"ƿpf, ƳESvtZvi!)^&Ġn/z^5\=2Me" -Kݯ$xc=%ZWn<,p4.P;*t$y)ewTi,K KK!|p Bs&.< N$%%n[}tAȊqMBN☸n:QV`岴VHHZ|5XoMm9D@Lj? @/E8 0\ȌV"?XR[+Sa3//(`gYZ7zXZִF! ]ŗXiɟPmKhU1| 2 y_eЬO(q4DsmRj]zD . VhJߍ_ުhAXD韻TGݤ|=yj=[j Qq -ٺ*C8KF`KPIWAbvrؒz},b-5aRLw4IЫ5ݧXм'zaw}w{;.pHv%EM'Xx'YgYZ7zXZִF! d]ŗXi%9(OQo'b_%$|jh,aπi غYb=02X%n$T;7 K{OixQ@^!Voߧi ha8\GvgZVMER~w=}g%k3RW^G %݊-c=]Z#IB\DYtϵa 4=h˸B)1lx, g҃M7nJd3O5fn7 B'ӏ:YZUQ'8(y8l=M ~ X>Fĵd|K/*p}>0*D9l'ȷgLpٰܿ>Yu:_a)'7ryr:#e%CQ :%Qr=p# }`&zrqjoϠ L۔/Z3?-qTZnI #ќNI%[Fܥ JBԷVBVWR:&)\@~̻+) MIS4q6tmr GCaX?iB-^%ʹn^;'l‰F%1Hؐ3T ]YˆN.TMMT, C:?i;zjeQl&JMtTp_O.Z}l!L T|j95FP‚uTSC嗃[Ρ+$:pD[Ԕb`(7w"YFh4`A6A+M!GP, zrx (ΐOXl| x~-%#lB}ŗ&%YNUX-~MiBr[O ,C.ikIImՋƔfψ,/[ozw6q@r9A섃*5c9λrq++Ks&.j>)by=7+cQN3yƺv)FnԳW0`dnx:*kŎDEnS  vK6%Bj^KǺc]:[0⸟~қtk䩅Ⱥ4&GzP`0v}~%GYq AXuX*jC=iG!-ݜq-+Ɓ b/Ħ:^hdPg_1su$B>{~K-}v$/FBg)%D=z'e].G^]H-suQ)oZ &)\ghR)nsd;_yZ, Ar$ۊr`Sd^zCY^wli*uOik{Q ~YF4Fn$51xσLbN_s<~jP?T0lἐЮS2=dNGaQ%(6Ph]VwӧT{O2 *6N7LTdP]ݢ{1"|WmicxT*~S4-Dmk>~207tş]MQnE[@@P '$,C '&cz>f}_sFBFKJ~$p'p}3yI{+6LI=+} uٕt_coJ"-@g9-^T#fXwNl=GY.FR'넖 whW_j:OSULH\hAyBnf089Nva ]-Iʣ\PVպ+t_ UUKw} E3( q5r*-9N .<;#6C.{B>¹ czZXX kOspFpV?c`,6xSl&1]1Mɦm?>c*Ot\)AdA8XOt6CY# YXn}0H#@5m\cV.:l?!9n{GEGIz3aR!f)eQsyA%5Tnz6w9J5|>1>~8hZjub耪Z>v85 */9W$8p\=C`8U(~'9byK:F`!EԨMc/KhN>cH"DU!I`攠Ob8YQMG^Q6t2ڟn>΅c %nK8A_˕A#şąCSݬ)@ǒl"ad&3\]A6DQn 'bB^jJHvU0Csaα+'#=8kN'(: ` 㔽/VuHwp\j.4lj27¥_ooN4DҮVc~{:YұJ."B =X\ ;ubv> ^s _^\7T[^F 5P&x^خ`fMZ[ي|q֑[ݸHnԢHW褶e=Ę0˱h4W}Cf~&S2}N fz9;4aKݳT :;?;"RS~NlI뤶*tsmc ?M3t I>-%}+>J=FqO1zdV/cx0v1!7׸U/MО66Ѱ>N %TХJ=UP]Pd-DVDnvx/jaxw6fRs*<*5[( )[m蚅2 k\LN)_"9UzҍTǒ!۔,ӤO| t;iH nsa5s.Z"- xH ~ݜs|@9{RO6HmO"0wu muFTʘHiS뢕V/Ur|